TEMARIO COMPILADORES

1.1 Definicin de compiladores e intrpretes

1.2 Arquitectura de los compiladores e intrpretes
1.3 Mquinas virtuales
1.4 Funcionalidad de las fases de un compilador
1.4.1 Anlisis lxico
1.4.2 Anlisis Sintctico
1.4.3 Anlisis Semntico
1.4.4 Generacin de cdigo intermedio
1.4.5 Optimizacin de cdigo
1.4.6 Generacin de cdigo objeto
2.1
2.2
2.3
2.4
2.5
2.6
2.7

Definicin de clases lxicas por medio de expresiones regulares.

Creacin de AFN (Autmatas finitos no deterministas) por medio de la construccin de Thompson
Conversin de AFN a AFD (Autmatas finitos deterministas)
Creacin de un AFD a partir una expresin regular
Minimizacin de estados de un AFD
Construccin de analizadores lxicos definidos por medio de expresiones regulares
Generadores de analizadores lxicos (FLEX, JFLEX, JACCIE, GPLEX, etc.)

3.1 Analizadores sintcticos

3.1.1 Gramticas ambiguas
3.1.2 Eliminacin de recursin izquierda en las gramticas
3.1.3 rboles de sintaxis
3.1.4 Definicin de lenguajes libres del contexto
3.2 Analizadores Sintcticos Descendentes
3.2.1 Construccin de analizadores sintcticos por descenso recursivo
3.2.2 Construccin de analizadores sintcticos LL(1)
3.3 Analizadores Sintcticos Ascendentes
3.3.1 Analizadores LR(0)
3.3.2 Analizadores LR(1)
3.3.3 Analizadores LALR
3.4 Generadores de analizadores sintcticos (YACC, JACC, JACCIE, GPPG)
4.1 Atributos
4.1.1 Atributos heredados
4.1.2 Atributos sintetizados
4.2 Diseo de tabla de smbolos para soportar llamadas a funciones y/o procedimientos y mbito de
variables.
4.3 Generacin de cdigo de 3 y 4 direcciones
4.4 Generacin de cdigo intermedio para estructuras iterativas y de control (for, while, if-else, switch)
4.5 Generacin de cdigo intermedio para el llamado a funciones y procedimientos
4.6 Manejo del Polimorfismo en un compilador
5.1
5.2
5.3
5.4
5.5
5.6

Introduccin a la optimizacin de cdigo

Anlisis de flujo de datos
Propagacin de constantes
Eliminacin de redundancia parcial
Ciclos en grafos de flujos
Anlisis basado en regiones

BIBLIOGRAFA RECOMENDADA
Aho, A. V., Sethi, R., y Ullman, J. D. (2008). Compiladores: Principios, Tcnicas y Herramienta, (2
Edicin). Mxico: Pearson-Addison Wesley. ISBN: 978-970-26-1133-2.
Alfonseca, M. (2006). Compiladores e intrpretes: Teora y prctica. (1 Edicin). Mxico:Pearson
Alhambra. ISBN: 8420550310.
Grune, D., E. Bal. H. (2007). Diseo de Compiladores Modernos. (1 Edicin). Espaa: Mc Graw Hill. ISBN:
978-84-481-5656-5.
I. Holub Allen.
0131550454.

(1990). Compiler Design in C. Prentice Hall. (2 Edicin). E.U.A:Prentice Hall. ISBN:

Ruiz, J. (2010). Compiladores: Teora e Implementacin. Mxico: Alfaomega Grupo Editor. ISBN
978-607-7854-68-5.