Final del 08/08/18 (Teoría de Lenguajes)

De Cuba-Wiki
La versión para imprimir ya no se admite y puede contener errores de representación. Actualiza los marcadores del navegador y utiliza en su lugar la función de impresión predeterminada del navegador.

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.