Lenguajes Formales y Computabilidad es una asignatura cuatrimestral del segundo año de la carrera de
Licenciatura en Ciencias de la Computación. Está ubicada en el tercer cuatrimestre. Tiene asignadas 7 horas
semanales en las que se desarrollan clases de tipo teórico-prácticas. La materia trata aspectos teóricos
fundamentales de la teoría de Computación. A través de distintos formalismos, introduce al alumno a
conceptos de la teoría de los lenguajes formales y la computabilidad. Más precisamente, su objetivo es el
estudio de procesos computacionales y sus limitaciones, así como el análisis de diferentes enfoques para
representar lenguajes formales, sus propiedades, relaciones y limitaciones.

Comunidades: Lenguajes Formales y Computabilidad