INSTITUTO TECNOLOGICO DE ESTUDIOS SUPERIOS DE LA REGION CARBONIFERA

ANALISIS SINTACTICO Y SEMANTICO Integrantes:

Jos Luis Carrizales Ocura Jess Ignacio Salazar Cruz Juan Francisco Escareo Galvn

29 Noviembre del 2011

Agujita, Coahuila

ANALISIS SINTACTICO

Un analizador sintctico toma los tokens que le enva un analizador lxico y comprueba si con ellos se puede formar alguna sentencia valida del lenguaje. Recuerdese que se entiende por sintaxis el conjunto de reglas formales que especifican como se construyen las sentencias de un determinado lenguaje. Es la fase del analizador que se encarga de chequear el texto de entrada en base a una gramtica dada. Y en caso de que el programa de entrada sea vlido, suministra el rbol sintctico que lo reconoce. En teora, se supone que la salida del analizador sintctico es alguna representacin del rbol sintctico que reconoce la secuencia de tokens suministrada por el analizador lxico. En la prctica, el analizador sintctico tambin hace: Acceder a la tabla de smbolos (para hacer parte del trabajo del analizador semntico). Chequeo de tipos ( del analizador semntico). Generar cdigo intermedio. Generar errores cuando se producen. En definitiva, realiza casi todas las operaciones de la compilacin. Este mtodo de trabajo da lugar a los mtodos de compilacin dirigidos por sintaxis.

EJEMPLO
void 1
main (

2
)

Id.

T. dato

10

Id.

10

T. dato

11

Id.

12

13

Numero

14 ;

15

ANALISIS SEMANTICO
El anlisis semntico es posterior al sintctico y mucho ms difcil 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. En definitiva, comprobar que el significado de lo que se va leyendo es vlido. La salida terica de la fase de anlisis semntico sera un rbol semntico. Consiste en un rbol sintctico en el que cada una de sus ramas ha adquirido el significado que debe tener. En el caso de los operadores polimrficos (un nico smbolo con varios significados), el anlisis semntico determina cul es el aplicable. Por ejemplo, consideremos la siguiente sentencia de asignacin: A := B + C En Pascal, el signo + sirve para sumar enteros y reales, concatenar cadenas de caracteres y unir conjuntos. El anlisis semntico debe comprobar que B y C sean de un tipo comn o compatible y que se les pueda aplicar dicho operador. Si B y C son enteros o reales los sumar, si son cadenas las concatenar y si son conjuntos calcular su unin.

Tareas y objetivos del anlisis semntico

EJEMPLOS