En esta sección tienes algunos ejercicios resueltos

Teoría de la Computabilidad:

• Formalizacion de problemas.
• Eficiencia de algoritmos.

Teoría de Lenguajes Formales:

• Gramáticas regulares.
• Gramáticas libres de contexto.
• Algoritmos para gramáticas
• Propiedades de las gramáticas regulares.

Autómatas:

• Autómatas Finitos.
• Autómatas Finitos No deterministicos.
• Método de Ecuaciones.
• Algoritmo de Thompson.
• Autómatas de estados mínimos.
• Autómatas de Pila.
• Máquinas de Turing

Construcción de Compiladores:

• Esquema de un compilador.
• Analisis léxico.
• Analisis Sintáctico.
• Análisis Semántico.
• Optimización y Generación de código.
• Herramientas para el anlásis Léxico y Sintáctico. LEX y YACC.