TOSHIBA

AUTOMATAS II
Autor: Karina de Jesus Martinez Aguilar

TABLA DE SIMBOLOS

Tambin se la llama tabla de nombres o tabla de identificadores y tiene dos

funciones principales: - Efectuar chequeos semnticos. - Generacin de cdigo.
Permanece slo en tiempo de compilacin, no de ejecucin, excepto en
aquellos casos en que se compila con opciones de depuracin. La tabla
almacena la informacin que en cada momento se necesita sobre las variables
del programa, informacin tal como: nombre, tipo, direccin de localizacin,
tamao, etc. La gestin de la tabla de smbolos es muy importante, ya que
consume gran parte del tiempo de compilacin. De ah que su eficiencia sea
crtica. Aunque tambin sirve para guardar informacin referente a los tipos
creados por el usuario, tipos enumerados y, en general, a cualquier
identificador creado por el usuario, nos vamos a centrar principalmente en las
variables de usuario. Respecto a cada una de ellas podemos guardar:

La tabla de smbolos tambin se le puede conocer como una estructura de

datos que nos permite realizar operaciones de insercin, bsqueda y
eliminacin de informacin en varias construcciones del lenguaje fuente, la
cual es analizada por el compilador originndose un cdigo objeto.
Las principales operaciones de la tabla de smbolos las definimos as:
Insercin: Almacena informacin proporcionada por las declaraciones de
nombre cuando estas son procesadas.
Bsqueda: Recupera la informacin asociada con un nombre cuando este se
utiliza en una declaracin o el cdigo asociado.
Eliminacin: Elimina la informacin proporcionada por una declaracin cuando
esta ya no se aplica.
Consideraciones sobre la Tabla de Smbolos.
La tabla de smbolos puede iniciarse con cierta informacin til, tal como: Constantes: PI, E, etc. - Funciones de librera: EXP, LOG, etc. - Palabras
reservadas. Esto facilita el trabajo al lexicogrfico, que tras reconocer un
identificador lo busca en la tabla de smbolos, y si es palabra reservada
devuelve un token asociado. Bien estructurado puede ser una alternativa ms
eficiente al lex tal y como lo hemos visto (hash perfecto). Conforme van
apareciendo nuevas declaraciones de identificadores, el analizador lxico, o el
analizador sintctico segn la estrategia que sigamos, insertar nuevas
entradas en la tabla de smbolos, evitando siempre la existencia de entradas
repetidas. El analizador semntico efecta las comprobaciones sensibles al
contexto gracias a la tabla de smbolos, y el generador de cdigo intermedio
usa las direcciones de memoria asociadas a cada identificador en la tabla de

smbolos, al igual que el generador de cdigo. El optimizador de cdigo no

necesita hacer uso de ella

La tabla de smbolos contiene informacin til para poder compilar, por tanto
existe en tiempo de compilacin, y no de ejecucin. Sin embargo, en un
intrprete, dado que la compilacin y ejecucin se producen a la vez, la tabla
de smbolos permanece todo el tiempo.