Instituto tecnolgico de Matamoros

Ing. En Sistemas Computacionales

Lenguajes autmatas II

1.5 Esquemas de traduccin

Maestra: Ma. Guadalupe Hernndez Compean

Integrantes:
Irene Calzada Terrazas
Isidro Vidal Ibarra
Gramtica de atributos
Cada smbolo de la gramtica tiene atributos.
Cada regla de produccin tiene reglas semnticas.
Atributos
Propiedades de los smbolos del lenguaje que almacenan
contenidos relacionados con el significado de los smbolos a los que
pertenecen.
Se utiliza la notacin: smbolo.atributo
id.lexema
Var.valor
Var.direccin
Exp.cdigo

Se utilizan subndices para diferenciar smbolos.

Reglas semnticas
Reglas o acciones semnticas:
Define slo el valor de los atributos de los smbolos que aparecen en la
produccin.

Notacin:
:= operador de asignacin.
|| operador de concatenacin de cadenas.
Tipos de atributos
Sintetizados
Se calculan a partir de atributos de nodos hijos.
Se refieren a atributos del antecedente de la regla.
La informacin asciende por el rbol.

Los atributos sintetizados lo son durante toda la gramtica.

Los atributos de terminales son sintetizados.
 Atributos heredados
Calculados con atributos en nodos padre y hermanos.
Se refiere a atributos del consecuente de la regla.
Informacin descendente o de trnsito horizontal.

Los atributos heredados lo son durante toda la gramtica

Se utilizan para transferir informacin entre reglas.
 Esquemas de traduccin
Traductores de una sola pasada.
Es una gramtica independiente del contexto en la cual se han
insertado fragmentos de cdigo en las partes derechas de sus reglas de
produccin.
Acciones semnticas entre los smbolos de la derecha.
Se encierran entre llaves {accin semntica}.
Son fragmentos de cdigo en un lenguaje de programacin.
Se explicita el orden de ejecucin de las acciones.
Restricciones de diseo
Si existen atributos sintetizados, colocar la accin semntica
despus de todos los smbolos implicados o al final de la
produccin.

Si existen atributos heredados deben calcularse antes de que

aparezca el smbolo en la parte derecha.
 Un atributo sintetizado no debe usarse antes de que aparezca el
smbolo en la parte derecha.

Si existen acciones con efectos laterales deben situarse en el punto

exacto de la parte derecha de la regla en la que deberan
evaluarse. Hay que verificar que no utilizan atributos de smbolos
situados a la derecha de dicho punto.
Pasos de diseo
Decidir qu atributos son necesarios.
Aadir a la gramtica las acciones semnticas necesarias.
Estudiar de qu tipo es cada atributo :
Sintetizado
Heredado

Comprobar que se cumplen las restricciones de diseo.

Modificar la gramtica .
Reubicar las acciones semnticas.
Bibliografa

AHO, SETHI, ULLMAN: Compiladores: Principios, tcnicas y

herramientas,: Addison-Wesley Iberoamericana, 1990.

A. Garrido, J. Iesta, F. Moreno y J. Prez. 2002. Diseo de

compiladores. Universidad de Alicante.
Cuestionario
1. Cul es la notacin para un atributo?
smbolo.atributo

2. Cmo se calculan los atributos sintetizados?

Se calculan a partir de atributos de nodos hijos

3. Qu se har con la accin semntica si existen atributos heredados?

Colocar la accin semntica despus de todos los smbolos implicados o al final de la produccin.
4.Cmo se calculan los atributos sintetizados?
A partir de atributos de nodos hijos.

5. Qu es un esquema de traduccin?
Es una gramtica independiente del contexto en la cual se han
insertado fragmentos de cdigo en las partes derechas de sus
reglas de produccin.