Edición de «Demostraciones (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 610: | Línea 610: | ||
=== Definiciones === | === Definiciones === | ||
'''Prefijo viable''': Sea <math>\alpha \rho \beta</math> una | '''Prefijo viable''': Sea <math>\alpha \rho \beta</math> una f.s.d. [f.s.d.? por favor usar nombres completos o poner referencias] donde <math>\rho</math> es pivote, <math>\gamma</math> es prefijo viable si es prefijo de <math>\alpha \rho</math>. Son los prefijos de una f.s.d. [f.s.d.? por favor usar nombres completos o poner referencias] que pueden aparecer en el stack de un parser shift-reduce. Intuitivamente, son los prefijos de cualquier cadena que termine en el pivote. Vale que el conjunto de los prefijos viables de un lenguaje libre de contexto genera un lenguaje regular. | ||
'''Item''': Un item LR(0) de una gramática G es una producción de G con un punto en alguna posición del lado derecho (definición del dragón). Notar que el conjunto de items de una gramática es finito. | '''Item''': Un item LR(0) de una gramática G es una producción de G con un punto en alguna posición del lado derecho (definición del dragón). Notar que el conjunto de items de una gramática es finito. |