Ir al contenido principal

Entradas

Mostrando entradas de abril, 2017

Notas finales sobre el artículo de Aho y Johnson

Esto viene a ser un cierre a una serie de escritos en torno a un artículo titulado L.R. Parsing, autoría de A.V. Aho y S.C. Johnson . Varias de ellas son glosas y otras ejercicios resueltos. Al pie se detallan las referencias. Notas finales: Entre right parse y righmost derivation puede establecerse una relación, entendida como que cada una de las reescrituras de una right derivación se emparentan con cada uno de los estadíos de un right parse de modo que los símbolos de dicho estadío son prefijo de la cadena reescrita, y lo que no es prefijo, es una cadena de símbolos terminales igual al input que falta incorporar al right parse en ese estadío. Además, dicho prefijo no es cualquiera, sino que es siempre un viable prefix. La closure operation tiene un operando y un resultado, ambos definidos bajo el nombre de "ítem". El hecho de que para esta operación se exija que los símbolos del lookahead set previo estén concatenados a la cadena de cuya derivación se extraerá el n...

Ejercicio de la sección 6.4 computing lookahead sets

The reader should verify that the complete collection of sets of items for G₁ is: I₀: [ACCEPT → ⋅ LIST], {'$'} [LIST → ⋅ LIST ',' ELEMENT], {',', '$'} [LIST→ ⋅ ELEMENT], {',', '$'} [ELEMENT → ⋅ 'a'], {',', '$'} [ELEMENT →  ⋅ 'b'], {',', '$'} I₁: [ACCEPT → LIST ⋅ ], {'$'} [LIST → LIST ⋅ ',' ELEMENT], {',', '$'} I₂: [LIST → ELEMENT ⋅ ], {',', '$'} I₃: [ELEMENT → 'a' ⋅ ], {',', '$'} I₄: [ELEMENT → 'b' ⋅ ], {',', '$'} I₅: [LIST → LIST ',' ⋅ ELEMENT], {',', '$'} [ELEMENT → ⋅ 'a'], {',', '$'} [ELEMENT → ⋅ 'b'], {',', '$'} I₆: [LIST → LIST ',' ELEMENT ⋅ ], {',', '$'} Teniendo en cuenta que hay 2 formas de generar los sets de items, se elegirá uno teniendo en cuenta lo siguiente. Una de las...