Formalización de Lenguajes y Generación de Código
Licenciatura en Informática
Plan vigente 2026
- Lenguajes y gramáticas.
- Gramáticas e isomorfismos.
- Jerarquía de Chomsky.
- Lenguajes regulares.
- Autómatas.
- Expresiones regulares.
- Minimización de autómatas.
- Analizadores lexico gráficos.
- Lenguajes independientes de contexto.
- Árboles de derivación.
- Autómatas depila.
- 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.