Biblioteca - Centro Cultural - Jaime Panesso Tascón

Lenguajes Formales. -- Alfabetos, palabras y lenguajes.-Concatenación. -- Cierre de Kleene. -- Otras operaciones con lengujaes. -- Morfismos y substituciones. -- Gramáticas incontextuales. -- Árbol de derivación. Ambiguedad. -- Verificación de gramáticas. -- La intersección de dos CFLs puede no ser CFL. -- Normalización de gramáticas. -- Eliminación de producciones nulas. -- Eliminación de producciones unarias. -- Eliminación de símbolos inútiles. -- Gramáticas depuradas. -- Forma normal de Chomsky. -- Autómatas finitos. -- Autómatas finitos deterministas. -- Verificación de autómatas finitos. -- Autómatas finitos indeterministas. -- Equivalencia de los NFAs y de los DFAs. -- Autómatas finitos con transiciones. -- Operaciones básicas con autómatas. -- Lenguajes no regulares. -- Minimización de autómatas finitos. -- Minimización de un DFA. -- Algoritmo de minimización. -- Sobre la talla del DFA mínimo. -- Equivalencia entre autómatas. -- Expresiones regulares y gramáticas regulares. -- Expresiones regulares. -- Ecuaciones lineales entre lenguajes.Lema de Arden. -- Sistemas de ecuaciones lineales asociados a un NFA. -- Gramáticas regulares. -- Correspondencia entre gramáticas regulares y autómatas finitos. -- Morfismos y substituciones de lenguajes regulares. -- Propiedades de iteración. -- Lema de bombeo de lenguajes regulares. -- Lemas de bombeo de lenguajes incontextuales. -- Lenguajes inherentemente ambiguos. -- Autómatas de pila. -- Autómatas de pila deterministas. -- Autómatas de pila indeterministas. -- Equivalencia entre autómatas de pila y gramáticas incontextuales. -- Propiedades de cierre de los CFLs y de los DCFLs. -- Autómatas bidireccionales. -- Autómatas finitos bidireccionales. -- El problema de la parada en 2DFAs. -- Construcción de un NFA unidireccional a partir de un 2DFA. -- Autómatas finitos indeterministas bidireccionales. -- Autómatas de pila bidireccionales. -- Sinopsis del curso. -- Relación entre las familias de lenguajes estudiadas. -- La jerarquía de Chomsky.