Final del 08/08/18 (Teoría de Lenguajes)
De Cuba-Wiki
Final escrito tomado por Julio Jacobo.
1) Demostrar que el criterio de indistinguibilidad aplicado en minimización de autómatas finitos resulta en un autómata reducido con mínima cantidad de estados.
2) Demostrar pumping para lenguajes independientes de contexto.
3) Demostrar las propiedades de los lenguajes independientes de contexto con respecto a la unión, la concatenación, la clausura de kleen, la intersección y el complemento.
4) Defina PRIMEROS() y SIGUEINTES(), explique en qué algoritmos de parsing determinístico se utilizan y cómo, o elija un algoritmo de parsing no determinístico y explíquelo en detalle.