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.
- Profesor: LUIS MIGUEL ESTRADA RAMOS