La Teoría de la Computación es una rama de las matemáticas y de la computación que estudia la representación de operaciones y de procesos de información para definirlos formalmente a fin de que puedan ser reproducidos en máquinas de cómputo abstractas. Esta asignatura proporciona al estudiante los fundamentos matemáticos y algorítmicos para representar formalmente lenguajes estrechamente relacionados con la computación, como son los lenguajes regulares y los lenguajes libres de contexto. Para cada tipo de lenguaje se describirán los procesos para obtener las gramáticas que los representan, y construir las máquinas abstractas o autómatas que permitan reconocer elementos que pertenecen a dichos lenguajes.
- Profesor: Jorge Alberto Ríos Martínez