Diferencia entre revisiones de «Final del 22/12/14 (Teoría de Lenguajes)»

De Cuba-Wiki
(Página creada con «{{Back|Teoría de Lenguajes}} Escrito. * 1) Demostrar que todo lenguaje generado por una gramática regular a derecha puede ser reconocido por un AFND. * 2) Demostrar qu...»)
 
(Cambié el formato de los items de las listas.)
 
Línea 1: Línea 1:
{{Back|Teoría de Lenguajes}}
{{Back|Teoría de Lenguajes}}


Escrito.
El final fue escrito.


* 1) Demostrar que todo lenguaje generado por una gramática regular a derecha puede ser reconocido por un AFND.
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.
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.
3. Demostrar que todos los lenguajes dependientes del contexto son recursivos.


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


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

Revisión actual - 21:34 16 dic 2016

Plantilla:Back

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.