TEORÍA DE LENGUAJES: Clasificación y propiedades de las gramáticas formales. Problemas de decisión en cada clase de gramática y su respectivo lenguaje. Autómatas limitados linealmente y máquinas de Turing como reconocedores de lenguajes. Nociones de parsing. Parsing determinista. Gramática LL(k) e LR(k).
TEORÍA DE GRAFOS: Conceptos de grafos y aplicaciones. Problemas en grafos: caminos óptimos, planaridad, coloración, particionamiento, pareamiento, flujo. Algoritmos,
VERIFICACIÓN AUTOMÁTICA: Verificación automática de modelos.