Final del 22/12/14 (Teoría de Lenguajes)

El final fue escrito.

1. Demostrar que todo lenguaje generado por una gramática regular a derecha puede ser reconocido por un AFND.

2. Demostrar que existe un lenguaje independiente (libre) de contexto que es no determinístico.

3. Demostrar que todos los lenguajes dependientes del contexto son recursivos.

4. Explicar el algoritmo de parsing LL(1).

5. Algoritmos LR, relaciones de inclusión entre los distintos tipos, y diferencias.