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.
Una traducción es una transformación de una entrada en una salida. La salida para cada entrada W se especifica como sigue:
Se construye un árbol sintáctico para W.
Suponiendo que un nodo n del árbol está etiquetado con el símbolo X de la gramática se escribe X.a para indicar el valor del atributo a de X en ese nodo.
El valor de X.a en n se calcula por la regla semántica para el atributo a asociado a la regla X utilizada en el nodo n.
El árbol de análisis sintáctico que muestra los valores de los atributos en cada nodo se denomina árbol de análisis sintáctico con anotaciones.
ATRIBUTOS
El conjunto de atributos asociado a cada símbolo gramatical se divide en dos subconjuntos.
Atributos sintetizados. Se pueden calcular durante un solo recorrido ascendente del árbol de análisis sintáctico.
Atributos heredados. Sirven para expresar la dependencia de una construcción en de un lenguaje en el contexto en el que aparece.
Si se considera un nodo de un símbolo gramatical de un árbol sintáctico como un registro para guardar información entonces un atributo se corresponde con el nombre de un campo.
Un atributo puede representar cualquier cosa (una cadena, un número, un tipo, una posición de memoria...).
El proceso de calcular los valores de los atributos en los nodos se denomina anotar o decorar el árbol de análisis sintáctico.
El valor de un atributo se define mediante la regla semántica asociada a la regla de producción utilizada en ese nodo.
El valor de un atributo sintetizado se calcula a partir de los valores de los atributos de los hijos de ese nodo en el árbol de análisis sintáctico.
El valor de un atributo heredado se calcula a partir de los valores de los atributos de los hermanos y el padre de ese nodo.
En una definición dirigida por la sintaxis, se asume que los terminales sólo tienen atributos sintetizados (la definición no proporciona ninguna regla semántica para los terminales).
Los valores para los atributos de los terminales son proporcionados generalmente por el analizador léxico.
REGLAS SEMÁNTICAS
El grafo de dependencias proporciona el orden de evaluación de las reglas semánticas.
La evaluación de las reglas semánticas define los valores de los atributos de los nodos del árbol.
Una regla semántica puede tener también efectos colaterales (imprimir un valor, actualizar una variable global...).
Una gramática con atributos es una definición dirigida por la sintaxis en la que las funciones de las reglas semánticas no pueden tener efectos colaterales.
Documento Original:
Tema: Traducción dirigida por la Sintaxis.
Asignatura: Teoría de Autómatas y Lenguajes Formales
Autor: Alma María Pisabarro
Año: 2007
VIA: http://tinyurl.com/5ugy3hx
