============================

COMPILADORES

La tabla de símbolos es una estructura de datos que nos permite realizar operaciones de inserción, búsqueda y eliminación de información en varias construcciones del lenguaje fuente, la cual es analizada por el compilador originándose un código objeto.

Las principales operaciones de la tabla de símbolos las definimos así:

Inserción: Almacena información proporcionada por las declaraciones de nombre cuando estas son procesadas.

Búsqueda: Recupera la información asociada con un nombre cuando este se utiliza en una declaración o el código asociado.

Eliminación: Elimina la información proporcionada por una declaración cuando esta ya no se aplica.

Ejemplo : Parte de procedimientos en programa fuente

Datos(var1, var2)

SiSe aplica la operaciónNo

Se procesa de nuevoLa operación Datos(var1, var2) porSer llamada de nuevo en la aplicación

Se elimina de la tabla de símbolosLa operación Datos(var1, var2)Ya que no se considera necesarios para procesos posteriores

En las sintaxis anteriores, también se pueden emplear palabras reservadas como pueden ser los componentes léxico por ej: mod, div

Inser tar (“div”, div); Inser tar (“mod”, mod);

Cualquier l lamada posterior busca(“div”) devuelve el componente léxico div, de modo que div no puede usarse como identif icador o variable.

En la siguiente tabla de símbolos de matriz para el almacenamiento de cadenas, una cadena f i ja de espacios no puede ser lo suf icientemente grande para guardar un identif icador muy largo, y puede ser innecesariamente grande para un identif icador cor to, donde se determina que al f inal de cada cadena se f inaliza con un f in-de-cadena representado por FDC, y que no puede aparecer en los identif icadores.

d i v FDC m o d FDC i FDC

Div

Mod

i

MATRIZ TABLASIMBMATRIZ TABLASIMB

Matriz Lexemas

La maquina tiene memorias independiente para las instrucciones y datos, y todas las operaciones aritméticas se realizan con los valores en una pila. Las instrucciones son bastantes l imitadas y están comprendidas en las siguientes clases:

Aritmética, Manipulación de la pi la

A continuación se simula la representación de una expresión en una pila. La evaluación se realiza de izq. A der. Insertando los operadores en la pila a medida que los encuentran asi:

La expresión -- 1 3 + 5 Insertar 1 en la pila Insertar 3 en la pila Sumar Insertar 5 en la pila Sumar los dos elementos de la cima, extraerlos e insertar en la

pila el resultado 9

PILA----------------------------------

13

Operador aritmético 5

+ (VALOR DE LA CIMA)9

El análisis gramatical es la tarea de determinar la sintaxis, o estructura de un programa.

Por esta razón también se le conoce como análisis sintáctico. La sintaxis de un lenguaje de programación por lo regular se determina mediante las reglas gramaticales de una gramática libre de contexto de manera similar como se determina mediante expresiones regulares la estructura léxica de los tokens.

La tarea del analizador sintáctico es determinar

la estructura sintáctica de un programa a partir

de los tokens producidos por el analizador lexico

y, ya sea de manera explicita o implícita, construir

un árbol de análisis gramatical o árbol sintáctico

Que represente esta estructura. De este modo,

Se puede ver el analizador sintáctico como una

Funcion que toma su entrada la secuencia de

Tokens producidos por el analizador léxico y que produce como su salida el árbol sintáctico.

Secuencia de tokens analizador sintáctico árbol sintáctico

La secuencia de tokens por lo regular no es un parámetro de entrada explicito pero el analizador sintáctico llama a un procedimiento del analizador léxico, como get token para obtener el siguiente token desde la entrada a medida que lo necesite durante el proceso de analisis sintactico. De este modo, la etapa de analisis sintactico del compilador se reduce a una llamada al anlizador lexico de la manera :

syntaxtree = parse ();

En un compilador de una sola pasada el analizador sintáctico incorpora todas las otras fases de un compilador incluyendo la generacion del codigo y no es necesario construir ningun arbol sintactico explicito (las mismas etapas del analizador sintactico representaran de manera implicita al arbol sintactico y por consiguiente una llamada.

parse();

Una gramática libre de contexto es una especificación para la estructura sintactica de un lenguaje de programación. Una especificación así es muy similar a la especificación de la estructura lexica de un lenguaje utilizando expresiones regulares, excepto que una gramática libre de contexto involucra reglas de recursividad. Como ejemplo de ejecución utilizaremos expresiones aritmeti

Simples de enteros con operaciones de suma resta y multiplicación. Estas expresiones se pueden dar mediante la gramatica siguiente

exp — exp op exp /(exp)/ numero op -- +/-/*

Corresponde al arbol de analisis gramatical