Acciones semnticas de

un analizador sintctico.
Acciones semnticas de un analizador sintctico. El anlisis semntico
dota de un significado coherente a lo que hemos hecho en el anlisis
sintctico. El chequeo semntico se encarga de que los tipos que
intervienen en las
expresiones sean compatibles o que los parmetros reales de una
funcin sean coherentes con los parmetros formales.
FUNCIONES PRINCIPALES
-Identificar cada tipo de instruccin y sus componentes
- Completar la Tabla de Smbolos
- Realizar distintas comprobaciones y validaciones:

Comprobaciones de tipos.

Comprobaciones del flujo de control.

Comprobaciones de unicidad.

Comprobaciones de emparejamiento.

ACCIONES SEMNTICAS
Dependiendo del tipo de sentencias, las acciones semnticas
pueden agruparse en:
- Sentencias de Declaracin: Completar la seccin de tipos
de la Tabla de Smbolos.
-Sentencias ejecutables: Realizar comprobaciones de
tipos entre los operandos implicados.
-Funciones y procedimientos: Comprobar el nmero, orden
y tipo de los parmetros actuales en cada llamada a una
funcin o procedimiento.
-Identificacin de variables: Comprobar si un identificador
ha sido declarado antes de utilizarlo.
-Etiquetas: Comprobar si hay etiquetas repetidas y
validacin.
-Constantes: Comprobar que no se utilicen en la parte
izquierda de una asignacin.
-Conversiones y equivalencias de tipo: Verificacin.
-Sobrecarga de operadores y funciones: Detectar y
solventar.

GRAMTICAS CON ATRIBUTOS

Una

Gramtica con Atributos es una generalizacin de las

Gramticas Libres de Contexto, denominada Definicin
Dirigida por la Sintaxis:
- Cada smbolo gramatical puede tener asociado un conjunto
finito de atributos, que pueden ser de los siguientes tipos:
Sintetizados: su valor se calcula en funcin de los atributos
de los nodos hijos.
Heredados: su valor se calcula en funcin de los atributos de
los nodos hermanos y/o del nodo padre.
Cada atributo tomar valores en un dominio.
Cada produccin llevar asociadas un conjunto de reglas
semnticas.
Las relaciones de dependencia entre atributos, establecidas
por las reglas semnticas, se representarn mediante el
Grafo de Dependencias.

Atributos Sintetizados

En el caso de los smbolos terminales de la gramtica, su

atributo no es ms que el lexema asociado al token
reconocido por el analizador lxico.

Una gramtica con atributos se denomina Gramtica SAtribuida si todos los atributos son sintetizados. Siempre es
posible transformar una Gramtica con Atributos en

GramticaS-Atribuida.

Ejemplo: Analizar la forma sentencial 3*5+4,n a

partir de la siguiente definicin dirigida por la
sintaxis: