FACULTAD DE INGENIERIA

UNIDAD ACADEMICA SANTA CRUZ

Facultad de Ingeniería

Ingeniería de Sistemas

SEXTO SEMESTRE

SYLLABUS DE LA ASIGNATURA
DISEÑO Y DESARROLLO DE COMPILADORES

Elaborado por: Ing. Ana Brigida Lima Loayza

Gestión Académica II/2006

U N I V E R S I D A D D E A Q U I N O B O L I V I A
1
 FACULTAD DE INGENIERIA

VISION DE LA UNIVERSIDAD

Ser la Universidad líder en calidad educativa.

MISION DE LA UNIVERSIDAD

Desarrollar la Educación Superior Universitaria con calidad y

Competitividad al servicio de la sociedad.

Estimado (a) alumno (a);

La Universidad de Aquino Bolivia te brinda a través del Syllabus, la oportunidad de
contar con una compilación de materiales que te serán de mucha utilidad en el desarrollo
de la asignatura. Consérvalo y aplícalo según las instrucciones del docente.

U N I V E R S I D A D D E A Q U I N O B O L I V I A
2
 FACULTAD DE INGENIERIA

SYLLABUS UNIDAD II: DISEÑO DE UN COMPILADOR.

TEMA 2. Análisis Léxico.

Diseño y Desarrollo de
Asignatura:
Compiladores
2.1. Función del analizador léxico.
Código: CMP – 515
2.2. Especificaciones de los componentes
Requisito: CMP – 417 léxicos.
80 horas Teórico 2.3. Cadenas y lenguajes
Carga Horaria:
Prácticas 2.4. Operaciones aplicadas a lenguajes
Créditos: 4 2.5. Expresiones Regulares
2.6. Definiciones Regulares
2.7. Reconocimiento de componentes
I. OBJETIVOS GENERALES DE LA léxicos
ASIGNATURA. 2.8. Diagramas de transiciones
 Comparar las ventajas y desventajas de 2.9. Implantación de un diagrama de
los compiladores e interpretes transiciones
 Identificar las distintas fases lógicas de 2.10. Atributos de los Tokens
compiladores e intérpretes
 Describir las fases de un compilador TEMA 3. Análisis Sintáctico.
 Diseñar y desarrollar compiladores a
través del tratamiento de cadenas a partir 3.1. El papel del analizador sintáctico
de gramáticas y autómatas 3.2. Gramáticas Independientes del
 Implementar un compilador para un contexto
lenguaje de programación sencillo. 3.3. Terminología de los BNF
3.4. Árboles de análisis sintáctico
II. PROGRAMA ANALÍTICO DE LA 3.5. Estructura de una gramática
ASIGNATURA. 3.5.1. Supresión de la
ambigüedad
3.5.2. Factor común a la
UNIDAD I: INTRODUCCION A LA izquierda
COMPILACION. 3.5.3. Recursión a izquierda
3.5.4. Eliminación de la recursión
TEMA 1. Conceptos Básicos. por la izquierda

1.1. Esquema general de un compilador TEMA 4. Análisis Semántica.

1.2. Objetivo de un compilador
1.3. Entorno de un compilador 4.1. Función del analizador semántico
1.4. Estructura de un compilador 4.2. Tabla de símbolos
1.5. Fases de un compilador 4.2.1. Función
1.5.1. Análisis Léxico 4.2.2. Características
1.5.2. Análisis Sintáctico 4.2.3. Contenido
1.5.3. Análisis semántica 4.2.4. Estructura
1.5.4. Generación de código 4.2.5. Operaciones
intermedio 4.3. Análisis dirigido por sintaxis
1.5.5. Optimación de código 4.4. Gramática con atributos
1.5.6. Generación de código 4.4.1. Métodos de evaluación de los
atributos

U N I V E R S I D A D D E A Q U I N O B O L I V I A
3
 FACULTAD DE INGENIERIA

4.4.2. Tipos de gramáticas con atributos ciencia y la tecnología en los tiempos

4.5. Comprobación y conversión de tipos
TEMA 5. Generación de código
intermedio.
5.1. Lenguajes Intermedios
5.2. Declaraciones
5.3. Proposiciones de asignación
5.4. Expresiones booleanas
5.5. Proposiciones CASE
5.6. Relleno de retroceso
5.7. Llamadas a procedimientos
TEMA 6. Generación de Código.
6.1. Aspectos del diseño de un generador
de código
6.2. La maquina objeto
6.3. Administración de la memoria durante la
ejecución
6.4. Un generador de código simple
6.5. Generadores de generadores de código
III. ACTIVIDADES PROPUESTAS
LAS BRIGADAS UDABOL.
Las Brigadas están destinadas a incidir de
manera significativa en la formación
profesional integral de nuestros estudiantes y
revelan las enormes potencialidades que
presenta esta modalidad de la educación
superior no solamente para que conozcan a
fondo la realidad del país y se formen de
manera integral, sino, además, para que
incorporen a su preparación académica los
problemas de la vida real a los que resulta
imperativo encontrar soluciones desde el
campo profesional en el que cada uno se
desempeñará.
El trabajo de las Brigadas permite que
nuestros estudiantes se conviertan a mediano
plazo en verdaderos investigadores, capaces
de elaborar y acometer proyectos de
desarrollo comunitario a la vez que se
acostumbren a trabajar en equipos
interdisciplinarios o multidisciplinarios como
corresponde al desarrollo alcanzado por la
actuales.
La ejecución de diferentes programas de
interacción social y la elaboración e
implementación de proyectos de desarrollo
comunitario derivados de dichos programas
confiere a los estudiantes, quienes son, sin
dudas, los más beneficiados con esta
iniciativa, la posibilidad de:
- Desarrollar sus prácticas pre-
profesionales en condiciones reales y
tutorados por sus docentes con procesos
académicos de enseñanza y aprendizaje
de verdadera “aula abierta”-
- Trabajar en equipos, habituándose a ser
parte integral de un todo que funciona
como unidad, desarrollando un lenguaje
común, criterios y opiniones comunes y
planteándose metas y objetivos comunes
para dar soluciones en común a los
problemas.
PARA
- Realizar investigaciones multidisciplinarias
en un momento histórico en que la ciencia
atraviesa una etapa de diferenciación y en
que los avances tecnológicos conllevan la
aparición de nuevas y más delimitadas
especialidades.
- Desarrollar una mentalidad, crítica y
solidaria, con plena conciencia de nuestra
realidad nacional.
ACTIVIDADES A REALIZAR VINCULADAS
CON LOS CONTENIDOS DE LA MATERIA
Elaborar Software educativos como material
de apoyo a los estudiantes y maestros de los
diferentes colegios de la ciudad.

U N I V E R S I D A D D E A Q U I N O B O L I V I A
4
 FACULTAD DE INGENIERIA

ACTIVIDADES A REALIZAR VINCULADAS

CON LOS CONTENIDOS DE LA MATERIA

TAREAS TEMA(S) CON LOS LUGAR DE ACCIÓN FECHA

PROPUESTAS QUE PREVISTA
SE RELACIONA
Implementación de la Clase Tema 2 Laboratorios de
TCinta. computación.
Implementación del analizador Tema 2 y Tema 3 Laboratorios de
Léxico para el lenguaje CMP – computación.
515
Proyecto final de la materia Temas 2, 3, 4 Exposición de todos
implementar el compilador los proyectos del
CMP – 515 semestre en la feria de
computación.

ACTIVIDADES DE INCURSIÓN Se realizarán dos evaluaciones parciales con

MASIVA EN LA COMUNIDAD.
A lo largo del semestre se realizarán dos
incursiones masivas en la comunidad,
comprendida la primera entre el 2 y el 8 de
octubre y la segunda entre el 13 y el 19 de
noviembre. Con la finalidad de realizar
trabajos ya sean de recojo de información,
extensión o relacionada con los proyectos a
desarrollar en la asignatura o la carrera.
IV. EVALUACIÓN DE LA ASIGNATURA.
 PROCESUAL O FORMATIVA.
En todo el semestre se realizarán preguntas
escritas, exposiciones de temas, trabajos
prácticos además de las actividades
planificadas para las Brigadas UDABOL.
Estas evaluaciones tendrán una calificación
entre 0 y 50 puntos.
En la etapa final se evaluaran preguntas
escritas, trabajos prácticos con una
puntuación entre 0 – 15 puntos.
 PROCESO DE APRENDIZAJE
SUMATIVA.
contenidos teóricos y prácticos con una
puntuación entre 0 – 50 puntos.
El examen final abarcara todo lo avanzado
en el semestre y tendrá una puntuación de 0
– 60 puntos, se realizara la defensa de un
proyecto que tendrá una puntación de 0 – 25
puntos.
V. BIBLIOGRAFIA.
BASICA.
 AHO, A.V., SETHI, R., ULLMAN, J.D, “
Compiladores: principios, tecnicas y
herramientas”, Addison-Wesley
Iberoamericana, 1990.
 LOUDEN, K.C, ”Compiler Construction:
Principles and Practice”, PWS Publishing,
London (1997),
COMPLEMENTARIA
 TEUFEL B, “Compiladores: Conceptos
fundamentales”, Addison  Wesley  - 1995
 GARRIDO, J. IÑESTA, F. MORENO Y J.
PÉREZ, “Diseño de compiladores”,
Universidad de Alicante, 2002.
O
VI. CONTROL DE EVALUACIONES.

1° evaluación parcial
Fecha

U N I V E R S I D A D D E A Q U I N O B O L I V I A
5
 FACULTAD DE INGENIERIA

Nota
Examen final
2° evaluación parcial Fecha
Fecha Nota
Nota
APUNTES

VII. PLAN CALENDARIO

SEMANA ACTIVIDADES OBSERVAC.

1 TEMA 1
2 TEMA 1
3 TEMA 2
4 TEMA 2
5 TEMA 2
6 TEMA 2 EVAL PARC I
7 TEMA 3 Presentación de notas
8 TEMA 3
9 TEMA 3
10 TEMA 3
11 TEMA 4
12 TEMA 4 EVAL PARC II
13 TEMA 4 Presentación de notas
14 TEMA 5
15 TEMA 5
16 TEMA 5
17 TEMA 6
18 TEMA 6
19 TEMA 2, 3, 4, 5, 6

U N I V E R S I D A D D E A Q U I N O B O L I V I A
6
 FACULTAD DE INGENIERIA

20 EVALUACION FINAL Presentación de notas

21 EVALUACION FINAL Presentación de notas
22 SEGUNDA INSTANCIA Presentación de notas

PROGRAMA DE CONTROL DE CALIDAD

WORK PAPER # 1

UNIDAD O TEMA: CONCEPTOS BÁSICOS

TITULO: Traductores

FECHA DE ENTREGA:

PERIODO DE EVALUACION: Primera etapa

Introducción
Uno de los principales mecanismos de Programabásico
siguientedefigura muestra el esquema
Programa de salida
comunicación entre un ordenador y una que compone a un compilador/intérprete. Lenguaje
entrada escrito en escrito en
Lenguaje Fuente Destino
persona viene dado por el envío y recepción TRADUCTORES
de mensajes de tipo textual: el usuario escribe
una orden mediante el teclado, y el ordenador
la ejecuta devolviendo como resultado un Mensaje de
Errores
mensaje informativo sobre las acciones
llevadas a cabo. Esta comunicación solo es
posible a través de traductores que son los
encargados de traducir las diferentes ordenes
que el usuario le da al computador para que
este los pueda entender y ejecutar.

Concepto de traductor
Un traductor se define como un programa que
traduce o convierte desde un texto o
programa escrito en un lenguaje fuente hasta
un texto o programa equivalente escrito en un
lenguaje destino produciendo, si cabe,
mensajes de error. Los traductores engloban
tanto a los compiladores (en los que el
lenguaje destino suele ser código máquina)
como a los intérpretes (en los que el lenguaje
destino está constituido por las acciones
atómicas que puede ejecutar el intérprete). La
Tipos de traductores
Desde los orígenes de la computación, ha
existido un abismo entre la forma en que las
personas expresan sus necesidades y la
forma en que un ordenador es capaz de
interpretar instrucciones. Los traductores han
intentado salvar este abismo para facilitarle el
trabajo a los humanos, lo que ha llevado a
aplicar la teoría de autómatas a diferentes
campos y áreas concretas de la informática,

U N I V E R S I D A D D E A Q U I N O B O L I V I A
7
 FACULTAD DE INGENIERIA
dando lugar a los distintos tipos
traductores que veremos a continuación.
Las técnicas empleadas en el desarrollo de
un compilador no son solo útiles para esto,
sino que estas técnicas son validas para
cualquier programa que reciba una entrada
estructurada de alguna forma, tenga que
analizarla y comprenderla generando una
salida.
Un interprete analiza el programa de
entrada línea a línea y ejecuta cada una
de esas líneas de forma interactiva. Un
compilador lee una determinada
entrada, lo mas eficientemente posible,
es capaz de analizar y entender lo que
quiere decir esa entrada y genera una
salida en función del significado de la
entrada.
Hay dos grandes tipos de traductores:
a) Los interpretes.
b) Los compiladores de código o
compiladores.
El interprete ejecuta el código según lo
va interpretando. Cada vez que se
escribe una línea el programa
comprueba si es correcta y si lo es la
PROGRAMA DE CONTROL DE CALIDAD
WORK PAPER # 2
UNIDAD O TEMA: CONCEPTOS BÁSICOS
TITULO: Descripción de compilador
FECHA DE ENTREGA:
PERIODO DE EVALUACION: Primera etapa
Esquema general de un compilador
U N I V E R S I D A
de ejecuta por lo que la ejecución es
interactiva. De hecho los interpretes
más puros no guardan copia del
programa que se esta escribiendo.
CUESTIONARIO WORK PAPER No. 1
1. ¿Cuál fue el primer compilador que
apareció? Y de una breve cronología del
mismo.
2. Construya una tabla compiladores Vs
interprete
3. Cite 3 ejemplos de interpretes
4. Cite 3 ejemplos de compiladores
5. Como se clasifican los compiladores
6. Describa cada uno de los tipos de
compiladores que existe.
7. Con un ejemplo de un código fuente
describa el funcionamiento de un
interprete y un compilador
8. ¿El lenguaje ensamblador requiere de un
compilador ó interprete?. Justifique su
respuesta.
9. Mencione 3 aplicaciones (diferentes a los
lenguajes de programación tradicionales)
que utilicen compilador y 3 que utilicen
interprete.
10. ¿Que es un Decompilador?
D D E A Q U I N O B O L I V I A
8
 FACULTAD DE INGENIERIA

Los principios y técnicas que se usan en la código máquina relocalizable, en el cual las
escritura de compiladores se pueden emplear direcciones serán relativas a ciertas
en muchas otras áreas. Se basan en los posiciones de origen, y quizás algunas
conceptos de teoría de autómatas y lenguajes llamadas a rutinas no estén resueltas.
formales que se están exponiendo en la parte
teórica, y constituyen un campo de aplicación Finalmente, el editor de carga y enlace (o
práctica bastante directo. “montador”, o “link”) resolverá las llamadas a
rutinas, incluyéndolas a partir de otros objetos
Objetivo de un compilador de biblioteca si procede, y obtendrá
El objetivo es, básicamente es traducir un direcciones absolutas, de modo que ya se
programa (o texto) escrito en un lenguaje dispondrá del código máquina absoluto
“fuente”, que llamaremos programa fuente, en ejecutable.
un equivalente en otro lenguaje denominado
“objeto”, al que llamaremos programa o Programa fuente
código objeto. Si el programa fuente es
correcto (pertenece al lenguaje formado por
los programas correctos), podrá hacerse tal Analizador
léxico
traducción; si no, se deseará obtener un
mensaje de error (o varios) que permita
determinar lo más claramente posible los
orígenes de la incorrección. Analizad
or
sintáctic
La traducción podrá hacerse en dos formas: o
interpretación: la traducción se hace “frase a
frase” tabla Manejador
compilación: la traducción se hace del texto de símbolos Analizador de errores
completo semántico

Concentraremos nuestra atención en el

Generador de
segundo de los métodos. código
intermedio
Entorno de un compilador
Es frecuente que, además del compilador, se
utilicen otros programas para crear un código
Optimizador
objeto ejecutable. Un esquema típico es el de código
que se describe a continuación.

La estructura del programa fuente se escribe,

usando algún programa de edición de texto
(por ejemplo vi), y puede incluir texto en
lenguaje fuente y algunas órdenes para el
preprocesador. Este realizará algunas tareas,
como eliminación de comentarios, expansión
de macros (#IF . . . ), inclusión de archivos
(#include . . . ), sustitución de constantes
(#define . . . ), o algunas extensiones del
lenguaje fuente.
El compilador traducirá el resultado del
preproceso obteniendo un programa
equivalente en lenguaje ensamblador, que a
su vez será traducido por el ensamblador a
Generador
de código
Programa objeto
Esquema de un compilador
No siempre todo este proceso es necesario,
y, aún cuando se realice, no siempre será
observado por el usuario, de forma que una
sola orden puede provocar el proceso
completo. Los compiladores suelen incluir

U N I V E R S I D A D D E A Q U I N O B O L I V I A
9
 FACULTAD DE INGENIERIA

opciones que permiten obtener explícitamente

(o conservar) los resultados intermedios.
Cada uno de los componentes es realmente
un traductor. La dificultad máxima de
traducción suele estar en la compilación
propiamente dicha.

Estructura de un compilador
Cuando se ha hablado de programas
equivalentes en distintos lenguajes (fuente y
objeto), nos
referimos a “tener el mismo significado”. Por CUESTIONARIO WORK PAPER No. 2
ello, la compilación requiere dos grandes
partes o tareas: Describa brevemente y de un ejemplo
análisis : en la que se analiza el programa especifico de:
fuente para dividirlo en componentes y 1. Analizador Léxico
extraer de algún modo el significado.
2. Analizador Sintáctico
síntesis : en la que el significado obtenido
se escribe en el lenguaje objeto 3. Analizador Semántico

De las dos, la síntesis es la que requiere 4. Generador de código intermedio

técnicas más especializadas. Durante el
análisis, se determinan las operaciones que 5. Optmizador de código
indica el programa fuente obteniendo una
representación del significado, normalmente 6. Generador de código
en una estructura jerárquica, de árbol, en la
que cada nodo representa una operación, y 7. Describa la Gestión de la tabla de
cuyos hijos son los argumentos de dicha símbolos en las fases del compilador
operación.
8. Describa la detección e información de
De este modo, a partir de la representación errores en las fases del compilador
intermedia, diferentes partes de síntesis
podrían obtener distintos códigos, para
distintos lenguajes objeto; también, a partir de Dado el siguiente código escrito en C++
distintos lenguajes fuente, con partes de Builder:
análisis adecuadas, se podría obtener una
representación intermedia, que una parte de void __fastcall TForm1::Button1Click(TObject
síntesis tradujera a su vez a un único lenguaje *Sender)
objeto. Nuevamente cada una de estas partes {
es también un traductor. int x,y;
String nombre,zz;
x=3; /* esto es un un
y:= y+'hola';
nombre = InputBox("DEFINICION DE
NOMBRE","Introduzca su nombre, x);
zz = zz + x;
ShowMessage('el resultado es' + x=3);
}

9. Identifique los errores que ocurrirá al

compilar el código.

U N I V E R S I D A D D E A Q U I N O B O L I V I A
10
 FACULTAD DE INGENIERIA

10. Identifique que fases del compilador están

encargadas de dar los mensajes de
errores al programador.

PROGRAMA DE CONTROL DE CALIDAD

WORK PAPER # 3

UNIDAD O TEMA: ANALIZADOR LÉXICO

TITULO: Análisis Léxico

FECHA DE ENTREGA:

PERIODO DE EVALUACION: Primera etapa

Análisis Léxico  Constantes de caracteres: literales que

Funciones del analizador léxico.
Analizador léxico (scanner): lee la secuencia
de caracteres del programa fuente, carácter a
carácter, y los agrupa para formar unidades
con significado propio, los componentes
léxicos (tokens en ingles).
Componente
Programa léxico
fuente Analizador Analizador
léxico sintáctico
árbol de anal.
Obtén siguiente sintáctico
componente léxico
Estos componentes léxicos representan:
 Palabras reservadas: if, while, do, . . .
 identificadores: asociados a variables,
nombres de funciones, tipos definidos por
el usuario, etiquetas,... Por ejemplo:
posición, velocidad, tiempo, . . .
 operadores: = * + - / == > < & ! = . . .
 Símbolos especiales: ; ( ) [ ] { } ...
 Constantes numéricas: literales que
representan valores enteros, en coma
flotante, etc, 982, 0xF678, -83.2E+2,...
representan cadenas concretas de
caracteres, \hola mundo",...
El analizador léxico opera bajo petición del
analizador sintáctico devolviendo un
componente léxico conforme el analizador
sintáctico lo va necesitando para avanzar en
la gramática. Los componentes léxicos son
los símbolos terminales de la gramática.
Suele implementarse como una subrutina del
analizador sintáctico. Cuando recibe la orden
obtén el siguiente componente léxico, el
analizador léxico lee los caracteres de
entrada hasta identificar el siguiente
componente léxico.
Otras funciones secundarias:
 Manejo del fichero de entrada del
programa fuente: abrirlo, leer sus
caracteres, cerrarlo y gestionar posibles
errores de lectura.
 Eliminar comentarios, espacios en blanco,
tabuladores y saltos de línea (caracteres
no validos para formar un token).
 Inclusión de ficheros: # include...

U N I V E R S I D A D D E A Q U I N O B O L I V I A
11
 FACULTAD DE INGENIERIA

 La expansión de macros y funciones Los componentes léxicos se especifican

inline: # define ... haciendo uso de expresiones regulares.
 Contabilizar él numero de líneas y Tomando en cuenta las tres operaciones
columnas para emitir mensajes de error. básicas: concatenación, repetición (*) y
 Reconocimiento y ejecución de las alternativas (|).
directivas de compilación (por ejemplo,
para depurar u optimizar el código fuente). Reconocimiento de los componentes
léxicos: autómatas finitos.
Ventajas de separar el análisis léxico y el Los AFD se pueden utilizar para reconocer las
análisis sintáctico: expresiones regulares asociadas a los
 Facilita transportabilidad del traductor (por componentes léxicos.
ejemplo, si decidimos en un momento Identificadores
dado cambiar las palabras reservadas identifier = letter (letter | digit)*
begin y end de inicio y fin de bloque, por f números naturales y reales
y g, solo hay que cambiar este modulo. nat = [0-9]+
 Se simplifica el diseño: el analizador es un Operadores relacionales
objeto con el que sé interactúa mediante Operadores < | = | <= | <> | >= | >
ciertos métodos. Se localiza en un único
modulo la lectura física de los caracteres, CUESTIONARIO WORK PAPER No. 3
por lo que facilita tratamientos
especializados de E/S. Diseña una expresión regular y construye el
AFD para las siguientes especificaciones en
lenguaje natural:
Componentes léxicos, Patrones, Lexemas
Patrón: es una regla que genera la secuencia 1. ¿Qué diferencias hay entre un
de caracteres que puede representar a un AFD y un DT? ¿Cuál de las dos máquinas
determinado componente léxico (una de
expresión regular). 2. estados sirve mejor para
Lexema: cadena de caracteres que representar un analizador léxico?
concuerda con un patrón que describe un 3. Los números enteros expresados en
componente léxico. Un componente léxico notación decimal, octal o hexadecimal. En
puede tener uno o infinitos lexemas. Por notación decimal, un entero consiste en
ejemplo: palabras reservadas tienen un único uno o mas dígitos. En notación octal hay
lexema. Los números y los identificadores al menos dos dígitos, el primero de los
tienen infinitos lexemas. cuales es siempre un cero y los restantes
quedan comprendidos entre el cero y el
Compon. léxico Lexema Patrón siete. En notación hexadecimal, hay al
menos tres caracteres, los dos primeros
identificador indice, a, Temp. Letra seguida de
letras o dígitos. caracteres son un cero y una equis y los
num_entero 1492, 1, 2 Digito seguido restantes son dígitos del cero al nueve o
de mas digitos. letras entre la A y la F.
if if Letra i seguida
de letra f.
do do Letra d seguida 4. Las palabras clave: char, integer, float.
de o.
op_div / Carácter / 5. Identificadores y las palabras reservadas:
op_asig = Caracter = case, char, const, continue.

6. Comentarios tipo C++ /* esto es un

Especificación de los componentes comentario */, //esto es un comentario.
léxicos: expresiones regulares.

U N I V E R S I D A D D E A Q U I N O B O L I V I A
12
 FACULTAD DE INGENIERIA

7. Los identificadores compuestos de letras, <P>Esto es un párrafo</P>

dígitos y subrayados, que empiezan por <H4>Titulo4</H4>
una letra y no puede haber mas de un <H5>Titulo5</H5>
subrayado seguido. <H6>Titulo6</H6>
<UL>
<LI> Uno </LI>
8. Los comentarios delimitados por ##, que <LI> Dos </LI>
permiten un # dentro del cuerpo del <LI> Tres </LI>
comentario </UL>
</BODY>
9. Construye el AFD para reconocer los </HTML>
operadores menor que (<), menor o igual
que (<=), igual que (==), mayor que (>), 13. Especificar el conjunto de
mayor o igual que (>=), distinto de (<>). tokens que debe reconocer el
Escribe en pseudocódigo el código analizador, incluyendo su tipo y
correspondiente para su implementación. lexema
10. Escribe un programa que cuente el 14. Especificar el patrón léxico
numero de veces que aparece las (expresión regular) que define cada
palabras reservadas while, if, el operador posible token del lenguaje
de asignación = y el numero de 15. Construir el autómata que
identificadores en un programa en C. reconoce el lenguaje anterior

11. Escribe un programa que sustituya las
palabras reservadas while, do, if, else a
mayúsculas. Debe generar un fichero
igual al de la entrada donde se han
cambiado esas palabras reservadas.
Se pretende construir una calculadora que
evalúe expresiones de aritmética simple tales
como:
10 - (((( 2 - ( 4 - 2) - 30 ) + 2 ) - 10 ) - 2 )
((( 100 * 10 ) - 20 ) - ( 30 * 2 ))

12. Supongamos que hay una pagina web 16. Se requiere construir un
donde se quiere cambiar todas las analizador léxico de este lenguaje.
referencias http:nnbugs.uv.es Por Para ello se pide:
http:nninformatica.uv.es. Escribe un dt que 17. Especificar la colección de
lo haga de forma automática. tokens del analizador indicando su
tipo y lexema
HTML es el nombre del lenguaje que se utiliza 18. Construir el DT que reconozca
especificar contenidos Web. Su el conjunto de tokens
funcionamiento se basa en utilizar una serie
de etiquetas que indican de qué forma se Dado el siguiente código fuente:
debe representar dicho texto en pantalla. program problema2;
Especificar un analizador léxico que function F2 (uno, dos: integer) {
reconozca los elementos lexicográficos que function F1 (uno, dos: integer) {
var a, b: integer;
aparecen en el siguiente ejemplo:
a:= 5;
<HTML>
b:= 10;
<HEAD>
b:= ((a * uno) + (b * dos))
<TITLE> Ejemplo de compiladores
return b;
</TITLE>
}
</HEAD>
var c, d: integer;
<BODY>
c:= uno;
<!-- Esto es un comentario -->
d:= dos;
<HR>
return ( (c + F1(c, d)) * (d + F1(3, 4))
<H1>Titulo1</H1>
}
<H2>Titulo2</H2>
var uno: integer;
<H3>Titulo3</H3>

U N I V E R S I D A D D E A Q U I N O B O L I V I A
13
 FACULTAD DE INGENIERIA

begin =
uno := 1; :
uno := F2 (uno, 1); :=++
end. :=--
Se pide: NUM
19. Escribir la estructura de los VAR
tokens que debe emitir el analizador Donde:
léxico NUM = Números enteros sin signo.
20. Determinar los patrones léxicos Ejm: 10, 256
(expresiones regulares) de cada uno VAR = Variables. Deben comenzar por una
21. Especificar el autómata que letra, a la que puede seguir un número
reconoce el conjunto de tokens indeterminado de letras o números (var12, a).
Se pide:
Dada la siguiente sentencia: 28. Escribir las expresiones
if (a > ((b *3) / 4)) {
regulares que describen los
a := (b * 4) + 1000.0; }
elsif (a = ((b*3.4) /4)) { componentes VAR y NUM.
b := 100; 29. Dibujar el diagrama de
} transiciones determinista para el
else { analizador.
a := 100.0; 30. Generar la tabla de
} transiciones a partir del diagrama del
apartado anterior.
Se pide: 31. Indicar los tokens reconocidos
por el analizador para la siguiente
22. Escribir la estructura de los cadena de entrada:
tokens que debe emitir el analizador a:=+x2=57+2y::=---
léxico
23. Determinar los patrones léxicos Diseñar un analizador léxico que reconozca
(expresiones regulares) de cada uno los siguientes componentes:
24. Especificar el autómata que
reconoce el conjunto de tokens TOKEN DESCRIPCIÓN EJEMPLO
Identificadores.
Se desea especificar un analizador léxico que Comienzan por una
reconozca sentencias para asignar letra, a la que var12, a
ID
pueden seguir
expresiones matemáticas (con sumas (+), caracteres
restas (-), productos (*), divisiones (/), alfanuméricos
potencias (^) y paréntesis). Por ejemplo: Números enteros
ENTERO -5, 30, +77
• A := 3 * (2 – 5^3) con o sin signo
• B3 := 4 – C+ 8 / (6 – D) Números reales
con o sin signo. No
Se pide: se admiten
25. Indicar la estructura de los -0.5, 45.2, +0.2
REAL construcciones
tokens como .2 ó
26. Expresar los patrones léxicos 50.
de cada uno de ellos
Números enteros o
27. Construir el scanner que EXP reales con signo y
4.2e-3, 50e20,
reconoce el lenguaje 3e+2, -1e+10
con exponente

Se pretende diseñar un analizador léxico que Palabra reservada

PR_WHILE -
‘while’
reconozca los siguientes símbolos:
Palabra reservada -
+ PR_WHEN
‘when’
- OP_ASIGNACIÓ Símbolo ‘=’ -

U N I V E R S I D A D D E A Q U I N O B O L I V I A
14
 FACULTAD DE INGENIERIA

N
Símbolo‘/’ Se pide:
OP_DIV -
35. Escribir las expresiones
regulares para VAR, FLOAT y EXP
Se pide:
36. Dibujar el reconocedor para
32. Expresiones regulares para ID,
este analizador léxico utilizando la
ENTERO, REAL y EXP.
representación elegida en el
33. Dibujar el diagrama de
apartado anterior
transiciones determinista para el
37. Indicar los tokens que
analizador.
reconocerá el analizador para las
34. Indicar los tokens reconocidos
siguientes cadenas de entrada:
por el analizador para las siguientes
resultado=34e2+33-2.e2
entradas:
vertice=25.3-2e-2e-2
área=12e2/50e-x
resultado2=var/3.3/2e-10
38. Escribir un analizador léxico
que reciba como entrada un texto y
Se quiere diseñar un analizador léxico que
muestre como salida el número de
reconozca los siguientes símbolos:
caracteres, el número de palabras y el
número de líneas que hay en el texto

39. Escribir un analizador léxico

para cifrar un texto de entrada invirtiendo
el orden de las letras de cada palabra
TOKEN DESCRIPCIÓN EJEMPLO
Comienzan por 40. Modificar el programa anterior
una letra, a la
que para que cifre todo menos los números,
x1, z que deben mantenerse en el orden en el
VAR pueden seguir
caracteres que aparecen
alfanuméricos
41. Modificar el programa anterior
Números enteros
INT
sin signo
4, 50 para que invierta línea a línea y no palabra
Números reales a palabra
sin signo. No se
admiten 42. Escribir un analizador léxico
45.2, 0.2
FLOAT construcciones
como .2 ó
para cifrar un texto de la siguiente forma:
50. Tamaño(palabra) <= 4 letras inversa
Tamaño(palabra) == 5 ó 6 letras inversa
Números enteros en bloques de dos caracteres
o reales sin 4.2e-3, Tamaño(palabra) == 7,8 ó 9 letras en
signo y con 3e+2,
EXP
exponente con 1e10 bloques de 3 caracteres
signo Tamaño(palabra) > 9 en bloques de 4
caracteres
Palabra -
TO
reservada “to” 43. La Secretaría de la D.T.I.U. de
Palabra -
THEN
reservada “then” Informática recibe de los Departamentos
operador de - las notas de los alumnos en un fichero
ASIG
asignación “=” formato texto, en el que cada línea posee
SUMA
operador de - tres campos separados por espacios: C.I.
suma “+” del alumno, Convocatoria del examen
operador de -
RESTA
resta “-”
(Diciembre, Febrero o Junio), y la Nota.
Hacer un programa que efectúe la lectura

U N I V E R S I D A D D E A Q U I N O B O L I V I A
15
 FACULTAD DE INGENIERIA

de dicho fichero, emitiendo al final la

media de las notas recuperadas.
Asimismo informará de los errores de
formato que se pueda encontrar: líneas en
las que falten campos, valores incorrectos,
etc…

PROGRAMA DE CONTROL DE CALIDAD

WORK PAPER # 4

UNIDAD O TEMA: ANÁLISIS SINTACTICO

TITULO: Análisis Sintáctico

FECHA DE ENTREGA:

PERIODO DE EVALUACION: Segunda etapa

Funciones del analizador sintáctico

 Comprobar si la cadena de componentes
léxicos proporcionada por el analizador
léxico puede ser generada por la
gramática que define el lenguaje fuente
(gramática Independiente del Contexto,
GIC).
 Construir el árbol de análisis sintáctico
que define la estructura jerárquica de un
programa y obtener la serie de El análisis sintáctico se puede considerar
derivaciones para generar la cadena de como una función que toma como entrada la
componentes léxicos. El árbol sintáctico secuencia de componentes léxicos producida
se utilizara como representación por el análisis léxico y produce como salida el
intermedia en la generación de código. árbol sintáctico.
 Informar de los errores sintácticos de En la realidad, el análisis sintáctico hace una
Gram. indep. contexto
forma precisa y significativa y deberá estar petición al análisis léxico del componente
Componente
dotado de un
léxico
mecanismo de recuperación léxico siguiente en la entrada (los símbolos
Programa
fuente de
Analizadorerrores para continuar con
Analizador el análisis.Analizador terminales) conforme lo va necesitando en el
léxico sintáctico
árbol de anal.
semántico proceso de análisis, conforme se mueve a lo
Obtén siguiente sintáctico largo de la gramática.
componente léxico

U N I V E R S I D A D D E A Q U I N O B O L I V I A
16

Gestor de Tabla de
errores símbolos
 FACULTAD DE INGENIERIA
Reconocedor versus analizador sintáctico
Un reconocedor trata de determinar
simplemente si la cadena puede o no ser
generada por la gramática (salida boolena).
Podríamos preguntar algo más. Si queremos
reconocer las estructuras propias de los
lenguajes de programación en el fichero de
entrada para guiar la traducción, es necesario
conocer su estructura jerárquica, el árbol de
análisis sintáctico.
Especificación sintáctica de los lenguajes
de programación
La mayoría de las construcciones de los
lenguajes de programación se pueden
representar con una gramática
independiente del contexto (GIC). La
mayoría de las construcciones de los
lenguajes de programación implican
recursividad y anidamientos.
G = {S; VT ; VNT ; P}
S : el axioma o símbolo de inicio
VT : conjunto de terminales, los componentes
léxicos
VNT : conjunto de no-terminales
P : conjunto de reglas de producción de la
forma
VNT  X1, ...., ;Xn , con Xi  (VT  VNT )
¿Expresiones regulares o gramáticas
independientes del contexto?
Las expresiones regulares no permiten
construcciones anidadas tan comunes en los
lenguajes de programación: paréntesis
equilibrados, concordancia de pares de
palabras clave como begin-end, do-while, ...
Por ejemplo: consideremos el problema de los
paréntesis equilibrados en una expresión
aritmética. El hecho de que haya un
paréntesis abierto obliga a que haya un
paréntesis cerrado. Este problema es similar
a considerar el lenguaje
L = {aba, aabaa, aaabaaa, ...,} = {anban  0}
Si intentamos escribir una expresión regular,
lo más próximo seria: {a*ba*} pero no se
garantiza que él numero de a's antes y
después sea el mismo.
U N I V E R S I D A
Las expresiones regulares NO SABEN contar.
NO es posible especificar la estructura de un
lenguaje de programación con solo
expresiones regulares.
¿Son suficientes las gramáticas
independientes del contexto?
NO, existen ciertos aspectos de los lenguajes
de programación que no se pueden
representar con una GIC. A estos aspectos se
les llama aspectos semánticos, son aspectos
en general dependientes del contexto.
Por ejemplo, el problema de declaración de
los identificadores antes de uso. Se podría
representar mediante el lenguaje
L={wcw tal que w  (a | b)*}
este lenguaje no puede ser representado por
una GIC.
Derivaciones. Árboles de anal. sintáctico
Dada ,   (VTVNT )* cadenas arbitrarias de
símbolos gramaticales, se dice que
A   es una derivación, si existe una
producción A 
Sea S , si   (VTVNT )* se dice que 
es una forma de frase o forma sentencial
si   (VT)* se dice que  es una frase o
sentencia.
Existen dos tipos de derivaciones:
 Derivación mas a la izquierda: se sustituye
en cada paso el no-terminal mas a la
izquierda de la forma de frase. La
denotaremos por:
 
 Derivación mas a la derecha: se sustituye
en cada paso el no-terminal mas a la
derecha de la forma de frase. La
denotaremos por:
 
Por ejemplo para la gramática:
E  id | num | E + E | ( E ) | - E
Si queremos derivar la frase ¡(id + id)
E - E  -(E + E)  -(id + E) )  -(id + id)
Derivación mas a la izquierda.
D D E A Q U I N O B O L I V I A
17
 FACULTAD DE INGENIERIA
E - E  -(E + E)  -(E + id) )  -(id + id)
Derivación mas a la derecha.
Árboles de análisis sintáctico
Un árbol de análisis sintáctico indica como a
partir del axioma de la gramática se deriva
una frase (cadena) del lenguaje. Dada una
gramática independiente del contexto, un
árbol de análisis sintáctico es un árbol tal que:
1. La raíz esta etiquetada con el símbolo
inicial.
2. Cada hoja esta etiquetada con un
componente léxico. Las hojas de izquierda
a derecha forman la frase (el programa
fuente).
3. Cada nodo interior esta etiquetado con un
no-terminal.
4. Si A es un no-terminal y X1, ...., ;Xn son
sus hijos de izquierda a derecha, entonces
existe la producción A  X1, ...., ;Xn , con
Xi  (VTVNT ).
El árbol de análisis sintáctico contiene
en general mucha mas información que
la estrictamente necesaria para generar
el código.
Se puede construir una estructura mas
sencilla, los árboles abstractos de análisis
sintáctico. Ejemplo: expresiones aritméticas
(igual semántica, menor complejidad)
U N I V E R S I D A
gramáticas limpias y bien formadas
Llamamos símbolo vivo al símbolo a partir del
cual se puede derivar una cadena de
terminales. Llamamos símbolo muerto a los
símbolos no-vivos, no generan una cadena
del lenguaje. Llamamos símbolo inaccesible si
nunca aparece en la parte derecha de una
producción. A las gramáticas que contienen
estos tipos de símbolos se les llama
gramáticas sucias.
Teorema 1: si todos los símbolos de la parte
derecha de una producción son símbolos
vivos, entonces el símbolo de la parte
izquierda también lo es.
Teorema 2: si el símbolo no-terminal de la
parte izquierda de una producción es
accesible, entonces todos los símbolos de la
parte derecha también lo son.
Para limpiar una gramática primero se
eliminan los símbolos muertos y después los
símbolos inaccesibles.
Una gramática esta bien formada si es limpia
y además no contiene producciones -.
Ejemplo: limpiar la gramática
SaABA
AcBd
BefS
CgDhDt
Dxyz
gramáticas ambiguas
Una gramática es ambigua cuando para una
determinada sentencia produce mas de un
árbol de derivación.
La gramática siguiente es ambigua:
E  id  num  E + E  E * E  ( E )  - E
Supongamos la sentencia id + id * id
D D E A Q U I N O B O L I V I A
18
 FACULTAD DE INGENIERIA
El significado semántico es DIFERENTE. No
existe una única traducción posible. Se
genera código diferente.
Necesidad de evitar las gramáticas ambiguas.
Como?
 transformando la gramática o
 estableciendo precedencias entre
operadores y de asociatividad.
Se puede eliminar la ambigüedad
transformando la gramática agrupando todos
los operadores de igual precedencia en
grupos y asociando a cada uno una regla, de
forma que los que tengan menor precedencia
aparezcan más cercanos al símbolo de inicio,
precedencia en cascada. Esto conlleva el
aumento de la complejidad de la gramática y
con ello en la del árbol sintáctico. La
gramática deja de ser intuitiva.
Ejemplo 1: gramática ambigua
E  num  E + E  E - E  E * E  E / E
Si la transformamos, esta gramática ya no es
ambigua.
exp  exp + term  exp - term  term
term  term * factor  term / factor  factor
factor  ( exp )  num
IMPORTANTE: Una regla recursiva a
izquierdas, hace que el operador sea
asociativo por la izquierda. Una regla
recursiva a derechas hace que el operador
sea asociativo por la derecha.
Clasificación métodos de análisis
sintáctico
Atendiendo a la forma en que se construye el
árbol de análisis sintáctico los métodos de
análisis sintáctico se clasifican:
Métodos descendentes: se parte del símbolo
de inicio de la gramática que se coloca en la
raíz y se va construyendo el árbol desde
arriba hacia abajo hasta las hojas, eligiendo la
derivación que da lugar a una concordancia
con la cadena de entrada. Se basa en la idea
de predice una derivación y establece una
concordancia con el símbolo de la entrada
(predict/match). El análisis sintáctico
U N I V E R S I D A D D E
19
descendente corresponde con un recorrido
prefijo del árbol de análisis sintáctico (primero
expandimos el nodo que visitamos y luego
procesamos los hijos).
S  Sujeto Verbo Objeto
Sujeto  el Nombre | un Nombre
Objeto  el Nombre | un Nombre
Verbo  el Nombre | un Nombre
Nombre  perro | gato | león
Ejemplo: El león cazo un gato
Crear el árbol...
Problemas: reexcursión a izquierdas,
diferentes alternativas en una producción,
¿cómo conseguir un coste lineal?
 Métodos ascendentes: se construye el
árbol de análisis sintáctico desde las hojas
hasta la raíz. En las hojas esta la cadena
a analizar y se intenta reducirla al símbolo
de inicio de la gramática que esta en la
raíz. Se trata de desplazar-se en la
cadena de entrada y encontrar una
subcadena para aplicar una reducción
(una regla de producción a la inversa),
(shift- reduce). El análisis sintáctico
ascendente corresponde con un recorrido
postorden del árbol (primero reconocemos
los hijos y luego mediante una reducción
reconocemos el padre).
Insertar un ejemplo de como efectivamente
los dos tipos de análisis corresponden con los
tipos de recorrido prefijo y postfijo.
Atendiendo a la forma en que procesan la
cadena de entrada se clasifican en:
 Métodos direccionales: procesan la
cadena de entrada símbolo a símbolo de
izquierda a derecha.
 Métodos no-direccionales: acceden a
cualquier lugar de la cadena de entrada
para construir el árbol. Necesitan tener
toda la cadena de componentes léxicos en
memoria. Más costosos, no se suelen
implementar.
Atendiendo al numero de alternativas posibles
en una derivación se clasifican en:
A Q U I N O B O L I V I A
 FACULTAD DE INGENIERIA

term  term mulop factor 

 Métodos deterministas: dado un símbolo factor
de la cadena de entrada se puede decidir mulop  *  /
en cada paso cual es la alternativa / factor  ( exp )  num
derivación adecuada a aplicar, solo hay
una posible. No se produce retroceso y el 3. Dada la siguiente gramática simplificada
coste el lineal. de una expresión en LISP: (a) escribe las
derivaciones mas a la derecha y más a la
 Métodos no-deterministas: en cada paso izquierda de la entrada (a 23 (m x y)).
de la construcción del arbol se deben Dibuja el árbol de análisis sintáctico para
probar diferentes alternativas / esa sentencia.
derivaciones para ver cual es la lexp  atom  list
adecuada, con el correspondiente atom  number  identifier
aumento del coste. list  ( lexp-seq )
lexp-seq  lexp-seq lexp 
Importancia de los métodos direccionales y lexp
deterministas en el diseño de traductores. El 4. Dada la siguiente gramática, construya el
determinismo por la necesidad de eficiencia árbol de análisis sintáctico para la frase
(coste lineal frente a exponencial que le haría not (true or false). ¿Es una gramática
prohibitivo en el diseño practico de ambigua?
traductores) y porque las herramientas para la
generación de traductores asumen esta bexp  bexp or bterm  bterm
condición. Los métodos direccionales por la
bterm  bterm and bfactor 
propia naturaleza secuencial en que se va
bfactor
procesando los símbolos del fichero fuente de
bfactor  not bfactor  ( bexp )
izquierda a derecha.
 true  false

CUESTIONARIO WORK PAPER No. 4 5. Escribe una gramática para expresiones

booleanas que incluya las constantes true
1. Dadas la siguiente gramática, elimina los y false, los operadores and, or y not y los
símbolos muertos e inaccesibles. paréntesis. Se ha de tener en cuenta que
el operador or tiene menor precedencia
que el operador and y este menor que el
SaABCDd
operador not. Construye la gramática de
AaBC
forma que los operadores and y or sean
Bb asociativos por la izquierda y el operador
Cc not por la derecha.
Dd
Egh 6. Comprueba que se puede resolver el
problema de la ambigüedad del dangling
2. Dada la siguiente gramática, escribe la else transformando la gramática a la
derivación mas a la izquierda, el árbol de forma:
análisis sintáctico y el árbol sintáctico
abstracto para las siguientes expresiones: statment  matched-stmt |
unmatched-stmt
a. 3+4*5-6 matched-stmt  if ( exp ) matched-
b. 3*(4-5+6) stmt else matched-stmt | other
unmatched-stmt  if ( exp ) statement
exp  exp addop term  term
addop  +  -

U N I V E R S I D A D D E A Q U I N O B O L I V I A
20
 FACULTAD DE INGENIERIA

| if ( exp ) matched- statment  if ( exp )

stmt else unmatched- statement | matched-
stmt stmt
exp  0 | 1 matched-stmt  if ( exp
) matched-stmt else
Justificar usando un ejemplo. statment | other
exp  0 | 1
7. Comprueba que el intento de resolver el Justificar usando un ejemplo.
problema de la ambigüedad del dangling
else no es adecuado:

PROGRAMA DE CONTROL DE CALIDAD

WORK PAPER # 5

UNIDAD O TEMA: ANÁLISIS SINTACTICO

TITULO: Análisis Sintáctico Descendente

FECHA DE ENTREGA:

PERIODO DE EVALUACION: Segunda etapa

ANALISIS DESCENDENTE: EL AUTOMATA de caracteres para almacenar los lexemas en

PREDICE/CONCUERDA
Especificación de la sintaxis de un lenguaje
mediante gramáticas independientes del
contexto (GIC). Estas gramáticas permiten
recursividad y estructuras anidadas. Por
ejemplo: sentencias if-else anidadas,
paréntesis anidados en expresiones
aritméticas, que no pueden ser representadas
mediante expresiones regulares.
La recursividad va a implicar:
Algoritmos de reconocimiento mas complejos,
que hagan uso de llamadas recursivas o usen
explıcitamente una pila, la pila de análisis
sintáctico.
La estructura de datos usada para
representar la sintaxis del lenguaje ha de ser
también recursiva (el árbol de análisis
sintáctico), en vez de lineal (caso de un vector
el analizador léxico).
Fundamento de los métodos
descendentes: autómata
predice/concuerda
En cada paso del proceso de derivación de la
cadena de entrada se realiza una predicción
de la posible producción a aplicar y se
comprueba si existe una concordancia entre
el sımbolo actual en la entrada con el primer
terminal que se puede generar a partir de esa
regla de producción, si existe esta
concordancia se avanza en la entrada y en el
árbol de derivación, en caso contrario se
vuelve hacia atrás y se elige una nueva regla
de derivación.
Ejemplo Supongamos la siguiente gramática
que permite generar expresiones aritméticas:
E  T E’
E’  + TE’  - T E’  

U N I V E R S I D A D D E A Q U I N O B O L I V I A
21
 FACULTAD DE INGENIERIA
T _F T’
T’  * FT’  / F T’  
F  ( E )  num  id
Para la entrada num + id * num.
Crear el arbol de analisis sintactico..
. producción A  A
Nos restringimos al caso de metodos
deterministas (no hay vuelta atras) teniendo
en cuenta un solo sımbolo de preanalisis
(componente lexico que se esta analizando
en la cadena de entrada en ese momento),
sabemos exactamente en todo momento que
producción aplicar. El sımbolo de preanalizas
se actualiza cada vez que se produce una
concordancia.
Los métodos descendentes se caracterizan
porque analizan la cadena de componentes
lexicos de izquierda a derecha, obtienen la
derivación mas a la izquierda y el árbol de
derivación se construye desde la raız hasta
las hojas.
Problemas de decisión: ¿Que producción
elegir cuando hay varias alternativas?
A    .....
Conjunto PRIMEROS(): el conjunto de
tokens que pueden comenzar cualquier frase
derivable de ,   ( VT  VNT)*.
Conjunto SIGUIENTES(A): el conjunto de
tokens que pueden aparecer después de un
no-terminal A, A  VNT
Problemas en el análisis descendente:
 La recursividad a izquierdas da lugar a un
bucle infinito de recursion.
 Problemas de indeterminismo cuando
varias alternativas en una misma
produccion comparten el mismo prefijo.
No sabrıamos cual elegir. Probarıamos
una y si se produce un error harıamos
backtracking. Si queremos que el metodo
sea determinista hay que evitarlas.
Existen transformaciones de gramaticas para
su la eliminacion. Estas transformaciones no
U N I V E R S I D A
modifican el lenguaje que se esta
reconociendo, pero si que cambian el aspecto
de la gramatica, que es en general menos
intuitiva.
Recursividad a izquierdas y su eliminación
Una gramática es recursiva por la izquierda si
tiene un no-terminal A tal que existe una
Algoritmo para eliminar recursividad a
izquierdas:
primer paso: se agrupan todas las
producciones de A en la forma:
A  A1 | A2 |......| Am | 1 | 2 |..... n
|
donde ninguna i comienza con una A.
segundo paso: se sustituyen las
producciones de A por:
A  1 A’ | 2 A’ |..... n A’ |
A  1 A’ | 2 A’ |......| m A’ | 
Ejemplo: Eliminar la recursividad a izquierdas
de
E E+TT
T T * F F
F ( E )  num  id
Una gramática recursiva a izquierdas nunca
puede ser LL(1). En efecto, asume que
encontramos un token t, tal que predecimos la
producción A  A, después de la predicción,
al apilar la parte derecha de la producción, el
símbolo A estará en la cima de de la pila, y
por tanto, se predecirá la misma producción, y
tendríamos de nuevo A en la cima, ası hasta
que el infinito, produciéndose un
desbordamiento de la pila de análisis
sintáctico.
GRAMATICAS LL(1)
Las gramáticas LL(1) permiten construir
de forma automática un analizador
determinista descendente con tan solo
examinar en cada momento el sımbolo
actual de la cadena de entrada (sımbolo
de preanalizas) para saber que
producción aplicar.
D D E A Q U I N O B O L I V I A
22
 FACULTAD DE INGENIERIA
 L: método direccional, procesamos la
entrada de izquierda a derecha (from left
to rigth).
 L: obtenemos derivación mas a la
izquierda (left-most derivation).
 1: usamos un sımbolo de preanalisis para
decidir la producción a aplicar.
Teorema 1: Una gramática LL(1) no
puede ser recursiva a izquierdas y debe
estar factorizada.
Teorema 2: Una gramática LL(1) es no
ambigua.
Las afirmaciones inversas no tienen porque
ser ciertas.
Ejemplo de gramatica LL(1).
SaB
B b | a B b
Para la cadena aabb.
Construir el arbol . . .
¿Como garantizar que una gramatica es
LL(1): los conjuntos PRIMEROS y
SIGUIENTES?
Sea   (VN  VT)*, PRIMEROS() indica el
conjunto de terminales que pueden aparecer
al principio de cadenas derivadas de .
Si  1 ... n entonces {  } 
PRIMEROS(  ) con   VT
Si   entonces {  } 
PRIMEROS(  )
Sea A  VN entonces SIGUIENTES(A) indica
el conjunto de terminales que en cualquier
momento de la derivacion pueden aparecer
inmediatamente a la derecha (despues de) A.
Sea   VT , {  }  SIGUIENTES(A) si
existe ,   (VN  VT)*, tales que
S A
La condicion LL(1)
Para que una gramatica sea LL(1) se debe
cumplir que:
U N I V E R S I D A
1. Para las producciones de la forma A
 1 | 2 |......| n se debe cumplir que:
Esta regla permite decidir que alternativa
elegir conociendo solo un sımbolo de la
entrada.
2. Si A  VN, tal que {  }  PRIMEROS(A),
entonces:
Esta condicion garantiza que para aquellos
sımbolos que pueden derivar la cadena vacia,
el primer sımbolo que generan y el siguiente
que puede aparecer detras de ellos sean
distintos, sino no sabrıamos como decidir si
vamos a empezar a reconocer el no-terminal
o que ya lo hemos reconocido.
Comprobar que la gramatica anterior para
generar expresiones aritméticas es LL(1).
CUESTIONARIO WORK PAPER No. 5
1. Demuestra que la gramatica siguiente no
es LL(1).
Construye el pseudocodigo correspondiente
para un analizador descendente recursivo
como si lo fuera y comenta el problema que
se encuentra.
2. Demuestra que la gramatica siguiente es
LL(1).
Construye el pseudocodigo correspondiente
para un analizador descendente y analiza la
entrada (()).
3. Dada la siguiente gramatica:
Stmt  Assign_stmt | Call_stmt | other
Assign_stmt  id := Exp
Call_stmt  id ( Exp )
Escribe el pseudocodigo para analizar de
forma descendente recursiva esta gramatica.
Muestra la traza para una entrada concreta.
D D E A Q U I N O B O L I V I A
23
 FACULTAD DE INGENIERIA

4. Considera el siguiente fragmento de ¿Es LL(1)? Si no, transformala para que lo

gramatica que permite generar sea. Implementa un analizador descendente
identificadores como etiquetas: recursivo y dibuja la traza de llamadas
Stnt  Label Unlabeled_stmt recursivas a procedimientos para reconocer la
Label  id : cadena de entrada:
Label  
Unlabeled_stmt  id := Expresion etiqueta1 :
a:= 3 + 4;

PROGRAMA DE CONTROL DE CALIDAD

WORK PAPER # 6

UNIDAD O TEMA: ANÁLISIS SINTACTICO

TITULO: Análisis Sintáctico Ascendente

FECHA DE ENTREGA:

PERIODO DE EVALUACION: Segunda etapa

ANALISIS ASCENDENTE: EL AUTOMATA Nos restringimos al caso de métodos

DESPLAZA / REDUCE
Análisis ascendente: se construye el árbol de
análisis sintáctico de la cadena de entrada
desde las hojas hasta la raız. En las hojas
tenemos la cadena a analizar (los sımbolos
terminales) que se intentan reducir al axioma,
que se encontrara en la raız, si la cadena es
correcta sintacticamente.
Ejemplo: Supongamos la siguiente gramática
: derivación mas a la derecha y el árbol de
EE+E
EEE
E  id
E  num
Para la entrada id + id + id
deterministas (no hay vuelta atrás) analizando
un solo sımbolo de preanalisis sabemos
exactamente en todo momento que acción
realizar: bien desplazarnos en la entrada o
bien aplicar una reduccion. En el caso de una
reducción debemos saber de forma única que
producción aplicar.
Los métodos ascendentes se caracterizan
porque analizan la cadena de componentes
léxicos de izquierda a derecha, obtienen la
derivación se construye desde la raız hasta
las hojas.
TIPOS DE CONFLICTOS
 ¿Que acción realizar: desplazar o reducir?
 ¿Que producción elegir al reducir cuando
hay varias posibles?
Conflicto desplaza-reduce:
E  E + E | E  E | id | num

U N I V E R S I D A D D E A Q U I N O B O L I V I A
24
 FACULTAD DE INGENIERIA

Para la entrada 2  3  2
Desventajas: los métodos son difıciles de
Conflicto reduce-reduce: comprender, de implementar a mano y de
Supongamos una sencilla gramática que realizar una traza. Necesidad de usar
permite generar sentencias que son bien generados automáticos de analizadores
llamadas a procedimientos o asignaciones. sintácticos LR. Por ejemplo: Bison (para
S  id | V:=E Linux) y Yacc (yet another compiler compiler)
V  id para Unix.
E  id | num
Dentro del análisis sintáctico LR se distinguen
Para la entrada suma := 3, equivalente a los cuatro técnicas:
componentes léxicos: id := num, tenemos las  El método LR(0). Es el más fácil de
posibilidades implementar, pero el que tiene menos
poder de reconocimiento. No usa la
información del sımbolo de preanalisis
para decidir la acción a realizar.
 El método SLR(1) (del ingles Simple LR).
Usa ya un sımbolo de preanalisis.
 El método LR(1). Es el mas poderoso y
costoso. El tamaño del autómata a pila
para el reconocimiento se incrementa
considerablemente.
 El método LALR(1) (del ingles Look-
Ahead LR, con sımbolo de anticipación).
Es una versión simplificada del LR(1), que
combina el coste en tamaño (eficiencia)
GRAMATICAS LR de los métodos SLR con la potencia del
Los métodos de análisis sintáctico LR LR(1).
permiten reconocer la mayorıa de las Jerarquıa de las gramáticas:
construcciones de los lenguajes de
programación. Son métodos muy potentes,
con mayor poder de reconocimiento que los
métodos LL (Las gramáticas LL son un
subconjunto de las gramáticas LR).

Las gramáticas LR(k) se caracterizan porque:

 L: Procesamos la cadena de entrada de
izquierda a derecha (from leftto- right)
 R: proporcionan la derivación mas a la
derecha de la cadena de entrada en orden
inverso (rigth-most derivation)
 k: se examinan k-sımbolos de la entrada La diferencia que hace a los métodos LR más
por anticipado para tomar la decisión poderosos que los LL es que los primeros
sobre la acción a realizar. disponen de la información de la entrada y los
estados por lo que ha ido pasando el
Ventajas: es un método potente que permite analizador (la cadena que ha ido
reconocer la mayorıa de las construcciones reconociendo hasta ahora), mientras que los
de los lenguajes de programación con k=0,1. métodos LL solo disponen de la información
Es un método sin retroceso y por tanto de la entrada.
determinista.

U N I V E R S I D A D D E A Q U I N O B O L I V I A
25
 FACULTAD DE INGENIERIA
 para que una gramática sea LR(k)
tenemos que ser capaces de reconocer la
presencia del lado derecho de una
producción habiendo visto todo lo que
deriva del lado derecho y usando k-
sımbolos por anticipado.
 para que una gramática sea LL(k)
tenemos que ser capaces de reconocer el
uso de una producción viendo solo los k-
sımbolos que derivan su lado derecho.
Modo de operación del análisis
ascendente:
 La entrada formada por la serie de
componentes léxicos a reconocer.
 Un programa conductor que lee tokens
de la cadena de entrada de uno en uno y
utiliza una pila para almacenar los
sımbolos que va reconociendo y los
estados por los que pasa el analizador.
 Una pila. El contenido de la pila es de la
forma s0 X1S1X2S2 ... SmXm donde cada Xi
son sımbolos de la gramática que se van
reconociendo, Xi  (VT  VNT), y los Si son
los estados por los que pasa el analizador.
Los sımbolos terminales se introducen en
la pila mediante desplazamientos de la
cadena de entrada a la pila, los no-
terminales se apilan como resultado de
hacer una reducción.
 La tabla de análisis sintáctico formada
por dos partes. La primera parte es de la
forma acción (sm, ai) indica que acción se
debe de realizar si observamos en la
entrada el token ai y el analizador esta en
el estado sm. Las acciones posibles son:
desplazar, reducir, error, aceptar. La
segunda parte es de la forma ir_a (sm,
VNT) indica el estado al que tenemos que
ir despues de hacer una reducción.
 Salida: la derivación mas a la derecha de
la cadena de entrada en orden inverso (de
abajo hacia arriba).
Definición de mango (handle):
Mango o asidero: conjunto de sımbolos
terminales y no-terminales en la cima de la
pila que forman la parte derecha de una
producción y que se pueden reducir
sacándolos de la pila y sustituyéndolos por el
U N I V E R S I D A D D E
26
no-terminal de la parte izquierda de la
producción.
Este mecanismo nos lo proporciona el
autómata Finito Determinista de elementos
LR(0).
Definición de Elemento LR(0) y
Construcción del autómata Finito de
elementos LR(0)
Un elemento de análisis sintáctico LR(0) de
una gramática G, es una producción de G con
un punto en alguna posición del lado derecho.
[ A 12 ]
siendo A 12 una producción. Este punto
separa la parte que se ha analizado hasta ese
momento, y por tanto esta en la cima de la
pila, de la parte que se espera aun analizar,
que es el resto de la cadena de entrada. Por
ejemplo para la producción AXYZ tenemos
los posibles siguientes items LR(0):
A  XYZ se espera en la entrada una
cadena derivable de XYZ
A  XYZ se ha reconocido una
cadena derivable de X y se espera en
la entrada una cadena derivable de
YZ
A  XYZ -
A  XYZ Item completo. Indica que
ya se ha reconocido por completo una
cadena derivable de A. Hemos
encontrado el mango.
autómata finito de elementos LR(0)
Los estados son los propios items LR(0).
Las transiciones son de la forma:
Si X  VT tenemos una transición
[ A  X] [ A  X]
Si X  VT tenemos una transición
[ A  X] [ A  X]
y además
[ A  X] [ X   ]  X 
En el primer caso, cuando X  VT significa
que hemos reconocido X en la entrada y
estamos haciendo un desplazamiento del
A Q U I N O B O L I V I A
 FACULTAD DE INGENIERIA
terminal X desde la entrada a la cima de la
pila. En el segundo la interpretación es más
complicada. Significa que hemos reconocido
un no-terminal como consecuencia de haber
hecho una reducción, por tanto tenemos que
haber reconocido ese no terminal
previamente, por tanto tenemos que añadir
transiciones a estados que indiquen que
vamos a reconocer ese no-terminal. además,
como no consumimos ningún token de la
entrada son  - transiciones.
ANALISIS LR(0)
El análisis LR(0) es el más sencillo de los
métodos ascendentes. No usa información de
la entrada, el sımbolo de preanalisis, para
decidir la acción a realizar.
Se dice que una gramática es LR(0) si la
aplicación de las reglas anteriores no son
ambiguas, es decir, que si un estado contiene
un item de la forma A  , entonces no
puede contener cualquier otro item.
Si se produjera eso aparecerıan conflictos. En
efecto:
 Si tuviera además un item de la forma A
 X con X terminal tendrıamos un
conflicto desplaza-reduce.
 Si tuviera además un item de la forma B
  , se producirıa un conflicto reduce-
reduce.
Por tanto, una gramática es LR(0) sii cada
estado es bien un estado de desplazamiento
(contiene solo items que indican desplazar) o
bien un estado de reducción (contiene un
único item completo).
ANALISIS SLR(1)
Este tipo de análisis usa el AFD construido a
partir de elementos LR(0) y usa el token de la
cadena de entrada para determinar el tipo de
acción a realizar. Este método consulta el
token de la entrada antes de realizar un
desplazamiento para tener seguro que existe
una transición correspondiente en el estado
en el que se encuentra el analizador (sino
serıa un error) y en el caso de que se tenga
que hacer una reducción se comprueba que
el token actual pertenece al conjunto de SIG
U N I V E R S I D A D D E
27
del no-terminal al que se quiere reducir (sino
seria un error).
Se dice que una gramática es SLR(1) si la
aplicación de las reglas anteriores no son
ambiguas. Es decir, una gramática es SLR(1)
sii se cumple para cada estado una de las
siguientes condiciones:
 Para cada item de la forma A  X en
S con X terminal, no existe un item
completo B    en S, con X 
SIG(B). Si no tendrıamos un conflicto
desplaza-reduce.
 Para cada par de items completos A  
y B   en S, entonces
SIG(A)SIG(B)=. De lo contrario se
produciría un conflicto reduce-reduce.
El aspecto de la tabla de análisis sintáctico
cambia respecto al análisis LR(0), puesto que
un estado puede admitir desplazamientos o
reducciones dependiendo del token en la
entrada. Por tanto, cada entrada debe tener
una etiqueta de desplazamiento o reducción.
ANALISIS LR(1)
Para solucionar este problema se introduce el
método más general que existe, el llamado
análisis sintáctico LR(1). Este es el método
más poderoso que existe, a costa de que se
incrementa la complejidad (un factor de 10
respecto a los métodos que usan el AFD de
items LR(0)).
Las limitaciones del método LR(0) y SLR(1)
radican en que tienen en cuenta el sımbolo de
preanalisis después de la construcción del
AFD de items LR(0), que por sı misma ignora
los sımbolos siguientes en la entrada.
Definición de Elemento LR(1) y
Construcción del autómata finito de
elementos LR(1)
Un elemento de análisis sintáctico LR(1) de
una gramática G, es un par consistente de un
item LR(0) y un sımbolo de preanalisis.
[A  , a]
siendo A   un item LR(0) y a el token de
preanalisis.
A Q U I N O B O L I V I A
 FACULTAD DE INGENIERIA

Un item completo [A  , a], indica que ya 1. La siguiente gramática corresponde a

se ha reconocido por completo una cadena algunas de las listas validas en PROLOG.
derivable de A y reduciré siempre que en la Se pide:
entrada tenga el token a.
(a) Construir la tabla de análisis SLR(1).
autómata finito de elementos LR(1) (b) Eliminar los posibles conflictos que
Los estados son los propios items LR(1). aparecen, considerando que el
Las transiciones son de la forma: operador, es asociativo por la derecha.
Lista  [ ] | [ Termino ]
Si X  VT tenemos una transición Termino  Termino , Termino |
[ A  X, a] [ A  X, a] Lista | id

Si X  VT tenemos una transición 2. Dada la siguiente gramática que genera

bloques de código que pueden contener
[ A  X, a] [ A  X, a] declaraciones y sentencias. Se pide:
(a) Construir la colección de
y además  -transiciones elementos LR(1).
(b) Construir la tabla de análisis
[ A  X, a] [ X  , b]  X   y sintáctico LALR(1).
 b  PRIM (a) (c) Obtener la traza del análisis
LALR(1) para la cadena de
El estado inicial del AFD se obtiene entrada: begin d; d; s; s end
ampliando la gramática, como para el caso de
items LR(0), y poniendo como sımbolo de 3. Dada la siguiente gramática
preanalisis #. S  if E S | if E S else S | id
[S’  S, #] E  E and E | E or E | id | ( E )
que significa que reconoceremos una cadena (a) Construir la tabla de análisis
derivable de seguida del sımbolo #. sintáctico SLR(1).
Análisis LALR(1) (b) En el caso de que haya conflictos
Una modificación del método LR(1), llamada elegir la acción adecuada para que
método LALR(1) mantiene el poder del LR(k) el operador disyunción or tenga
y preserva la eficiencia del SLR(1). El análisis menor prioridad que el operador
LALR(1) se basa en la observación de que en conjunción and, y que ambos
muchos casos el tamaño grande del AFD de tengan asociatividad por la
items LR(1) se debe a la existencia de derecha; y que toda parte del else
muchos estados diferentes que tienen igual la de una sentencia condicional debe
primera componente, los items LR(0), y estar asociada al if mas proximo.
difieren solo de la segunda componente, los
sımbolos de preanalisis. 4. Demostrar que la siguiente gramática no
Lo que haremos es identificarlos como un es LR(1). ¿ Es LR(k) para algún k?
único estado combinando los sımbolos de S _ X Y a
preanalisis. Si el proceso esta bien hecho, X _a _ Y a b
llegaremos a un autómata como el de items Y c 
LR(0), excepto que cada estado tiene
sımbolos de preanalisis. 5. Construir la tabla de precedencias de
operadores para la siguiente gramática de
El algoritmo de análisis LALR(1) es idéntico al operadores de forma que la parte del else
LR(1). este asociada al if más cercano.
CUESTIONARIO WORK PAPER No. 6
S if C then S  if C then S else S  id

U N I V E R S I D A D D E A Q U I N O B O L I V I A
28
 FACULTAD DE INGENIERIA
C01
PROGRAMA DE CONTROL DE CALIDAD
WORK PAPER # 6
UNIDAD O TEMA: ANÁLISIS SEMANTICO
TITULO: Análisis Semántico
FECHA DE ENTREGA:
PERIODO DE EVALUACION: Etapa Final
LA FASE DE ANÁLISIS SEMÁNTICO
En este tema se aborda el problema del
cálculo de información que no puede ser
descrita por las gramáticas independientes
del contexto (GIC), y que por tanto, no se
considera como parte del análisis sintáctico.
La información que se calcula en esta fase
está relacionada con el significado (La
semántica) del programa y no con su
estructura (la sintaxis).
Se asocia información a las construcciones
del lenguaje de programación proporcionando
atributos a los símbolos de la gramática (por
U N I V E R S I D A D D E
29
Indica el contenido de la pila, la
entrada y la acción a realizar para la
entrada if 0 then id else id.
ejemplo: el valor de una expresión, el tipo de
una variable, su ámbito, un trozo de código, el
número de argumentos de una función, etc.).
Los valores de los atributos se calculan
mediante reglas semánticas asociadas a las
producciones gramaticales.
El análisis semántico incluye:
 La construcción de la Tabla de Símbolos
para llevar un seguimiento del significado
de los identificadores en el programa
(variables, funciones, tipos, parámetros y
método de paso de parámetros en
funciones, etc.).
A Q U I N O B O L I V I A
 FACULTAD DE INGENIERIA
 Realizar la comprobación e inferencia de
tipos en expresiones y sentencias (por
ejemplo, que ambos lados de una
asignación tengan tipos adecuados, que
no se declaren variables con el mismo
nombre, que los parámetros de llamada a
una función tengan tipos adecuados,
número de parámetros correcto, )
A partir de la construcción del árbol de
análisis sintáctico, lo recorreremos
en un determinado orden y calcularemos en
cada nodo la información semántica
necesaria (el valor de una expresión, el tipo
Cadenas de Árbol análisis
entrada sintáctico
ATRIBUTOS Y GRAMÁTICAS
ATRIBUTOS
Un atributo es cualquier propiedad de una
construcción de un lenguaje de programación.
Varían en función del tipo de información que
contienen, su complejidad de cálculo y el
momento en el que son calculados (en tiempo
de compilación (atributos estáticos) o de
ejecución (dinámicos)).
Ejemplos típicos son:
 El nombre de una variable
 El tipo de una variable
 El ámbito de una variable
 El valor de una expresión
 El número de argumentos de una función
 La posición en memoria de una variable
 Un fragmento de código
Se llama enlace (binding) al proceso de
calcular el valor del atributo y asociarlo a su
correspondiente construcción lingüística.
Puede ser enlace dinámico o estático según
el momento en que se calcule.
Una gramática de atributos es una
generalización de una gramática
U N I V E R S I D A
de una variable, su ámbito de declaración, el
número de argumentos de una función, etc.).
Conceptualmente, se analiza sintácticamente
la cadena de componentes
léxicos de entrada, se construye el árbol de
análisis sintáctico y después se recorre el
árbol, en un determinado orden para tener en
cuenta las dependencias, para evaluar las
reglas semánticas en sus nodos.
Grafo de Orden de
dependencias evaluación de
reglas semánticas
DE independiente del contexto en la que cada
símbolo gramatical (Terminal o no-terminal)
tiene asociado un conjunto de atributos.
Si X es un símbolo de la gramática, y a es un
atributo asociado a X, entonces escribiremos
X.a para denotar el atributo a asociado a X.
Dada una producción de la forma X0 X1
X2 … Xn, el valor de los atributos Xi.aj para
cada símbolo de la gramática se relacionan
entre si mediante lo que llamaremos
ecuaciones de atributos. Estas ecuaciones
tienen la forma:
Xi.aj = fij (X0.a1,…, X0.ak ,X1.a1,…,X1.ak,
…,Xn.a1,…, Xn.ak )
En la práctica estas funciones matemáticas fij
suelen ser bastante sencillas y los atributos
suelen ser independientes unos de otros (o
como mucho dependientes entre varios).
Las gramáticas de atributos se suelen escribir
en forma tabular, con una parte donde
aparecen las producciones y otra donde
aparecen las reglas semánticas (o ecuaciones
de atributos) que permiten calcular los
atributos.
D D E A Q U I N O B O L I V I A
30
 FACULTAD DE INGENIERIA

Producción Reglas hacia el del lado izquierdo. Por ejemplo, para

Semánticas la entrada (4-3)*2, el árbol seria:

Producción 1 Ecuaciones de atributos

para producción 1
... ...
Producción n Ecuaciones de atributos
para producción n

Ejemplo 1. Consideremos la gramática para

la generación de expresiones aritméticas
simples: ¿Qué atributos nos interesan en esta
gramática?

E E +T\E - T\T
E T *F\F
F (E) \ num

El valor numérico de la expresión. Lo

denotaremos por val.
Las reglas semánticas para el cálculo de este
atributo serían:

Tipos de atributos

Los atributos se clasifican en función de cómo

se calculen en: atributos sintetizados y
atributos heredados.

Atributos sintetizados: Un atributo es

sintetizado si su valor depende de los valores
de los atributos de sus hijos. Se podrán
calcular a la vez que se realiza el análisis
sintáctico ascendente LR, desde las hojas a la
raíz.

Un atributo _ es sintetizado si, dada una

Nota: Si un símbolo aparece más de una vez
en una producción, entonces cada aparición
debe ser distinguida de las otras apariciones,
para que los diferentes valores de las
ocurrencias sean distinguidos.
Los atributos se colocan al lado de los nodos
del árbol de análisis sintáctico y se dibujan las
dependencias entre ellos.
Una flecha que va desde los atributos que
aparecen en la parte derecha de la ecuación
producción
la única ecuación de atributos que tenemos
es de la forma:
A.a = f (X1.a1,…, X1.ak ,…, X1.a1,…,Xn.ak)
Por ejemplo: el valor de una expresión en la
gramática del ejemplo anterior era un atributo
sintetizado.
Una gramática en la que todos los atributos
son sintetizados se le llama gramática de
atributos-S.

U N I V E R S I D A D D E A Q U I N O B O L I V I A
31
 FACULTAD DE INGENIERIA

Atributos heredados: Un atributo es CUESTIONARIO WORK PAPER N O . 5

heredado si su valor depende de los valores
de los atributos de su padre y/o de sus 1. De una posible construccion sintactica
hermanos. para las siguientes expresiones de
tipo:
Por ejemplo: el tipo de una variable en la  intXpointer(int)  char
gramática anterior era un atributo heredado.  array(10; float)
 int
Las dependencias entre los atributos se
representan en un grafo. A partir de este se 2. Dado el siguiente subconjunto de
obtiene un orden de evaluación de las reglas producciones de nuestra gramatica:
semánticas. <expresion> --><expresion simple> {=
<expresion>| <relacion> <expresion>}
Árbol anotado o decorado: Defina el ETDS que implemente el
Es el árbol de análisis sintáctico al que se le chequeo de tipos segun el sistema de
han añadido los atributos. tipos dado como semantica.

MÉTODOS PARA LA EVALUACIÓN DE 3. Dada la siguiente gramatica:

LOS ATRIBUTOS P--> D ; A
D--> id : B , D | id : B
Se han propuesto varios métodos para la B--> real | integer
evaluación de las reglas semánticas: A--> id = E ; A | id = E
E--> E + T | T
 Métodos basados en grafos de T--> T * F | F
dependencias: en el momento de la F--> id | num | num.num
compilación estos métodos obtienen un
orden de evaluación a partir del grafo de 4. Construir un esquema de traduccion
dependencias sobre el árbol de análisis dirigido por la sintaxis que implemente un
sintáctico para la entrada dada (el chequeador de tipos teniendo en cuenta lo
programa fuente). Poco eficientes (en siguiente:
espacio y tiempo) porque necesitan
construir todo el árbol de análisis  + y * estan sobrecargados;
sintáctico y sobre el, el grafo de  No se permite coercion de
dependencias para cada entrada. tipos;
Posibilidad de ciclos.  Considere, de acuerdo a su
criterio, las acciones a llevar a
 Métodos basados en reglas: en el cabo respecto a los
momento de la construcción del identificadores no declarados y
compilador, para cada producción queda duplicados;
predeterminado por el diseñador del 5. En el caso de intercambiar en la
compilador el orden de evaluación de los gramatica del ejercicio anterior las
atributos de esa construcción lingüística, y producciones:
así la forma de recorrer el árbol para
calcular ese atributo (prefija, infija, B --> real | integer por B --> <nro1> ..
postfija). No siempre será necesario <nro2>
construir el árbol de análisis sintáctico
para después recorrerlo, los atributos donde <nroi> es un entero no negativo
sintetizados se pueden calcular a la vez y nro1 < nro2 y para asignar un valor a
que se realiza el análisis sintáctico. una

U N I V E R S I D A D D E A Q U I N O B O L I V I A
32
 FACULTAD DE INGENIERIA

variable, este debe estar incluido en el

rango con que fue declarada la
variable. Es posible que el chequeador
de tipos controle que el valor de una
variable este en el rango en la cual fue
declarada?

6. Dada la siguiente expresion generada

por la gramatica de nuestro lenguaje:
a = 2 _ b + (c = 2)

Analize como sera el chequeador

de tipos para el sistema de tipos
dado por la semantica. Implemente
un ETDS e incorporelo al parser
descendente recursivo.

U N I V E R S I D A D D E A Q U I N O B O L I V I A
33
 PROGRAMA DE CONTROL DE CALIDAD

DIF´s # 1

UNIDAD OTEMA: GENERACIÓN DE CODIGO

TITULO: Ambientes para el momento de la ejecución.
FECHA DE ENTREGA:

Al momento de desarrollar un compilador, debemos tomar en cuenta el ambiente para el momento de

la ejecución de un código fuente, así también la administración de la memoria.
Para esto tome como puntos de análisis los siguientes puntos:

 Estrategias que deben tomarse en cuenta para la asignación de memoria.

 Tablas de dispersión (tablas hash)
 Asignación explicita de bloques de tamaño fijo
 Asigna la memoria en C++
 Asigna la memoria en Java

Además de la bibliografía de la materia, puede utilizar la siguiente:

http://148.204.45.33:8080/cursos/compiladores%20Ago-Dic2003/compilers.htm

CONCLUSIONES (deberán sintetizar la opinión del grupo):

COMENTARIOS (deberán sintetizar la opinión del grupo):

GRUPO (máximo cinco integrantes):
AP. PATERNO AP. MATERNO NOMBRES FIRMA

PROGRAMA DE CONTROL DE CALIDAD

DIF´s # 2

UNIDAD OTEMA: GENERACIÓN DE CODIGO

TITULO: Optimización de código
FECHA DE ENTREGA:

En la mayoría de los casos no hace falta optimizar el código, pero la optimización de código es
necesaria en programas de calculo intensivo que efectúan millones de operaciones en amplios
intervalos de tiempo, también es necesario desarrollar programas que puedan dar respuestas de
forma extremadamente rápida antes unos determinados datos de entrada, para ello debemos conocer
las técnicas que existen para llevar a cabo la optimización del código fuente sin intervención del
usuario programador.
Para este tema analicé los siguientes puntos:

 Optimizaciones que no modifican la estructura.

 Escribir código claro y simple.
 Bloque Básico
 Optimización dentro de bucles

Además de la bibliografía de la materia, puede utilizar la siguiente:

http://www.ual.es/~jjfdez/IC/Practicas/optim.html
www.di.uniovi.es/~rrobles/ceesi/apuntes/Optima.pdf
www.cvc.uab.es/shared/teach/a25002/TEMA3.PPT

CONCLUSIONES (deberán sintetizar la opinión del grupo):

COMENTARIOS (deberán sintetizar la opinión del grupo):

GRUPO (máximo cinco integrantes):

AP. PATERNO AP. MATERNO NOMBRES FIRMA