Diferencia entre revisiones de «Final del 19/02/15 (Teoría de Lenguajes)»
De Cuba-Wiki
(Página creada con «Por decirlo de alguna manera fueron dos temas, aunque oral. Toman exactamente lo mismo por par de personas. T1 . Demostración que existe un AFND para una GR. . Demostrac...») |
(Cambié el formato de los items de las listas.) |
||
| 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. 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. 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. | |||
Revisión actual - 21:33 16 dic 2016
Por decirlo de alguna manera fueron dos temas, aunque oral. Toman exactamente lo mismo por par de personas.
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
- 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. 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. 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.
