Unidad 1 Lenguajes Formales
- Teoría de Conjuntos
- Teoría de Grafos
- Lenguajes Formales
- Gramáticas Formales
Unidad 2 Lenguajes Regulares y Autómatas Finitos
- Gramáticas y Lenguajes Formales
- Sistemas Discretos
- Autómatas
Unidad 3 Lenguajes Libres de Contexto y Autómatas Pila
- GLC
- Autómata Pila
- Lema de Bombeo
- Aplicaciones
Unidad 4 Lenguajes Recursivos y la Máquina de Turing
- Gramáticas sin Restricciones
- Máquina de Turing
- Problemas Irresolubles
