Semestres: B2015
Éste es uno de los primeros cursos del ciclo profesional de la carrera de Ingeniería de Sistemas por la opción Sistemas Computacionales. En éste se estudian diversos modelos formales para la representación de lenguajes y el problema de decidir si una palabra pertenece a un lenguaje dado o no. Para ésto empleamos el estudio de teoría de autómatas, expresiones regulares, gramáticas formales y máquinas de Turing. En este curso se obtienen las bases teóricas y formales para la implementación de analizadores léxicos y sintácticos en el curso de Compiladores.
Herramientas utilizadas en el curso:
Bibliografía recomendada:
- Introducción a la teoría de autómatas, lenguajes y computación de John E. Hopcroft, Rajeev Motwani y Jeffrey D. Ullman
Profesores: Hilda Contreras y Alejandro Mujica.