Traduccin Dirigida por la Sintaxis Captulo 5 Seccin

Traducción Dirigida por la Sintaxis Capítulo 5 Sección 5. 1

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

Proceso Cadena de entrada Arbol de análisis sintáctico Grafo de dependencias Orden de evaluación de las reglas semánticas

Definiciones dirigidas por la sintaxis - DDp. S n n n Ocultan detalles de la implementación Generalizan la gramática Símbolos tienen atributos n n 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

Forma de DDp. S n Para cada producción A => α n n Reglas semánticas b = f(c 1, c 2, . . . , ck) b es atributo sintetizado de A n n c 1, c 2, . . . , ck son atributos de simbolos en la producción b es atributo heredado n n de algún símbolo del lado derecho (α) c 1, c 2, . . . , ck son atributos de simbolos en la producción

Ejemplo calculadora Producciones L => E n E => E 1 + T E => T T => T 1 * F T => F F => (E) F => dígito n Reglas semánticas Print(E. val) E. val = E 1. val + T. val E. val = T 1. val * F. val T. val = F. val = E. val F. val = dígito. valex n

Ejemplo declaración de tipos Producciones D => T L T => int T => real L => L 1 , id n L => id Reglas semánticas L. her = T. tipo = entero T. tipo = real L 1. her = L. her Agregar. Tipo(id. entrada, L. her) n