Una definición dirigida por la sintaxis es una generalización de una gramática independiente de contexto en la que cada símbolo gramatical tiene asociado un conjunto de atributos. Especifica la traducción de una construcción en función de los atributos asociados con sus componentes sintácticos
•Utilizan una gramática independiente de contexto para especificar la estructura sintáctica de la entrada
•A cada símbolo de la gramática se le asocia un conjunto de atributos
•A cada regla de la gramática se le asocia un conjunto de reglas semánticas para calcular los valores de los atributos asociados con los símbolos de esa regla
•La gramática y el conjunto de reglas semánticas constituyen la definición dirigida por la sintaxis
Un esquema de traducción es una gramática independiente de contexto en la que se asocian atributos con los símbolos gramaticales y se insertan acciones semánticas encerradas entre llaves dentro de los lados derechos de las reglas de producción
Forma de Definiciones Dirigidas por Sintaxis
· Para cada producción A => α
- Reglas semánticas b = f (c1, c2,…,ck)
- b es atributo sintetizado de A
* c1, c2,…,ck son atributos de símbolos en la producción
- b es atributo heredado
* de algún símbolo del lado derecho (α)
* c1,c2,…,ck son atributos de símbolos en la producción
WEBGRAFÍA
http://www.infor.uva.es/~mluisa/talf/docs/aula/AnalisisSemantico.ppt
Entradas
