documentación

Debido a que un mismo número puede ser usado para identificar a una regla y también a un
estado, puede producirse alguna confusión. La acción:
. reduce 18
se refiere a la regla 18 de la gramática, mientras que la acción:
IF shift 34
se refiere al estado 34.
Supongamos que la regla:
A : x y z ;
está siendo reducida. La acción reduce depende del símbolo a la izquierda (A, en este caso)
y el número de símbolos en el lado derecho (tres, en este caso). Al reducir, las tres estados en el
tope de la pila se desapilan. (En general, el número de estados desapilados iguala al número de
símbolos en el lado derecho de la regla). En efecto, estos estados eran los que se apilaron al
reconocer x, y y z, y ya no servirán para ningún propósito. Al desapilar estos estados, queda
descubierto el estado en que el parser estaba al comenzar a procesar la regla. Usando esta
estado y el símbolo del lado izquierdo de la regla, se ejecuta un shift de un nuevo estado a pila, y
el parsing continúa. Sin embargo, hay diferencias entre un shift normal y el procesamiento del
símbolo del lado izquierdo, así que a esta acción se la llama goto. En particular, el token
anticipado es borrado por un shift, pero no es afectado por un goto. Así que el estado
descubierto al hacer el reduce contendrá una acción como la siguiente:
A goto 20
que produce que el estado 20 se apile y se convierta en el estado actual.
En efecto, la acción reduce vuelve atrás el reloj del parser, desapilando estados hasta
descubrir el estado en el que el lado derecho de la regla fue visto por primera vez. El parser se
comporta, entonces, como si hubiera visto el lado izquierdo en ese momento.
Las otras dos acciones del parser son conceptualmente mucho más simples. La acción
accept indica que el parser ha visto la entrada completa y que ésta cumple con la
especificación. Esta acción aparece sólo cuando el token anticipado es la marca de fin de
archivo, e indica que parser ha completado su trabajo. La acción error representa un lugar
donde el parser no puede continuar el proceso de acuerdo con la especificación. Los tokens que
ha visto, junto con el anticipado, no pueden ser seguidos por nada que constituya una entrada
legal. El parser reporta el error e intenta recuperar la situación y continuar con el parsing.
Sea la siguiente especificación Yacc:
%token A B C
%%
lista : inicio fin
;
inicio : A B
;
fin : C
;
Cuando Yacc es ejecutado con la opción -v, produce un archivo llamado y.out que contiene
una descripción legible del parser. El archivo y.out correspondiente a la gramática anterior (con
algunas estadísticas al final) es el siguiente:
6