Edición de «Resolución Final del 13/06/23 (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 9: | Línea 9: | ||
OUTPUT: AFND-lambda A' codeterminístico. | OUTPUT: AFND-lambda A' codeterminístico. | ||
* Tomar reverso de | * Tomar reverso de A | ||
* Hacer pasaje de <math>A^r</math> a un autómata determinístico | * Hacer pasaje de <math>A^r</math> a un autómata determinístico | ||
* Tomar reverso de <math>A | * Tomar reverso de <math>A^r</math> | ||
El autómata | El autómata A' resultante reconoce el lenguaje original. | ||
==== Ej 2 ==== | ==== Ej 2 ==== | ||
Es una versión simplificada de la demostración de la cota para el algoritmo de parsing LL(1). La idea sería que, como el lenguaje no es recursivo a izquierda, no es posible que se genere una derivación en donde se repita un no terminal en la izquierda. Por lo tanto, para llegar a la derivación <math>A\rightarrow_L^* B\alpha</math>, se puede pasar a lo sumo una vez por cada no terminal. La cota resulta en <math>|V_n|-1</math> | Es una versión simplificada de la demostración de la cota para el algoritmo de parsing LL(1). La idea sería que, como el lenguaje no es recursivo a izquierda, no es posible que se genere una derivación en donde se repita un no terminal en la izquierda. Por lo tanto, para llegar a la derivación <math>A\rightarrow_L^* B\alpha</math>, se puede pasar a lo sumo una vez por cada no terminal. La cota resulta en <math>|V_n|-1</math> | ||
