Edición de «Final del 19/02/15 (Teoría de Lenguajes)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 3: | Línea 3: | ||
T1 | T1 | ||
. Demostración que existe un AFND para una GR. | |||
. Demostración de que existe un AP que acepta por pila vacía habiendo uno que acepta por estado final | |||
. LR(0), explicar cómo funciona el algoritmo y qué usa. | |||
T2 | T2 | ||
.Demostración de que el automata mínimo es el que posee menor cantidad de estados en comparación a otro equivalente respecto al lenguaje que aceptan. | |||
:Línea indentada Había que presentar el lema que era utilizado en la demostración y explicarlo brevemente. | |||
.Demostración de que una GSC (Sensible del contexto) tiene un lenguaje recursivo | |||
:Línea indentada Había que explicar porqué el grafo construido era acotado (eso se debía a la definición de la producciones en la gramática y, a su vez, por la longitud de la cadena por reconocer) | |||
. LL(1), explicar cómo funciona el algoritmo y qué usa. |