Traduccion Dirigida

TEMA 5. TRADUCCION DIRIGIDA POR LA SINTAXIS IMBOLOS TEMA 6. TABLAS DE S´
Francisco Jos´ Ribadas Pena e PROCESADORES DE LENGUAJES 4o Inform´tica a ribadas@uvigo.es 13 de marzo de 2007

– c FJRP 2005 ccia PL –

5.1 Sintaxis Concreta y Sintaxis Abstracta

Uso de ´rboles sint´cticos como interfaz entre A. Sint´ctico y A. a a a Sem´ntico a Para la sem´ntica de un lenguaje hay detalles de lagram´tica no a a relevantes • Elementos para mejorar legibilidad ◦ separadores, palabras clave, ... • S´ ımbolos auxiliares para facilitar an´lisis a ◦ elimin. recursividad, factorizaci´n, precedencia, ... o ´ Arboles de Sintaxis Concreta Representaci´n directa de la secuencia de reglas gramaticales utilio zadas durante el an´lsis a Incluye todos los terminales y no terminales implicados No ”c´moda”para utilizar directamente en A. Sem´ntico o a

´ Arboles de Sintaxis Abstractas Representaci´n condensada de la estructura del programa donde se o eliminan detalles sup´rfluos e Facilita el procesamiento sem´nticos a

– c FJRP 2005 ccia PL –

1

5.2 Gram´ticas de Atributos a

CFGs no son suficientes para representar ciertas caracter´ ısticas de los lenguajes ni para realizar A.Sem´ntico a Necesidad de un formalismo m´s rico para el A. Sem´ntico y la Gen. a a de C´digo o Gram´ticas de Atributos a • Las gram. de atributos son gram´ticas de contexto libre a cuyos a s´ ımbolos (terminales y no terminales) se les asocia un conjunto de atributos sem´nticos a • Adem´s, se definen reglas sem´nticas asociadas a las reglas graa a maticales que determinan/calculan los valores de losatributos • Aplicables sobre sintaxis abstracta y concreta  Atributos s´ ımbolo X : X.a1, X.a2, ... ´ • notacion: Reglas sem´nticas A → α : { acciones } a Atributos Sem´nticos: Representan cualquier tipo de informaci´n a o asociada a los s´ ımbolos • Ej.: tipo, valor, secuencia de c´digo generado, punteros a entradas o TDS, ... Reglas Sem´nticas: a • Cada regla gramatical tiene asociado un conjunto dereglas sem´nticas a • Calculan el valor de los atributos en base a los valores de los dem´s atributos y al contexto (TDS) a • Pueden incluir efectos laterales: emisi´n mensajes error, modificar o TDS, generar c´digo, ... o

– c FJRP 2005 ccia PL –

2

5.2.1 Tipos de Atributos

Dada la regla ”A → A1 A2 . . . Ak”, con a, a1, a2, ..., an atributos de los s´ ımbolos de la regla AtributosSintetizados: • Su valor se calcula unicamente a partir de los valores de los ´ atributos (sintetizados/heredados) pertenecientes a sus hijos en el ´rbol de an´lisis a a • A.a = f (A1.a1, A2.a2, ..., Ak.ak) Atributos Heredados: • Su valor se calcula a partir de los valores de los atributos (sintetizados/heredados) pertenecientes al padre o a los hermanos de ese nodo en el ´rbol de an´lisis a a • Ai.ai =f (A1.a1, A2.a2, ..., Ai−1.ai−1, Ai−1.ai−1, ..., Ak.ak)

– c FJRP 2005 ccia PL –

3

Ejemplos 1. Atributos sintetizados y reglas para evaluaci´n de expresiones o aritm´ticas e
Atributos:



X.valor → valor num´rico de la subexpresi´n e o X.texto → string asociado a un identificador Sem´ntica a { E0 .valor := E1 .valor + T.valor } { E.valor := T.valor } { T0 .valor := T1 .valor ∗F.valor } { T.valor := F.valor } { F.valor := E.valor } { F.valor := entero.valor } { F.valor := consultarT DS(ident.texto) }

Sintaxis E →E+T E→T T →T ∗F T →F F → (E) F → entero F → ident

2. Atributos heredados y reglas para propagaci´n de tipos o
Atributos:



X.tipo → expresi´n de tipo de dato o X.texto → string asociado a un identificador Sem´ntica a { ListaIDS.tipo := N omT ipo.tipo } {insertarT DS(ident.texto, ListaIDs.tipo) } { ListaIDs1 .tipo := ListaIDs0 .tipo insertarT DS(ident.texto, ListaIDs0 .tipo) } { N omT ipo.tipo := ”real” } { N omT ipo.tipo := ”entero” }

Sintaxis Declarac → N ombT ipo : ListaIDs; ListaIDs → ident ListaIDs → ListaIDs, ident

N omT ipo → f loat N omT ipo → int

– c FJRP 2005 ccia PL –

4

5.2.2 Evaluaci´n de Atributos o

´ ”Arbol...