Procesadores de Lenguaje - Prefijos Viables

More documents

Recommendations

Info

Prefijos viables (IV) La clave de bóveda Teorema (Knuth, 1965): Todo lenguaje libre de contexto determinista, en el que ninguna palabra sea prefijo de otra, admite una gramática en la cual el conjunto de prefijos viables para cada regla es un lenguaje regular. Procesadores de Lenguaje 8 / 13
Prefijos viables (IV) La clave de bóveda Teorema (Knuth, 1965): Todo lenguaje libre de contexto determinista, en el que ninguna palabra sea prefijo de otra, admite una gramática en la cual el conjunto de prefijos viables para cada regla es un lenguaje regular. Como siempre tendremos una marca de fin, en la práctica nunca una palabra aceptada es prefijo de otra. (Existe un teorema similar que no requiere esa condición.) Consecuencia: Para cada regla, existe un autómata finito que puede recorrer la pila y decirnos si hay que reducir usándola. Podemos combinarlos todos en uno solo, que recorre la pila y nos indica si hay que reducir o no, y por qué regla. Procesadores de Lenguaje 8 / 13
Page 1 and 2: Procesadores de Lenguaje Prefijos V
Page 3 and 4: Definición de prefijos viables Dad
Page 5 and 6: Idea de LR Complicamos el ejemplo c
Page 7 and 8: Identifiquemos los prefijos viables
Page 9: Más ejemplos de prefijos viables C
Page 13 and 14: Ítems LR(0) Qué estamos buscando
Page 15 and 16: El Autómata LR(0) Busca prefijos v
Page 17 and 18: Analizadores Ascendentes LR Habíam
Page 19 and 20: Ejemplo de Autómata LR(0) Expresio
Page 21: Tablas de Análisis LR(0) La misma

Procesadores de Lenguaje - Prefijos Viables

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?