Compiladores.

Gua 5

Facultad:
Ingeniera
Escuela:
Computacin
Asignatura: Compiladores

Tema: Generacin de analizadores con YACC

Contenido
En esta gua se expondr la forma
analizador
lxico
y
sintctico
a
herramienta de YACC y LEX.

de generar
travs
de

el
la

Objetivos Especficos

Aprender a utilizar la herramienta de YACC para la

generacin de analizadores sintcticos.
Conocer la sintaxis de LEX y YACC para la generacin de
analizadores lxicos y sintcticos.

Material y Equipo

Gua de Laboratorio N 5.
Parser Generator http://www.bumblebeesoftware.com/.
Libro Construccin de compiladores de Kenneth
Louden.

C.

Introduccin Terica
YACC: Generacin de analizadores sintcticos LR

Gua 3

Un generador de analizadores sintcticos es un programa que

toma
Guacomo
4 su entrada una especificacin de la sintaxis de un
lenguaje en alguna forma, y produce como su salida un
procedimiento de anlisis sintctico para ese lenguaje.
fa

Histricamente los generadores de analizadores sintcticos

fueron llamados compiladores de compilador, debido a que
todos los pasos de compilacin eran realizados de manera
tradicional como acciones incluidas dentro del analizador

Compiladores. Gua 5

sintctico. La visin moderna es considerar al analizador

como solo una parte del proceso de compilacin, de modo que
este trmino se volvi obsoleto.
Un
generador
de
analizadores
sintcticos
ampliamente
utilizado que incorpora el algoritmo de anlisis sintctico
LR(1) se conoce como Yacc (Yet Anoter Compiler- Compiler es
decir, otro compilador de compilador mas en ingles).
Fundamentos de YACC
YACC toma un archivo de especificacin (por lo regular con
sufijo .y) y produce un archivo de salida compuesto del
cdigo fuente en C para el analizador sintctico (por lo
general con sufijo .tab.c). Un archivo de especificacin de
YACC tiene el formato bsico
<seccin de definiciones>
%%
<seccin de reglas>
%%
<seccin de rutinas>
De este modo existen tres secciones separadas mediante lneas
que contienen doble signo de porcentaje.
La seccin de definiciones contiene informacin acerca de los
tokens, tipos de datos y reglas gramaticales que YACC
necesita para construir el analizador sintctico. Tambin
incluye cualquier cdigo en C que debera ir directamente en
el archivo de salida a su inicio (sobre todo directivas
#include de otros archivos de cdigo fuente). Esta seccin
del archivo de especificacin puede estar vaca.
La seccin de reglas contiene reglas gramaticales en una
forma BNF modificada, junto con acciones en cdigo C que se
ejecutaran siempre que se reconozca la regla gramatical
asociada. Las convenciones de meta smbolos utilizadas en
reglas gramaticales son de la manera siguiente. Como es
habitual, la barra vertical se utiliza para las alternativas
(las alternativas tambin se pueden escribir por separado).
El smbolo flecha que hemos empleado para separar el lado
izquierdo y derecho de una regla gramatical se reemplaza en
YACC por un signo de dos puntos. Tambin un signo de punto y
coma debe finalizar cada regla gramatical.

Compiladores. Gua 5 3

La
tercera
seccin,
de
rutinas
auxiliares,
contiene
declaraciones de procedimientos y funciones que de otra
manera pueden no estar disponibles a travs de archivos
#include y que son necesarias para completar el analizador
sintctico y/o el compilador.
Esta seccin puede estar vaca, y si este es el caso se puede
omitir el segundo meta smbolo de porcentaje doble del
archivo de especificacin. De esta manera, un archivo de
especificacin mnimo de YACC consistira solo de %% seguidos
por reglas gramaticales y acciones (las acciones tambin se
pueden omitir si solo tratamos de analizar la gramtica).
YACC tambin permite insertar comentarios al estilo de C en
el archivo de especificacin en cualquier punto donde no
interfieran con el formato bsico.La primera seccin que
incluye las directivas #include se encierra entre los
smbolos %{ y %} ntese que los signos de porcentaje se
anteponen a las llaves.
Para definir un token se realiza as: %token nombreToken
Si se desea inicializar como una variable deber colocarse el
valor numrico a continuacin del nombre del token.
En la segunda seccin, las reglas gramaticales se colocan
as: expresin: expresin trminos
Cuando se reconoce una regla gramatical, cada smbolo en la
regla posee un valor, que se supone es un entero a menos que
sea cambiado por el programador.
Esos valores se conservan en una pila de valor mediante Yacc,
la cual se mantiene paralela a la pila de anlisis
sintctico. Se puede hacer referencia a cada valor de smbolo
en la pila utilizando una pseudo variable que comience con el
signo $. $$ representa el valor del no terminal que se
acaba de reconocer, es decir, el smbolo en el lado izquierdo
de la regla gramatical. Las pseudo variables $1, $2, $3 y as
sucesivamente, representan los valores de cada smbolo en
sucesin en el lado derecho de la regla gramatical.

Procedimiento
Yacc no es directamente un analizador sino un generador de
Gua 3
analizadores.
A partir de un fichero fuente en yacc, se
genera un fichero fuente en C que contiene el analizador
sintctico.
Sin embargo, un analizador sintctico de yacc no
Gua 4
fa

Compiladores. Gua 5

puede funcionar por s solo, sino que necesita un analizador

lxico externo para funcionar.
Dicho de otra manera, el fuente en C que genera yacc contiene
llamadas a una funcin yylex() que debe estar definida y debe
devolver el tipo de lexema encontrado. Adems, es necesario
incorporar tambin una funcin yyerror(), que ser invocada
cuando el analizador sintctico encuentre un smbolo que no
encaja en la gramtica.
La estructura general de un programa en YACC es la siguiente:
<seccin de definiciones>
%%
<seccin de reglas>
%%
<seccin de rutinas>
Tabla 1
Ejemplo 1
Construir un analizador sintctico que reconozca la gramtica
para una calculadora simple, con las operaciones suma, resta,
multiplicacin y divisin con la herramienta Yacc.
Abra y ejecute el programa Parser Generator y abra un nuevo
texto, luego digite el cdigo de la tabla 2.

Figura 1: Ambiente de Parser Generator.

Compiladores. Gua 5 5

Gramtica para la calculadora simple:

exp -> exp opsuma term | term
opsuma -> + | term -> term opmult factor | factor
opmult -> *
factor -> (exp) | numero

Figura 2: Creando un archivo para introducir el texto de la

tabla 2.
/*Seccin de definicin*/
%token NUMBER
%{
#include <ctype.h>
#include <stdio.h>
#define YYSTYPE double /* double type para pila YACC */
%}
/*La seccion de codigo de c de la definicion debe estar entre
los delimitadores %{ y %}*/
%%
/*Fin de la seccion de definiciones e inicio de la seccion de
reglas de derivacion para el analizador sintactico*/
lines
}

: lines expr '\n'

| lines '\n'
| /* e */
| error '\n'
last line:"); yyerrok(); }
;
expr : expr '+' term
| expr '-' term
| term
;

{ printf("%g\n", $2);

yyerror("reenter

{ $$ = $1 + $3; }
{ $$ = $1 - $3; }

Compiladores. Gua 5

/*Los smbolos $$ indican el valor introducido en la pila de

valor manejada por YACC, es el no terminal que se ha
reconocido en ese momento del lado izquierdo de la expresin,
y los smbolos $1, $2, etc. indican el valor de las
pseudovariables que vaya encontrando en ese orden hacia la
derecha*/
/*pseudovariables term=$1 '*'=$2 factor=$3 */
term : term '*' factor
{ $$ = $1 * $3; }
| term '/' factor
{ $$ = $1 / $3; }
| factor
;
factor

: '(' expr ')'

| '(' expr error
yyerror("missing ')'"); yyerrok(); }
| '-' factor
| NUMBER
;

{ $$ = $2; }
{
$$
=

$2;

{ $$ = -$2; }

%%
/*Fin de la seccion de reglas y adicion de rutinas auxiliares
en c*/
int main(void)
{
yyparse();
/*Invocacion de la funcion del analizador sintactico*/
return 0;
}
/*Definicin del analizador lxico*/
int yylex(void)
{
int c;
while ((c = getchar()) == ' ');
/*Elimina los espacios en blanco*/
if (c == '.' || isdigit(c)) {
/*El character . indica que se termino el programa*/
ungetc(c, stdin);
scanf("%lf", &yylval);
return NUMBER;
}
return c;
}
Tabla 2
Ahora procederemos a guardar nuestro archivo para generar el
analizador sintctico.

Compiladores. Gua 5 7

Figura 3: De click sobre el icono del disket Save,

seleccionar nombre y ubicacin y guardamos el archivo como
calculadora.

Figura 4: Clic en el men Project y luego LibBuilder para

construir el YACC y las libreras de LEX.

Compiladores. Gua 5

Figura 5: Se construyeron las libreras, se muestran 0

errores, en la ventana LibBuilder de clic en el botn
Close.

Figura 6: Procedemos a travs del asistente a convertir el

cdigo YACC, para ello dar clic en el men Project y a
continuacin dar clic sobre la opcin ParseWizard.

Compiladores. Gua 5 9

Figura 7:
ubicacin
luego el
escogemos
Microsoft

A continuacin colocamos el nombre del proyecto, la

donde se colocarn los archivos de resultado y
lenguaje objetivo en nuestro caso C++, por ultimo
el compilador del lenguaje objetivo y escogemos
Visual C++ de 32 bits.

Figura 8: Escogemos a continuacin de los tipos de archivos a

generar de forma intermedia YACC and Lex file.

10 Compiladores. Gua 5

Figura 9: Escogemos los nombres de los archivos YACC,

colocamos calculadora.y y calculadora respectivamente.

Figura 10: Escogemos el nombre de los archivos del analizador

lxico, ingrese calculadoralex.l y calculadoralex en las
cajas correspondientes.

Compiladores. Gua 5 11

Figura 11: Archivo calculadoralex.l que se utilizara como

analizador lxico escrito en lenguaje Lex aun.

Figura 12: Archivo calculadora que se utilizara

analizador sintctico escrito en lenguaje YACC.

como

12 Compiladores. Gua 5

Figura 13: Procedemos ahora compilar ambos archivos del

proyecto calculadora, para ello damos clic en el men
Project luego clic sobre la opcin Compile File.

Figura 14: Ventana de resultados donde nos dice que no hubo

ningn error en la generacin de los archivos C++ a partir de
los archivos Lex y YACC.
Al terminar esta operacin, en la carpeta que usted ha
escogido como carpeta destino se deben visualizar los
archivos calculadoralex.h y calculadoralex.cpp, ambos

Compiladores. Gua 5 13

escritos con lenguaje C++ y estn listos para ser usados en

un compilador que reconozca el lenguaje de la calculadora
bsica.

Figura 15: Archivos generados por Parser Generator para el

proyecto de la calculadora.

Anlisis de resultados
Construya
un
analizador
sintctico
ascendente
con
la
herramienta Parser Generator para la gramtica del lenguaje
Micro C.

Investigacin complementaria
Responda:
Que es un analizador semntico
Cul es su funcin principal
Algoritmo para desarrollarlo
Cul es su dependencia con el analizador sintctico
Qu es una tabla de smbolos
Cules son los tipos de comprobaciones realizadas por un
analizador semntico.
Que es un rbol de sintaxis abstracta.
Que es un AST decorado.

Bibliografa

Construccin de Compiladores. Principios y practica,

Kenneth C. Louden.
Compiladores. Principios tcnicas y Herramientas.
Sethi Ullman. Pearson Education.

14 Compiladores. Gua 5

Hoja de cotejo:

Gua 5: Generacin de analizadores

con YACC
Tema: Presentacin
del programa
Alumno
:

Docente:

5
1

Mquina No:
Mquina No:
Mquina No:
GL:

Alumno:

Docente:

GL:

Docente:

GL:

Fecha:

EVALUACION
%
CONOCIMIENTO

Del 20
al 30%

APLICACIN
DEL
CONOCIMIENTO

Del 40%
al 60%

1-4

5-7

8-10

Conocimie
nto
deficient
e de los
fundament
os
tericos

Conocimiento
y explicacin
incompleta de
los
fundamentos
tericos

Conocimiento
completo y
explicacin
clara de los
fundamentos
tericos

No tiene
actitud
proactiva
.

Actitud
propositiva y
con
propuestas no
aplicables al
contenido de
la gua.

Tiene actitud
proactiva y sus
propuestas son
concretas.

ACTITUD
Del 15%
al 30%

TOTAL

100%

Nota