ANÁLISIS SEMÁNTICO

El análisis semántico dota de un significado coherente a lo que hemos hecho en el análisis sintáctico.
El chequeo semántico se encarga de que los tipos que intervienen en las expresiones sean compatibles
o que los parámetros reales de una función sean coherentes con los parámetros formales

FUNCIONES PRINCIPALES

•  Identificar cada tipo de instrucción y sus componentes
•  Completar la Tabla de Símbolos
• Realizar distintas comprobaciones y validaciones:

               · Comprobaciones de tipos.
               · Comprobaciones del flujo de control.
               · Comprobaciones de unicidad.
               · Comprobaciones de emparejamiento.

El Analizador Semántico finaliza la fase de Análisis del compilador y comienza la fase de
Síntesis, en la cual se comienza a generar el código objeto.

La especificación de la semántica puede realizarse de dos formas:

•  Lenguaje natural
• Especificación formal: Semántica Operacional, semántica denotacional, semántica Axiomática, Gramáticas con Atributos.

Entrada por: Hugo Daniel Paz Casas