Teoría de Autómatas y 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

Insertar (“div”, div); Insertar (“mod”, mod);

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

En la siguiente tabla de símbolos de matriz para el almacenamiento de cadenas, una cadena fija de espacios no puede ser lo suficientemente grande para guardar un identificador muy largo, y puede ser innecesariamente grande para un identificador corto, donde se determina que al final de cada cadena se finaliza con un fin-de-cadena representado por FDC, y que no puede aparecer en los identificadores.

d i v FDC m o d FDC i FDC

DivModi

MATRIZ MATRIZ TABLASIMBTABLASIMB

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 limitadas y están comprendidas en las siguientes clases:

Aritmética, Manipulación de la pila

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 determinarla estructura sintáctica de un programa a partirde los tokens producidos por el analizador lexico y, ya sea de manera explicita o implícita, construirun á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 análisis sintáctico. De este modo, la etapa de análisis sintáctico del compilador se reduce a una llamada al analizador léxico 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 árbol de análisis gramatical