documentación

El valor del token ENTERO es pasado a la acción asociada con la regla lineas . En la acción de
ésta, $2 se refiere al valor de linea.
La tercera parte del ejemplo contiene una sentencia #include que incluye el código fuente
del analizador léxico.
Una especificación para una simple Máquina de Sumar
Se trata de una máquina que lleva una cuenta total y permite sumar o restar de ese total.
También se puede resetear el total a cero o a cualquier otro valor. La entrada consiste en un
número opcionalmente precedido por un +, un -, o un =. Por ejemplo, si la primera entrada es 4 o
+4, se imprime =4. Si la próxima entrada es -3, se imprime =1. Si la entrada es = o =0, el total se
resetea a 0, y se imprime =0.
Especificación para Yacc:
%{
int sum_total = 0;
%}
%token ENTERO
%%
lineas: /* vacía */
| lineas linea
;
linea: ´\n´
| expr´\n´
{ printf(¨= %d\n¨, sum_total); }
;
expr: ENTERO {sum_total += $1; }
| ´+´ ENTERO {sum_total += $2; }
| ´-´ ENTERO {sum_total -= $2; }
| ´=´ ENTERO {sum_total = $2; }
| ´=´ {sum_total = 0; }
;
%%
#include ¨lexyy.c¨
La acción principal en esta especificación es setear la variable sum_total de acuerdo con la
entrada y luego imprimir el nuevo valor. La sección de declaraciones contiene la declaración e
inicialización de sum_total. Se crea esta variable para llevar el total. Luego, se declara un único
token, ENTERO.
La primera regla es la misma que la del ejemplo anterior. Esta vez, sin embargo, no hay
acción asociada. Permite leer una serie de líneas, no sólo una.
La regla para linea tiene definiciones alternativas. Un newline o una expr seguida por un
newline son aceptadas. Así, se pueden ingresar líneas en blanco al programa sin causar un error
de sintaxis. Un newline o una expr seguida por un newline ejecuta la acción de imprimir el total
actual.
12