Análisis Semántico

Honelako gehiago

Mapa conceptual C++

Wilson León Ramírez‑k egina

GENERALIDADES Y COMPONENTES DEL LENGUAJE DE PROGRAMACIÓN C++

Carol Diaz‑k egina

Modelos matemáticos

Nicolas Alzate‑k egina

Investigación experimental

NANCY ADRIANA CARRILLO CORDERO‑k egina

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