Lenguaje y Autmatas 1

1 Introduccin a la Teora de Lenguajes Formales.1.1 Alfabeto Lenguajes Formales.1.2 Cadenas Lenguajes Formales.1.3 Lenguajes Formales1.4 Tipos de lenguajes Formales1.5 Herramientas computacionales ligadas con lenguajes1.6 Estructura de un traductor1.7 Fases de un compilador2 Expresiones Regulares2.1. Definicin formal de una Expresin Regular2.2. Operaciones Expresin Regular2.3. Aplicaciones en problemas reales.3 Autmatas Finitos.3.1 Definicin formal Autmatas Finitos3.2 Clasificacin de Autmatas Finitos3.3 Conversin de un AFND a AFD3.4 Representacin de Expresin Regular usando AFND3.5 Minimizacion de estados en un Autmata Finito3.6 Aplicaciones Autmatas Finitos (definicin de un caso de estudio)

4 Maquinas de Turing4.1 Definicin formal Maquina de Turing4.2 Construccin modular de una Maquinas de Turing4.3 Lenguajes aceptados por la Maquina de Turing.5 Anlisis lxico.5.1 Funciones del analizador lxico.5.2 Componentes lxicos patrones y lexemas5.3 Creacin de Tabla de tokens5.4 Errores lxicos5.5 Generadores de analizadores Lxicos5.6 Aplicaciones analizadores Lxicos (Caso de estudio)6 Anlisis Sintctico6.1 GLC6.2 Arboles de derivacin.6.3 Formas normales de Chomsky.6.4 Diagramas de sintaxis6.5 Eliminacin de la ambigedad.6.6 Generacin de matriz predictiva ( calculo first y follow )6.7 Tipos de analizadores sintcticos6.8 Manejo de errores6.9 Generadores de analizadores sintcticos