Traducci

1
Traducción Dirigida por la Sintaxis

• Capítulo 5 Sección 5.1

2
Traducción dirigida por la sintaxis

• Asocia información a la construcción del lenguaje
• Atributos en los símbolos de la gramática
• Definiciones dirigidas por la sintaxis
• Esquemas de traducción

3
Proceso
Orden de evaluación de las reglas semánticas
Arbol de análisis sintáctico
Grafo de dependencias
Cadena de entrada
4
Definiciones dirigidas por la sintaxis - DDpS

• Ocultan detalles de la implementación
• Generalizan la gramática
• Símbolos tienen atributos
• Atributos representan cualquier cosa
• Valor de atributo por regla semántica
• Atributo sintetizado a partir de los hijos
• Atributo heredado a partir de padre y hermanos

5
Forma de DDpS

• Para cada producción A gt a
• Reglas semánticas b f(c1,c2,...,ck)
• b es atributo sintetizado de A
• c1,c2,...,ck son atributos de simbolos en la
  producción
• b es atributo heredado
• de algún símbolo del lado derecho (a)
• c1,c2,...,ck son atributos de simbolos en la
  producción

6
Ejemplo calculadora

• Producciones
• L gt E n
• E gt E1 T
• E gt T
• T gt T1 F
• T gt F
• F gt (E)
• F gt dígito

• Reglas semánticas
• Print(E.val)
• E.val E1.val T.val
• E.val T.val
• T.val T1.val F.val
• T.val F.val
• F.val E.val
• F.val dígito.valex

7
Ejemplo declaración de tipos

• Producciones
• D gt T L
• T gt int
• T gt real
• L gt L1 , id
• L gt id

• Reglas semánticas
• L.her T.tipo
• T.tipo entero
• T.tipo real
• L1.her L.her
• AgregarTipo(id.entrada,L.her)
• AgregarTipo(id.entrada,L.her)