CONSTRUCCIN DE UN ANALIZADOR SEMNTICO

El analizador semntico utiliza el rbol sintctico y la informacin de

la tabla de smbolos para comprobar la consistencia semntica del
programa fuente. Recopila informacin sobre el tipo y la guarda, ya
sea en el rbol sintctico o en la tabla de smbolos, para usarla ms
tarde en la generacin de cdigo intermedio.
La tabla de smbolos (tambin se le llama tabla de nombres) es una
estructura de datos que contiene un registro por cada nombre de
variable, con campos para los atributos del nombre. La estructura
de datos debe disearse de tal forma que le permita compilador
buscar el registro para cada nombre, y almacenar u obtener datos
de ese registro con rapidez. Sus funciones principales son:
- Efectuar chequeo semntico.
- Generacin de cdigo.
Permanece slo en tiempo de compilacin, no de ejecucin,
excepto en aquellos casos en que se compila con opciones de
depuracin.
En el proceso de traducir un programa fuente a cdigo destino, un
compilador puede construir una o ms representaciones
intermedias, las cuales pueden tener una variedad de formas, los
rboles sintcticos son una forma de representacin intermedia; por
lo general, se utilizan durante el anlisis sintctico y semntico.

BIBLIOGRAFA
V., Alfred, S., Monica, Sethi, Ravi, D., Jeffrey. (2008). Compiladores principios,
tcnicos y herramientas (2da. ed.). Mxico. Pearson Educacin.
Sierra, M. y Glvez, S. Tema 5. Tabla de smbolos. Recuperado de
http://www.lcc.uma.es/~galvez/ftp/tci/tictema5.pdf