lunes, 31 de enero de 2011

Definiciones Dirigidas por la Sintaxis

Una definición dirigida por la sintaxis carga los valores de los atributos asociando reglas semánticas a las producciones de la gramática.
Una DDS es una gramática con atributos y reglas
– Los atributos están asociados a símbolos de
la gramática
– Las reglas están asociadas a producciones
Si X es un símbolo y a un atributo, se define X.a como el valor del atributo A en un nodo X del árbol de análisis sintáctico.
Los atributos pueden ser de cualquier tipo
– Números
– Tipos estructurados
– Referencias a la tabla de símbolos
– Strings, que pueden representar secuencias largas de código generado por la DDS. Este código puede ser el código intermedio usado por el compilador.
Los atributos de un nodo del árbol de análisis sintáctico, reciben valor mediante las reglas semánticas asociadas a la producción usada en ese nodo propietario del atributo
Tenemos dos tipos de atributos
– Sintetizados
– Heredados
Los atributos sintetizados se calculan a partir de los valores de los atributos de los
nodos hijos del nodo actual, en el árbol de análisis sintáctico
Los atributos heredados, se calculan a partir de los valores de los atributos del nodo padre y/o sus nodos hermanos
Los terminales pueden tener atributos sintetizados, pero no atributos heredados
Los valores de los atributos de un símbolo terminal, son provistos por el analizador léxico, por lo que no hay reglas para su calculo en la DDS

Fuente:
http://www.fing.edu.uy/inco/cursos/compil/contenido/teorico/6_Traduccion_Dirigida_Por_Sintaxis.pdf

No hay comentarios:

Publicar un comentario