Lenguajes Formales, Autómatas y Computabilidad

Esta página es sobre la materia del plan de estudios 2023. Para ver la materia del plan 1993, consultar Teoría de Lenguajes.

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.

Según el Plan de Estudios 2023, su carga horaria es de 5 horas semanales, se cursa en segundo año de la carrera y tiene como correlativa a Algoritmos y Estructuras de Datos. Comenzará a dictarse en el segundo cuatrimestre de 2024.