documentación

se convierte en token anticipado. La acción en el estado 3 para el token B es shift 6; se apila el
estado 6, y se borra el token anticipado. La pila ahora contiene los estados 0, 3, y 6. En el estado
6, sin consultar el token anticipado, el parser reduce por:
inicio : A B
que es la regla 2. Dos estados, el 6 y el 3, son desapilados, dejando descubierto el estado 0.
La acción en ese estado para inicio es un goto:
inicio goto 2
Se apila el estado 2 que se convierte en el estado actual. En el estado 2, el próximo token, C,
debe ser leído. La acción es shift 5, así que el estado 5 es apilado, así que ahora la pila tiene los
estados 0, 2, y 5, y se borra el token anticipado. En el estado 5, la única acción es reducir por la
regla 3. Esta tiene un símbolo en el lado derecho, así que un estado, el 5, es desapilado, y el
estado 2 queda descubierto. La acción para fin (el lado izquierdo de la regla 3) en el estado 2 es
un goto al estado 4. Ahora, la pila contiene los estados 0, 2, y 4. En el estado 4, la única acción
es reducir por la regla 1. Hay dos símbolos a la derecha, así que los dos estados de arriba son
desapilados, descubriendo de nuevo el estado 0. En el estado 0, hay un goto para lista; causando
que el parser entre al estado 1. En este estado, se lee la entrada, y se obtiene la marca de fin de
archivo, indicada por $end en el archivo y.out. La acción en el estado 1 (cuando se encuentra la
marca de fin) finaliza exitosamente el parsing.
Usando Yacc
Hay cuatro pasos para crear un parser:
1. Escribir una especificación Yacc que describe la gramática. Este archivo usa la
extensión .y por convención.
2. Escribir un analizador léxico que puede producir una corriente de tokens. Esta rutina
puede ser generada por Lex o codificada a mano en C. El nombre de la rutina léxica es
yylex.
3. Ejecutar Yacc sobre la especificación para generar el código fuente del parser. El
archivo de salida es nombrado y_tab.c por Yacc.
4. Compilar y vincular los archivos fuentes del parser y del analizador léxico y cualquier
archivo de programa relacionado.
El archivo de salida y_tab.c contiene una rutina de parsing llamada yyparse que llama a la
rutina léxica yylex cada vez que necesita un token. Como Lex, Yacc no genera un programa
completo; yyparse debe ser llamado desde una rutina main. Un programa completo también
requiere una rutina de errores llamada yyerror que es llamada cuando yyparse encuentra un
error. Tanto la rutina main como yyerror pueden ser provistas por el programador, aunque se
proveen versiones por defecto de esas rutinas en las librerías de Yacc, y estas librerías pueden
ser vinculadas al parser usando la opción -ly durante la compilación.
Escribiendo una Especificación Yacc
Una especificación Yacc describe una gramática libre de contexto que puede ser usada
para generar un parser. Esta gramática tiene cuatro clases de elementos:
1. Tokens, que son un conjunto de símbolos terminales
2. Elementos sintácticos, que son un conjunto de símbolos no terminales
3. Reglas de producción que definen un símbolo no terminal (el lado izq.) en términos de
una secuencia de no terminales y terminales (lado derecho)
8