Aula Virtual del docente LUIS MIGUEL ESTRADA RAMOS (Instituto de Investigaciones Bibliográficas)

Lenguajes Formales y Autómatas

Este curso introduce al alumno al estudio de los lenguajes formales y autómatas. Estudiaremos formalismos tales como gramáticas, expresiones regulares, autómatas finitos, autómatas de pila y máquinas de Turing.  A lo largo del curso estudiaremos las propiedades matemáticas de estos modelos, sin dejar de lado el aspecto práctico con ejemplos y ejercicios que el alumno deberá realizar.