Documente Academic
Documente Profesional
Documente Cultură
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: