Teoria De Lenguajes Y Compiladores

TRADUCCION DIRIGIDA POR SINTAXIS
Introducción
Un compilador utiliza gramáticas independientes de contexto como guía para la traducción de lenguajes, si logra de alguna manera asociar información a las distintas construcciones del lenguaje de programación proporcionando atributos a los símbolos de la gramática, puede entonces calcular sus valores mediante reglas semánticas.
Aunque hay dosmaneras de hacer la asociación entre reglas semánticas y producciones, que son mediante definiciones dirigidas por sintaxis y esquemas de traducción, nos interesa particularmente ésta última, pues con éstas se trabaja más pues se puede definir el orden en que se ejecutan las acciones y las evaluaciones de los atributos.
La idea es brindar al lector una pequeña reseña de lo que el compilador hace desdeque toma una cadena de entrada hasta que la lleva a evaluar las reglas semánticas, que es una parte importante del proceso de compilación en un lenguaje de programación.

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 unformalismo para especificar las 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 cadaproducción un conjunto de reglas semánticas para calcular los valores de los atributos asociados con los símbolos que aparecen en esa producción.
















CONTENIDO:
Relacionar la sintaxis con las gramáticas independientes de contexto.
La gramática independiente de contexto sirve para “reconocer” de una manera especifica la sintaxis de un lenguaje. La gramática independiente decontexto se divide en los siguientes componentes:
* Un conjunto de componentes léxicos (símbolos terminales).
* Un conjunto de símbolos no terminales.
* Un conjunto de producciones.
* La notación de uno de los símbolos no terminales como símbolo inicial

Explicar los problemas de ambigüedad, asociatividad y precedencia en operadores.
En la ambigüedad se debe tener cuidado con estructura deuna cadena con respecto a la gramática, ya que está puede tener más de un árbol que genere la misma cadena de componentes léxicos. Para saber si existe ambigüedad se necesita encontrar una cadena de componentes léxicos que posea más de un desarrollo en componentes del analizador sintáctico, es decir, que tenga más de un árbol. Para la compilación es necesario que nuestras gramáticas sean noambiguas y de serlo que posean reglas adicionales para resolver dicha ambigüedad.
La asociatividad posee una jerarquía, en el caso de trabajar con paréntesis se usa la asociatividad por la izquierda y se usa la asociatividad por la derecha cuando se trabaja con el operador asignación .
Aquí se presenta la definición dirigida por la sintaxis para especificar las traducciones para las construcciones delenguajes 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 la estructurasintá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 numero de “pasos”. La salida de una entrada r cualquiera, se realiza de la forma:
1º- Se construye un árbol...