Ver el código de «Lenguajes Formales, Autómatas y Computabilidad»

{{Plan 2023|Teoría de Lenguajes}}

{{Materia
  | anoCursada=Segundo año
  | cargaHoraria=5 horas semanales
  | correlativas=[[Algoritmos y Estructuras de Datos]]
  | correlativaDe=[[Complejidad Computacional]]
}}

'''Lenguajes Formales, Autómatas y Computabilidad''' es una materia obligatoria de la [[Licenciatura en Ciencias de la Computación]], incluida también en su título intermedio [[Bachiller Universitario en Computación]]. Su objetivo es introducir al alumnado en las estructuras de autómatas y los lenguajes que estas estructuras pueden definir, junto con aspectos de computabilidad de problemas.