ANÁLISIS 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.
ü 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.
La fase de
análisis semántico revisa el programa fuente para tratar de encontrar errores
semánticos y reúne la información sobre los tipos para la fase posterior de generación
de código. En ella se utiliza la estructura jerárquica determinada por la fase
de análisis sintáctico para identificar los operadores y operandos de
expresiones y proposiciones.
Un componente
importante del análisis semántico es la verificación de tipos. Aquí, el
compilador verifica si cada operador tiene operandos permitidos por la
especificación del lenguaje fuente. Por ejemplo, las definiciones de muchos
lenguajes de programación requieren que el compilador indique un error cada vez
que se use un número real como índice de una matriz. Sin embargo, la especi-
ficación del lenguaje puede imponer restricciones a los operandos, por ejemplo,
cuando un operador aritmético binario se aplica a un número entero y a un
número real. Revisa que los arreglos tengan definido el tamaño correcto.
La fase de análisis
semántico revisa el programa fuente para tratar de encontrar
errores semánticos y reúne la información sobre los tipos para la fase
posterior de generación de código. En ella se utiliza la estructura jerárquica
determinada por la fase de análisis sintáctico para identificar los operadores
y operandos de expresiones y proposiciones.
Un componente importante del análisis semántico es la Verificación de Tipos. Aquí, el
compilador verifica si cada operador tiene operandos permitidos por la
especificación del lenguaje fuente.
HUMILDAD, CIENCIA Y HONESTIDAD.
No hay comentarios:
Publicar un comentario