Unidad 1 Leng

Unidad 1
ANALISIS SEMANTICO

1. Arboles de Expresiones
2. Acciones Semánticas de un
Analizador Sintácticos
3. Comprobaciones de Tipos en
Expresiones
4. Pila Semántica en un Analizador
SintácticoARBOLES DE EXPRESIONES

Los árboles de expresiones representan el
código de nivel del lenguaje en forma de
datos. Los datos se almacenan en una
estructura con forma de árbol.

Los árboles de expresiónrepresentan el
código en una estructura de datos en forma
de árbol donde cada nodo es una expresión,
por ejemplo, una llamada a método o una
operación binaria como x < y.
El código representado enárboles de
expresión se puede compilar y ejecutar

Acciones Semánticas De Un
Analizador Sintáctico

El análisis semántico se realiza después del sintáctico y es
más difícil de formalizar que éste. Setrata 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 son compatibles entre sí, esdecir, comprobará que el significado de lo que se va leyendo
es válido.
El análisis semántico utiliza como entrada el árbol sintáctico
detectado para comprobar restricciones de tipo y otras
limitacionessemánticas y preparar la generación de código.

Dependiendo del tipo de sentencias, las acciones
semánticas pueden agruparse en: 
 Sentencias de
Declaración:
completar la
sección de tipos
de la Tablade
Símbolos.

 Etiquetas:
comprobar si hay
etiquetas
repetidas y
 
validación.

 Sentencias
“ejecutables”:
realizar
comprobaciones de
tipos entre los
operando
implicados.

 Identificación devariables: comprobar si
 identificador ha sido
declarado antes de
utilizarlo.

Conversiones y
equivalencias de
tipo: verificación.

 Funciones y
procedimientos:
comprobar el número,
 orden y tipo de losparámetros actuales en
cada llamada una función o
procedimiento.
 Constantes:
comprobar que
no se utilicen en
la parte
izquierda de una
asignación.

 Sobrecarga de
operadores
y funciones:
detectar...