Tecnologia

Que es la semántica?
Se 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.

Análisis semántico
Se trata de determinar el tipo de los resultados
intermedios, comprobar que los argumentos
que tiene un operador pertenecen al conjunto
de los operadores posibles, y si soncompatibles
entre sí, etc. En definitiva, comprobará que el
significado de lo que se va leyendo es válido.
La fase de análisis semántico de un procesador de lenguaje es aquélla que computa la información adicional necesaria para el procesamiento de un lenguaje, una vez que la estructura sintáctica de un programa haya sido obtenida. Es por tanto la fase posterior a la de análisis sintáctico y laúltima dentro del proceso de síntesis de un lenguaje de programación.
Sintaxis de un lenguaje de programación es el conjunto de reglas formales que especifican la estructura de los programas pertenecientes a dicho lenguaje. Semántica de un lenguaje de programación es el conjunto de reglas que especifican el significado de cualquier sentencia sintácticamente válida. Finalmente, el análisissemántico1 de un procesador de lenguaje es la fase encargada de detectar la validez semántica de las sentencias aceptadas por el analizador sintáctico.



Analiza el significado del programa.
Chequea reglas que no pueden ser capturadas por la gramática, pero que pueden ser verificadas en tiempo de compilación. Estas reglas corresponden a la semántica estática del lenguaje.
Ejemplos:
Chequeo detipos en expresiones aritméticas.
Chequeo de tipo y número de parámetros en la llamada a una rutina.



TABLA DE SIMBOLO
Un compilador necesita guardar y usar la información de los objetos que se va encontrando en el texto fuente, como variables, etiquetas, declaraciones de tipos, etc.

Esta información se almacena en una estructura de datos interna conocida como tabla de símbolos.
Elcompilador debe desarrollar una serie de funciones relativas a la manipulación de esta tabla como insertar un nuevo elemento en ella, consultar la información relacionada con un símbolo, borrar un elemento, etc. Como se tiene que acceder mucho a la tabla de símbolos los accesos deben ser lo más rápidos posible para que la compilación sea eficiente.





Administración de la tabla de símbolos.La tabla de símbolos se crea durante la fase de análisis léxico a través de los componentes léxicos, pero en el proceso de análisis sintáctico sufren algunas modificaciones.
• Generalmente se agregan valores de tipo y significado para el análisis sintáctico
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 cadasí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, constante o procedimiento.
Los símbolos en la tabla de símbolos pueden referirse a constantes, a funciones o a tipos de datos en el código fuente de un programa.
El administrador de la tabla de símbolos se encarga de manejar los accesos a l tabla desímbolos, en cada una de las etapas de compilación de un programa.

Pila semántica en un analizador sintáctico ascendente (bottom-up).
Los ascendentes construyen el árbol desde las hojas hacia la raíz.
Los descendentes lo hacen en modo inverso.
• Un analizador ampliamente utilizado se denomina método de análisis predictivo descendente recursivo que es muy sencillo.
Derivación izquierda:
•SàAaàaaBbCàaabbCàaabbc (1234)
• SàaAàaaBbCàaaBbcàaabbc (3421)
• LL(k) traductores “top-down”
• Un análisis anticipado de k caracteres
.SàaS|cA
• AàbA|cB|vacia
• BàcB|a| vacia
Construir cadena acbb
• SàaS o SàcA; al anticipar el primer símbolo

Manejo de errores semánticos
Los errores semánticos son más sútiles. Un error semántico se produce cuando la sintaxis del código es correcta pero la...