Compilador sencillo de una pasada

INDICE


TEMA II: UN COMPILADOR SENCILLO DE UNA PASADA:


Contenido Página


Introducción 3

2.1. Definición de la sintaxis 4

2.2. Traducción dirigida por la sintaxis 4

2.3. Análisis sintáctico 5

2.4. Traductores de expresiones simples 9

2.5. Análisis léxico 13

2.6. Incorporación de una tabla de símbolos 16

2.7.Máquinas de pila abstractas 17















INTRODUCCION



En este tema se hace énfasis en la etapa inicial de un compilador, esto es, en el análisis léxico, el análisis sintáctico y la generación de código intermedio.

Este material es un resumen donde se trata de mostrar el funcionamiento de la etapa inicial de un compilador. Decimos resumen porque de cada parte dela fase de análisis que aquí se presenta es en sí un tema de investigación.
















Definición Dirigida por Sintaxis
Para traducir una construcción de un lenguaje de programación, un compilador puede necesitar tener en cuenta muchas características, además del código generado para la construcción.

Una definición dirigida por sintaxis es un formalismo para especificarlas traducciones para las construcciones en función de atributos asociados con sus componentes sintácticos.

Utiliza una gramática independiente de contexto para especificar la estructura sintáctica de la entrada, la idea es asociar con cada símbolo de la gramática un conjunto de atributos (que luego veremos que pueden ser sintetizados o heredados) y además a cada producción un conjunto dereglas semánticas para calcular los valores de los atributos asociados con los símbolos que aparecen en esa producción.

La definición dirigida por sintaxis consiste en sí entonces de la gramática y el conjunto de reglas semánticas. En una definición dirigida por sintaxis, para cada producción gramatical A􀃆α se asocia un conjunto de reglas semánticas de la forma b:=f(c1,c2,…,ck) donde f es unafunción y b es un atributo sintetizado de A o un atributo heredado de uno de los símbolos gramaticales de la parte derecha de la producción y c1,c2,…,ck son atributos que pertenecen a los símbolos gramaticales de la producción. Se dice que b depende de c1,c2,…,ck.

Traducción dirigida por la sintaxis.
Aquí se presenta la definición dirigida por la sintaxis para especificar las traducciones para lasconstrucciones de lenguajes de programación. Esta especifica la traducción de una construcción en función de atributos asociados con sus componentes sintácticos. Para especificar la traducción, se introduce también una notación más orientada a procedimientos, denominada esquema de traducción.
La definición dirigida por la sintaxis utiliza gramática independiente del contexto para especificar laestructura sintáctica de entrada. A cada símbolo se le asocian un conjunto de atributos y a cada producción, reglas semánticas para calcular valores de los atributos asociados con los símbolos de dichas producciones.
La traducción básicamente es una transformación de la entrada en una salida mediante un número de “pasos”. La salida de una entrada r cualquiera, se realiza de la forma:
1º- Seconstruye un árbol de análisis sintáctico para la entrada r.
2º- Luego para un cierto nodo n del árbol de análisis sintáctico que esta etiquetado por X, se escribe X.a para indicar el valor del atributo “a” de “X”en el nodo n.
El valor de X.a en n se calcula pro la regla semántica para el atributo a en la prod. X.

ANALISIS SINTACTICO

Todo lenguaje de programación tiene reglas que describenla estructura sintáctica de programas bien formados. En Pascal, por ejemplo, un programa se compone de bloques, un bloque de proposiciones, una proposición de expresiones, una expresión de componentes léxicos, y así sucesivamente.

Se puede describir la sintaxis de las construcciones de los lenguajes de programación por medio de gramáticas de contexto libre o notación BNF ( Backus-Naur Form)....