- Dominar los conceptos de autómatas finitos y expresiones
regulares.
- Analizar gramáticas libres de contexto y autómatas de
pila.
- Comprender la Máquina de Turing Universal como modelo de
computación.
- Comprender los límites de la computabilidad y el Problema
de la Parada.
- Diferenciar entre clases de complejidad como P y NP.
Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, basado en el modelo de la Computing Curricula de IEEE-CS/ACM
