Click here to load reader
Upload
anayeli-peralta-hernandez
View
1.413
Download
0
Embed Size (px)
Citation preview
Traducción dirigida por la sintaxis
Laboratorio de Compiladores 1, Universidad de San Carlos de
Guatemala
Definición dirigida por la sintaxis
En una definición dirigida por la sintáxis una gramática se aumenta con nuevas características:
A cada símbolo non terminal de la gramática se le asocian cero o mas atributos.
Un atributo queda caracterizado por un identificador o nombre y un tipo o clase.
A este nivel son atributos formales, en el sentido de que su realización se produce cuando el nodo del árbol es creado.
Definición dirigida por la sintaxis
• A cada regla de producción A -> X1 X2 .. Xn se le asocian un conjunto de reglas de evaluación de los atributos o reglas semánticas que indican que el atributo en la parte izquierda de la regla semántica depende de los atributos que aparecen en la parte derecha de la regla.
• El atributo que aparece en la parte izquierda de la regla semántica puede estar asociado con un símbolo en la parte derecha de la regla de producción
Principio de Traducción dirigida por la sintaxis
Se realizan en paralelo
• Análisis semántico
• Traducción
S -> L puntocomaL -> L coma id| TIPO id TIPO -> integer| string| char| float| double
L
Tipo id
L
idcoma
L
idcoma
S
puntocoma
Lo.tipo= tipo.valLo.Val =id
L.tipo= L.tipoL.Val =concat(id)
L.tipo= L.tipoL.Val =concat(id)
Cadena:Integer id1, id2, id3, id4;
Gramáticas con Atributos• Gramática con atributos
– Cada símbolo de la gramática tiene atributos.
– Cada regla de producción tiene reglas semánticasS -> L puntocoma{Write(“Las variables declaradas son”, Lo.val, “del tipo”,Lo.tipo);}L -> L coma id{ Lo.tipo= L.tipo; Lo.val=concat(L.val,“,”,val(id));Write( Lo.tipo,” variable ”, val(id));}| TIPO id {Lo.tipo= TIPO.val; Lo.val=Val(id);Write( Lo.tipo,” variable ”,id);}TIPO -> integer { TIPO.val=“Integer”;}| string {TIPO.val=“String”; }| char {TIPO.val=“char”; }| float {TIPO.val=“float”; }| double {TIPO.val=“double”; }
Atributos
• Propiedades de los símbolos del lenguaje quealmacenan contenidos relacionados con elsignificado de los símbolos a los quepertenecen.
• Se utiliza la notación símbolo.atributo
• id.lexema
– Var.valor
– Var.direccion
– Exp.codigo
Tipos de Atributos
Atributos sintetizados
Se calculan a partir de atributos de nodos hijos.
– Se refieren a atributos del antecedente de la regla.
– La información asciende por el árbol.
Los atributos sintetizados lo son durante toda la gramática.
Los atributos de terminales son sintetizados
S -> L { write(“Cadena encontrada”, L.val);}L -> L , id {: Lo=concat(L.val,”,”, val(id); :}| id {: Lo.val=val(id); :}
Tipos Atributos
Atributos Heredados:
Calculados con atributos en nodos padre y hermanos.
Información descendente o de tránsito horizontal
Se utilizan para transferir información entre reglas
Hoja trabajo (Parejas)
1) Que es ambigüedad, recursividad y Que se debe hacer para quitar la ambigüedad y
recursividad?2) Utilizando atributos como cambiar el primero por el
ultimo?
Entrada:Uno, dos, tres, cuatro, cinco
Salida:Cinco, dos , tres, cuatro, uno
S -> L{Write(Lo.ultimo,Lo.cadena,L.primero);}
L -> L coma id {Lo.primero=L.primero;Lo.cadena=concat(L.cadena,L.ultimo, “,”);Lo.ultimo= val(id);}| id { Lo.primero=val(id);Lo.ultimo=””;Lo.cadena=””;};
Entrada:Uno, dos, tres, cuatro, cinco
Salida:Cinco, dos , tres, cuatro, uno