Definición:
El análisis semántico es posterior al sintáctico y mucho más difícil de formalizar que éste. 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 son compatibles entre sí, etc.
Bibliografia:
Aportacion:
Utiliza como entrada un árbol sintáctico detectado por el análisis semántico para comprobar restricciones de tipo y otras limitaciones.
ORLANDO ODILON CABRERA CASTRO
