Es independiente del contexto en la cual a sus símbolos terminales y no terminales se les dota de unos atributos y a sus prod ucciones de

Gramática de atributos unas funciones de evaluación que hacen que dichos atributos se propaguen a través de la gramática.

Su fin es conocer un determinado valor de un atributo en cualquier parte del árbol de derivación y tomar la decisión oportuna.

Una gramática de atributos está formada por una tripleta GA={GIC, A, F}

G – gramática independiente del contexto
ANALISIS SEMANTICO

Definición formal
A – atributos asociados a los símbolos terminales y no terminales

F – función de evaluación, función asociada a producción que determina como obtener unos atributos en función de otros dentro de la misma producción

Heredados son atributos que se propagan desde la raíz a las hojas o dentro de un mismo nivel
Intrínsecos Son atributos relativos a símbolos terminales, por lo tanto valores correspondes a las hojas (valores finales). Son
Tipos de atributos valores fijos obtenidos de antemano cuyo valor se obtiene de partida
Sintetizados son atributos que se propagan desde las hojas a la raíz ‘

PODER DE
Tienen un mayor poder de significación que una gramática independiente del contexto. Puede reconocer lenguajes de tipo superior, es
SIGNIFICACIÓN DE LAS
GRAMÁTICAS DE decir de tipo 1 o tipo 0.
ATRIBUTOS
Sea el lenguaje L={ an bn cn| n>=0} es un lenguaje de tipo 1, solo puede ser generado por una gramática de tipo 1 o 0 .

Existen herramientas automáticas que generan evaluadores de gramáticas atribuidas o, en la mayor parte de los casos, definiciones dirigidas
ALGORITMOS PARA
por sintaxis. En muchas ocasiones, las herramientas de desarrollo de procesadores de lenguaje ofrecen la posibilidad de especificar, de un
CÁLCULO DE
ATRIBUTOS modo imperativo en lugar de declarativo, las reglas semánticas de las definiciones dirigidas por sintaxis (gramáticas atribuidas).Esta notación es
la que se conoce como esquema de traducción (dirigida por sintaxis).
Un compilador utiliza una tabla de símbolos para llevar un registro de la información sobre el ámbito y el enlace de los nombres. Se examina
LA TABLA DE la tabla de símbolos cada vez que se encuentra un nombre en el texto fuente. Si se descubre un nombre nuevo o nueva información sobre un
SÍMBOLOS
nombre ya existente, se producen cambios en la tabla.

Existe una distinción entre el componente léxico id para un identificador o nombre, el lexema formado por la cadena de caract eres que
CARACTERES DENTRO
componen el nombre, y los atributos del nombre. Las cadenas de caracteres pueden ser difíciles de manejar, así que los compiladores
DE UN NOMBRE
utilizan alguna representación de longitud fija del nombre en lugar del lexema.