El an lisis sem ntico se realiza despu s del sint ctico y es m s dif cil de formalizarque ste


El análisis semántico se realiza después del sintáctico y es más difícil de formalizarque éste. Se trata de determinar el tipo de los resultados intermedios, comprobar quelos argumentos que tieneun operador pertenecen al conjunto de los operadoresposibles, y si son compatibles entre sí, es decir, comprobará que el significado de loque se va leyendo es válido.El análisis semántico utilizacomo entrada el árbol sintáctico detectado paracomprobar restricciones de tipo y otras limitaciones semánticas y preparar lageneración de código.
La salida “teórica” de la fase de análisis semánticosería un árbol semántico. Consiste
en un árbol sintáctico en el que cada una de sus ramas ha adquirido el significado quedebe tener. En el caso de los operadores polimórficos (un único símbolo convariossignificados), el análisis semántico determina cuál es el aplicable. Por ejemplo,consideremos la siguiente sentencia de asignación:A := B + C
En Pascal, el signo “+” sirve para sumar enteros yreales, concatena
r cadenas decaracteres y unir conjuntos. El análisis semántico debe comprobar que B y C sean deun tipo común o compatible y que se les pueda aplicar dicho operador. Si B y C sonenteros oreales los sumará, si son cadenas las concatenará y si son conjuntoscalculará su unión.
Acciones semánticas
Dependiendo del tipo de sentencias, las accionessemánticas pueden agruparse en:
•Sentencias de Declaración: completar la sección de
tipos de la Tabla de Símbolos.
• Sentencias “ejecutables”: realizar comproba
ciones detipos entre los operandos implicados.
• Funciones y procedimientos:comprobar el número,
orden y tipo de los parámetros actuales en cada llamadaa una función o procedimiento.
• Identificación de variables: comprobar si
identificador ha sido declarado antes deutilizarlo.
• Etiquetas: comprobar si hay etiquetas repetidas y
validación.
• Constantes: comprobar que no se utilicen en la parte
izquierda de una asignación.
• Conversiones y equivalencias de tipo:...