Final del 19/02/15 (Teoría de Lenguajes)

De Cuba-Wiki
Saltar a: navegación, buscar

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.