a Stefania Sarango 3 éve
352
Análisis Semántico
Elsa Stefania Sarango Torres
Análisis Semántico
comprueba que un analizador sintáctico es semánticamente válido. Además genera un árbol semántico o etiquetado.
Objetivo
Es detectar la validez semántica de las sentencias aceptadas
Concepto
Es la etapa que procesa la información adicional necesaria para el procesamiento de un lenguaje.
Que es la semántica
La semántica de un lenguaje de programación es el conjunto de reglas que especifican el significado de cualquier sentencia sintácticamente valida.
Funciones
Comprobar que los diferentes identificadores solo hayan sido declarados una vez
Verificar que no se intente modificar el valor de una constante
Comprobar de tipos al evaluar las exposiciones .
Verificar si las variables, constantes y funciones sean accesibles
Detectar si las variables, constantes y funciones han sido declaradas
Se realiza posteriormente del sintáctico