Unidad 04 Análisis Semántico

Análisis semántico

Se trata de determinar el tipo de los resultados

intermedios, comprobar que los argumentos

que tiene un operador pertenecen al conjunto

de los operadores posibles, y si son compatibles

entre sí, etc. En definitiva, comprobará que el

significado de lo que se va leyendo es válido.

Es una estructura jerárquica en la cual se registran las operaciones que implica u operan dentro del programa fuente.

En cada una de las ramas del

arbol semanticose registra el

valor o significado que este

debe tener, y el analisis semantico

se encarga de terminar cual de

los valores registrados en las

ramas es aplicable.

Un compilador necesita guardar y usar la información de los objetos que se va encontrando en el texto fuente, como variables,etiquetas,declaraciones de tipos, etc.

Esta información se almacena en una estructura de datos interna conocida como tabla de símbolos.

COMPROBACIONES SEMÁNTICAS TIPOS

Comprobaciones ESTÁTICAS.

Las comprobaciones sintácticas y semánticas.

Comprobaciones DINÁMICAS.

Realizadas en tiempo de ejecución.

De TIPO.

Verificación del tipo de los operando en las expresiones.

De FLUJO de CONTROL.

Verifica los puntos del programa de salida y entrada del control.

De UNICIDAD.

Verifica la presencia de símbolos de forma única.

(ejemplo: declarar un símbolo una sólo vez).

Relación de NOMBRES.

Un mismo nombre puede aparecer más de una vez.