Análisis semántico

Lisää tämän kaltaisia

TIPOS DE REQUERIMIENTOS

luonut Danny Garcia

ESTRATEGIAS DE COMPRENSION LECTORA

luonut fabian jordan

USO DE LA TILDE

luonut yatmer santos caqui

PRINCIPIOS DE LA ORGANIZACIÓN

luonut jose luis gutierrez ramos

Análisis semántico

Funciones del Analizador Semántico

Verificar que no se intente modificar el valor de una constante

Comprobaciones de tipos al evaluar las expresiones

comprobar que los diferentes identificadores solo hayan sido declarados una vez

Verificar que las variables, constantes y funciones sean accesibles desde el ámbito en que son utilizadas

Detectar si las varibles, constantes y funciones han sido declaradas antes de ser utilizadas

Descripción Semántica

Existen dos formas de describir la semántica de un lenguaje de programación

Semántica Informal

Lenguaje Natural

Semántica Formal

interpretación lógica del lenguaje

descripción rigurosa de los componentes

Es el estudio del significado gramatical

Cuál es uno de los componentes más importante del análisis semántico

Uno de los coponentes más importantes del análisis semántico es la verificación de tipos de datos, declaraciones de variable, validaciones de clases, compatibilidad de variables, uso de variables de entorno, instancia de objetos, herencia, polimorfismos, sobrecarga, etc.

¿Qué comprueba un analizador semántico?

Un analizador semántico comprueba que un analizador sintáctico es semánticamente válido. Además genera un árbol semántico o etiquetado.

¿Qué es Análisis Semántico?

Es la estapa que procesa la información adicional necesaria para el procesamiento de un lenguaje, una vez que la estructura sintáctica de un programa haya sido obtenida.

¿Qué es la semántica de un programa?

SEMÁNTICA

Es más dificil dar una definición matemática precisa

Cuál es el significado del programa

SINTAXIS

Es posible dar una defición matemática precisa

Representación textual o estructura

Cómo se ve un programa

¿Cuál es el objetivo principal del análisis semántico?

El análisis semántico tiene cómo objetivo principal detectar la validez semántica de las sentencias aceptadas por el analizador sintáctico

¿Que es la semántica?

Semántica de un lenguaje de programación es el conjunto de reglas que especifican el significado de cualquier sentencia sintácticamente válida.