Definiciones Dirigidas por Sintaxis

Definiciones Dirigidas por Sintaxis

Definición

Es una generalización de una gramática independiente de contexto en la cual cada símbolo tiene asociado un conjunto de atributos.

Atributos

En general los atributos de un nodo reciben valor mediante la evaluación de las reglas semánticas asociadas a la producción usada en ese nodo propietario del atributo.

Hay dos clases de atributos posibles:

• Atributos Sintetizados: Los valores de los atributos sintetizados se calculan a partir de los valores de atributos de sus nodos hijos en el árbol de análisis sintáctico.
• Atributos Heredados: Los valores de los atributos heredados se calculan a partir de los valores de atributos de su nodo padre o sus nodos hermanos.

Reglas semánticas

Las reglas semánticas establecen dependencias entre los atributos de los diferentes símbolos.

Esas dependencias se reflejan en un grafo con el fin de establecer un orden de evaluación de las reglas.

La evaluación de las reglas asigna valor a los atributos.

Un árbol de análisis sintáctico que contiene también los atributos y su valores se llama un árbol anotado o decorado.

Ejemplos:

Atributos Sintetizados

• Los atributos sintetizados se utilizan ampliamente.
• Si una definición dirigida por sintaxis tiene ´únicamente atributos sintetizados se dice que es S-atribuida.
• El árbol de análisis sintáctico de una gramática S-atribuida puede decorarse mediante un recorrido en postorden.

Atributos Heredados

• Sirven para expresar la dependencia que hay entre una construcción del lenguaje de programación y su contexto.
• Siempre es posible reescribir una definición dirigida por sintaxis para que sea S-atribuida.
• En ocasiones es más natural utilizar atributos heredados.

Fuente:

Traducción dirigida por la sintaxis. Javier Vélez Reyes. 

Disponible en URL: 

http://www.lsi.uned.es/procleng/apuntes/2006-2007/TraduccionDirigidaPorlaSintaxis.pdf

Consulta realizada: 31 de Enero, 2011.