Lograr que el alumno maneje con madurez los siguientes conceptos:
- lenguajes libres de contexto.
- maquinas de estado finito (autómatas a pilla y maquinas de Turing).
- funciones recursivas, funciones computables y funciones Turing computables, y su equivalencia.
- computabilidad efectiva y Tesis de Church.
- conjuntos recursivamente enumerables y conjuntos recursivos.
- el halting problem.
Estos conceptos le permitirán acceder a ideas y habilidades fundamentales para el desempeño en las ciencias de la computación teórica.