1.

ANALISIS SEMNTICO
La fase de anlisis semntico revisa el programa fuente para tratar
de encontrar errores semnticos y rene la informacin sobre los
tipos para la fase posterior de generacin de cdigo. En ella se utiliza
la estructura jerrquica determinada por la fase de anlisis sintctico
para identificar los operadores y operandos de expresiones y
proposiciones.

Un componente importante del anlisis semntico es la verificacin

de tipos. Aqu, el compilador verifica si cada operador tiene
operandos permitidos por la especificacin del lenguaje fuente. Por
ejemplo, las definiciones de muchos lenguajes de programacin
requieren que el compilador indique un error cada vez que se use un
nmero real como ndice de una matriz. Sin embargo, la
especificacin del lenguaje puede permitir ciertas coerciones a los
operandos, por ejemplo, cuando un operador aritmtico binario se a
plica a un nmero entero y a un nmero real. En este caso, el
compilador puede necesitar convertir el nmero entero real.

1.1 ARBOLES DE EXPRESIONES

Expresin: secuencia de tokens.

Token: puede ser un operando o un operador.

Operador: +, -, *, /.

Propiedades:

Cada hoja es un operando.

El nodo raz o los nodos internos son operadores.
Los subrboles son subexpresiones en los nodos que el nodo
raz es un operador.

Reglas de precedencia: + (positivo), - (negativo).

*, /, %

+, -

Ejemplo: a*(b+c)+d

los parntesis estn implcitos en el rbol.

La prioridad se determina solo por parntesis.
La expresin completa se sita con parntesis.
 Figura 1. Diagrama de expresiones usando notacin polonesa.

1.1.1 ARBOLES EN INFORMATICA

El rbol es una estructura de datos fundamental en informtica,
muy bien adaptados a la inteligencia artificial y al anlisis
sintctico.
En la inteligencia artificial, las declaraciones de las reglas se
efectan segn el esquema premisas-conclusin, que
corresponde al establecimiento de relaciones de dependencia
que se puedan poner en forma arborescente.
La resolucin de un problema se reduce entonces al recorrido de
un rbol, con el objeto de establecer un camino entre las
hiptesis y las conclusiones generales.
En el anlisis sintctico, se definen gramticas formales que
permiten descomponer las expresiones. As se puede definir una
fase como las combinaciones de un grupo nominal y de un grupo
verbal (verbo y complemento), este grupo verbal se descompone
en un verbo y en un grupo nominal, formado por un nombre y
una frase. La estructura jerrquica de una expresin puede ser
descrita por un esquema arborescente.
Un compilador podr, en el curso del tratamiento del texto de un
programa, utilizar rboles para decodificar tales expresiones.