Facultad de Ingeniera

INGNIERIA EN INFORMATICA

LENGUAJES FORMALES

Programa analtico:

Unidad I
Smbolos. Palabras. Alfabetos. Lenguajes. Gramticas. BNF. Operaciones con lenguajes. Arboles de
derivacin.
Unidad II
Lenguajes Regulares. Expresin regular. Definicin. Grafos de transicin. AF. AFND. AFND-l.
Minimizacin. Gramticas regulares.
Unidad III
Lenguajes Independientes de Contexto. Autmatas de Pila. Gramticas Ambiguas. Analizadores
sintcticos. Mtodos de parsing. Anlisis sintctico ascendente. Mtodo de parsing shift-reduce. Pivote.
Gramticas LR: prefijos viables, items, e item vlido para un prefijo viable, construccin de conjuntos de
tems y construccin de tablas de parsing para gramticas LR(0). Algoritmos de reconocimiento y traza.
Gramticas de Atributos. Sistemas de tipos.
Unidad IV
Lenguajes estructurados por frases. Mquinas de Turing. Computabilidad. Decidibilidad.
Unidad V
Semntica Operacional. Semntica Axiomtica. Semntica Denotacional.

Bibliografa:

TITULO AUTOR EDICION EDITORIAL ISBN

Compiladores : Aho, Alfred, ; Sethi,
Principios, Tcnicas y Ravi ; Ullman, 2008 Addison Wesley 9789702611332
Herramientas Jeffrey
Lenguajes gramticas Cases Muoz, Rafael;
y autmatas curso Marquez Villodre, 2002 Alfaomega 9789701507759
bsico Lluis
Compiladores. Teora Sanchs Lorca, F. J. ;
1974 McGraw-Hill
y construccin Galan Pascual, C
Teora de autmatas y Garcia, Pedro. Perez,
2001 Alfaomega 9789701506615
lenguajes formales Tomas
Teora de la
Brookshear J. Glenn 1993 Pearson Education 9789684443846
Computacin.
Lenguajes de
Cengage Learning /
programacin: Louden, Kenneth 2004 9789706862846
Thomson Internacional
Principios y Prcticas
Construccin de
Cengage Learning /
Compiladores: Louden, Kenneth 2004 9789706862990
Thomson Internacional
Principios y Prcticas
Facultad de Ingeniera