Tabla de Símbolos

Organización de Lenguajes y Compiladores 1 USAC

Guatemala, 2013

el tipo de datos y el ámbito de cada variable. constante o procedimiento. . donde cada símbolo en el código fuente de un programa está asociado con información tal como la ubicación. por un compilador o un intérprete.Tabla de Símbolos Es una estructura de datos que usa el proceso de traducción de un lenguaje de programación.

tamaño. excepto en aquellos casos en que se compila con opciones de depuración. información tal como: nombre. dirección de localización. . La tabla almacena la información que en cada momento se necesita sobre las variables del programa. etc. tipo.Tabla de Símbolos Permanece sólo en tiempo de compilación. no de ejecución.

Funcionamiento de la Tabla de Símbolos Tabla de Símbolos  Introducir_Identificador  Completar_Atributo  Completar_Atributo Obtener_Atributo  Análisis Léxico Análisis Sintáctico Análisis Semántico Código Intermedio Optimización de Código Generación de Código Obtener_Atributo  Obtener_Atributo  Obtener_Atributo  .

Tipo: Almacenara el tipo del identificador para poder ser utilizado en validaciones semánticas. lo cual aumenta la velocidad de creación. pero limita la longitud en unos casos. emplearemos una longitud fija para cada variable.Contenido de la Tabla de Símbolos Nombre: Se puede hacer con o sin límite. . y desperdicia espacio en la mayoría. Si lo hacemos con límite.

también cuando se trata de variables globales. las direcciones se van asignando secuencialmente a medida que se hacen las declaraciones. . porque las instrucciones que referencian a una variable deben saber donde encontrar el valor de esa variable en tiempo de ejecución. En lenguajes que no permiten recursividad.Contenido de la Tabla de Símbolos Dirección de memoria en que se guardará: Esta dirección es necesaria.

la dirección se da con respecto al comienzo del bloque de datos de ese bloque. (función o procedimiento) en concreto. Ámbito: En los lenguajes orientados a objetos y con estructura de bloques pueden existir múltiples símbolos con el mismo identificador en ámbitos distintos. .Contenido de la Tabla de Símbolos Dirección de memoria en que se guardará: En lenguajes con estructuras de bloques. sirviendo este atributo para determinar el ámbito a que pertenecen.

Contenido de la Tabla de Símbolos Guardar información de los números de línea y columna en que se declaró. . El número de dimensiones de una variable array. o el de parámetros de una función o procedimiento junto con el tipo de cada uno de ellos es útil para el chequeo semántico.

. y si es palabra reservada devuelve un token asociado. . E.Constantes: PI.Contenido de la Tabla de Símbolos La tabla de símbolos puede iniciarse con cierta información útil. etc.Palabras reservadas: Esto facilita el trabajo al lexicográfico. tal como: . que tras reconocer un identificador lo busca en la tabla de símbolos.Funciones de librería. .

Búsqueda: Recupera la información asociada con un nombre cuando este se utiliza en una declaración o el código asociado. .Operaciones de la Tabla de Símbolos Inserción: Almacena información proporcionada por las declaraciones de nombre cuando estas son procesadas.

Operaciones de la Tabla de Símbolos Modificación: Modifica información proporcionada por las declaraciones de nombre cuando estas son procesadas. . Eliminación: Elimina la información asociada con un nombre de la tabla de símbolos.

generando el código o programa objeto. es decir examina el código fuente una vez. .Compiladores de una pasada Generan el código maquina a partir de una única lectura el código fuente.

Genera poca actividad de entrada/salida. Desventajas Limitaciones en la calidad del código generado.Compiladores de una pasada Ventajas Fácil de implementar. . Mucha necesidad de memoria.

Compiladores de varias pasadas En un compilador de varias pasadas. . la Tabla de Símbolos se crea durante el análisis léxico y sintáctico.

pues en estas fases ocurre que alguno de los atributos asociados a un identificador se les pueda asignar un valor en la Tabla de Símbolos.Compiladores de varias pasadas No es hasta las fases de análisis semántico y de generación de código cuando vuelve a utilizarse la Tabla de Símbolos. .

Estructura de una Tabla de Símbolos Una Tabla de Símbolos se puede definir como una estructura de datos organizada en función de los identificadores que aparecen en el programa fuente. pilas. etc. también se emplean árboles. . Aunque su nombre parece indicar una estructuración en una tabla no es necesariamente ésta la única estructura de datos utilizada. tabla hash.

Estructura de una Tabla de Símbolos bit.ly/17734ha .