Descripción del curso
Lenguajes y gramáticas. Gramáticas e isomorfismos. Jerarquía de Chomsky. Lenguajes regulares. Autómatas. Expresiones regulares. Minimización de autómatas. Analizadores lexicográficos. Lenguajes independientes de contexto. Árboles de derivación. Autómatas de pila. Lenguajes determinísticos. Lenguajes tipo 1 y tipo 0. Máquinas asociadas. Máquinas de Turing. Problema de la detención. Estructura de compiladores. Compilación vs. interpretación. Estructura de un compilador. Análisis léxico. Análisis sintáctico. Métodos ascendentes y descendentes. Tabla de símbolos. Árboles de parsing y árboles de sintaxis abstracta. Tratamiento de errores. Análisis semántico. Verificación de tipos. Generación de código. Optimización de código.
