@ Una definición dirigida por la sintaxis es una generación de una gramática independiente del contexto en la que cada símbolo gramatical tiene un conjunto de atributos asociados, divididos en los subconjuntos llamados atributos sintetizados y atributos herederos de dicho símbolo gramatical.
@ Un atributo puede representar cualquier cosa: una cadena, un numero, un tipo, una posición en memoria, etc. El valor de un atributo en nodo de un árbol de análisis sintáctico es definido a partir de una regla semántica asociada a la producción que esta utilizando dicho nodo. El valor de un atributo sintetizado en un nodo se calcula a partir de los valores de los atributos de los hijos de dicho nodo en el árbol d análisis sintáctico; el valor de un atributo heredado se calcula a partir de los valores de los atributos en los hermanos y el padre de dicho nodo.
@ Las reglas semánticas establecen las dependencias entre los atributos que serán representados mediante un grafo. Del grafo de dependencias se obtiene un orden de evaluación de las reglas semánticas y la evaluación de a las reglas semánticas definen los valores de los atributos en los nodos del árbol de análisis sintáctico para una cadena de entrada. Una regla semántica también puede tener efectos colaterales por ejemplo imprimir un valor o actualizar una variable global.
@ Las funciones de las reglas semánticas se escriben como expresiones; el único propósito de una regla semántica en una definición dirigida por la sintaxis es crear un efecto colateral. Dichas reglas se escriben como llamadas a procedimientos o
fragmentos de programa.
@ Se puede considerar como reglas que definen los valores de atributos sintetizados ficticios, del no terminal del lado izquierdo de la producción asociada, pues no muestra el atributo ficticio y el signo ( : = ) de las reglas semánticas.
NOTA : el operador || representa en las reglas semánticas la concatenación de las cadenas.
EJEMPLO
DEFINICIONES CON ATRIBUTOS SINTETIZADOS
Son una clase de definiciones dirigidas por sintaxis en la cual solo existen atributos sintetizados
Definiciones con Atributos por la Izquierda
Si la traducción ocurre durante el análisis sintáctico, el orden de evaluación de los
atributos se corresponde con el orden en el que se “crean” los nodos de un árbol
de análisis sintáctico
Un orden natural para los métodos de traducción descendente y ascendente es el
“orden de evaluación en profundidad”
