Ing. Diego Fernando CastañoCompilación vs. Clase
COMPILADORES
INCORPORACION DE UNA TABLA DE SIMBOLOS
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.
Interfaz de la tabla de símbolosLas 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
Manejo de la palabra clave reservada 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.
Implantación de una tabla de símbolos 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
Div
Mod
i
MATRIZ TABLASIMB
Matriz Lexemas
MAQUINA DE PILA ABSTRACTASLa 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 pilaInsertar 3 en la pilaSumar Insertar 5 en la pilaSumar 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
GRAMATICAS LIBRES DE CONTEXTOEl 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.
EL PROCESO DEL ANALISIS SINTACTICOLa 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 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();
GRAMATICAS LIBRES DE CONTEXTO 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 -- +/-/*
ARBOLES GRAMATICALES Y ABSTRACTOSCorresponde al árbol de análisis
gramatical
ARBOL DE ANALISIS GRAMATICAL PARA LA EXPRESION ARITMETICA (34-3) * 42