Sin título

Análisis Semántico

Semántica

Refiere a los aspectos del significado, sentido o interpretación del significado de un determinado elemento, símbolo, palabra, expresión o representación formal.

Conceptos Primarios:

Sintaxis Libre de Contexto

Define secuencias legales de símbolos, independientemente de cualquier noción sobre el contexto o circunstancia particular en que aparecen dichos símbolos.

Demostrar o dara forma dentro de un compilador, según lo que se tenga en la entrada, para eso se requiere la ayuda de el analizados sintáctico y léxico, así se estará seguro de que se mostrara una forma.

Propósito

Genera:

Una vez hecho lo que es el análisis semántico, este mostrara lo que son dos caminos, estos son:

•Anotar información semántica al árbol de análisis.

•Añadir posibles errores semánticos detectados por la rutina.

De manera resumida:

1-Si un identificador a utilizar ha sido declarado.

2-Si hemos inicializado una variable antes de utilizarla.

3-Si los índices para acceder a un vector o una matriz están en rango.

4-Si las expresiones aritméticas tienen operandos de tipos incompatibles.

5-Si, al invocar un método o procedimiento, este ha sido declarado adecuadamente (número, tipo, posición de parámetros, compatibilidad…).

6-Si las funciones poseen el retorno de un valor y este es compatible con la declaración de dicha función.

Puntos clave:

Definiciones Dirigidas por la Sintaxis

Son denominadas como un formalismo de alto nivel que permite asociar a cada regla de producción gramatical una regla semántica descrita, principalmente, en términos de una transformación de ciertos atributos asociados a cada no terminal de la gramática.

¿Que significa?

Asi generando:

Gramática de Atributos

Tabla de Símbolos

Reglas Semanticas

¿Que significa?

¿Que significa?

¿Que significa?

Esta es una extensión de las GLC, a la cual se añadirá un sistema de atributos.

Esta es una estructura de datos que usa el proceso de traducción de un lenguaje de programación, por un compilador o un intérprete, donde cada símbolo en el código fuente de un programa está asociado con información tal como la ubicación, el tipo de datos y el ámbito de cada variable.

Formada por:

1-Un conjunto de atributos semánticos, que se asocia a cada símbolo de la gramática.

2-Los datos globales de la gramática, accesibles desde cualquiera de sus reglas, pero que no están asociados a ningún símbolo en concreto.

3-Un conjunto de acciones semánticas, distribuidas por las reglas de producción.

Estructurada:

G = {V, T, P, S, K}, donde:

V=Conjunto de variables o símbolos NO terminales de la gramática.

T=Conjunto de variables o símbolos Terminales de la gramática.

P=Conjunto de reglas de producción.

S=Variable inicial de la gramática.

K=Es la información global en la gramática de atributos (tabla de símbolos)

Transfieren la información de unos atributos a otros y aplican acciones de traducción de carácter semántico.

Su objetivo:

Estas deben calcular el valor de los atributos de los símbolos, de una regla y del contexto.

Además, una regla semántica también puede estar asociada a una función que calcule el valor del atributo en cada momento.

Formas:

Dirigidas por Sintaxis

Esquemas de Traducción

Puntos mas importantes

Puntos mas importantes

-Ocultan al usuario detalles de implementación.

-El usuario no especifica explícitamente el orden en el que se evalúan las reglas semánticas, sino que este orden viene dado por el tipo de análisis.

-Aparecerán las reglas semánticas, junto a la producción a la que se asocia.

-Algunos detalles de implementación quedan visibles.

-Se puede indicar el orden para evaluar las reglas semánticas.

-Aparecerán mezcladas las reglas semánticas entre los símbolos terminales y no terminales de la parte derecha de la producción. Será la metodología empleada en el análisis semántico descendente.

Por Árbol de Análisis Sintáctico

Métodos:

Funciona:

Toma el orden a partir del ordenamiento topológico del grafo de dependencias construido a partir de dicho árbol de análisis sintáctico.

Basado en Reglas

Funciona:

Para este método se evalúan los atributos asociados a cada producción viene determinado en el momento de la construcción del compilador, bien manualmente, bien con alguna herramienta específica.

Sin recuerdo

Funciona:

Para este método se establece un orden de evaluación sin tener en cuenta las reglas semánticas.

Propagación y Atributos

Definiciones:

Es el método por el cual se obtiene del valor de un atributo en función del valor de otros.

Propagación

Atributos

Información con tipificación implícita que sirve para albergar una característica propia del proceso de traducción, ademas de poder ser transferida a mas producciones gramaticales.

Clasificación:

Sintetización

Cuando a los valores se calculan a partir de los valores de atributos de sus nodos hijos en el árbol de análisis.

Heredados

Cuando a los valores se obtienen de los valores de atributos de su nodo padre o sus nodos hermanos.