Tema 6 - Compiladores e Interpretes

Tema 6: Compiladores e intérpretes

Teoría de autómatas y lenguajes formales I

Tema 6: Compiladores e intérpretes 2© Manuel Mucientes

Bibliografía

• Sudkamp, T. A. “Languages and machines: anintroduction to the theory of computer science”. Addison Wesley. 1997.– capítulos 4, 15 y 16

• Aho A., Sethi R. and Ullman J. “Compiladores. Principios, técnicas y herramientas”. Addison‐Wesley. 1990. – capítulo 1


Introducción• Un compilador es un programa que lee un programa escrito en

un lenguaje (fuente) y lo traduce a un programa equivalente en otro lenguaje (objeto)

• El primer compilador FORTRAN necesitó de 18 años de trabajo para su implantación

• Hoy en día existen técnicas sistemáticas para manejar muchas de las tareas que surgen en la compilación, y herramientas software que facilitan el diseño


Sistema para procesamiento de un lenguaje


Fases de un compilador


Traducción de una proposición


Análisis sintáctico

• Tres tipos generales de analizadores sintácticos

– métodos universales de análisis sintáctico• algoritmos de Cocke-Younger-Kasami y de Early

– descendentes• construyen árboles de análisis sintáctico desde arriba (raíz) hasta abajo

(hojas)

– ascendentes


Análisis descendente en anchura


Análisis descendente en anchura• Se obtiene una derivación si la entrada pertenece al lenguaje• Puede no ser capaz de determinar si una cadena no está en el lenguaje

– camino infinito: recursividad por la izquierda– solución: conocer la longitud de la cadena

• para ello son necesarios analizadores de varias pasadas

• Implementación práctica: crecimiento exponencial del árbol


Análisis descendente en profundidad


Análisis descendente en profundidad (II)• No está garantizado que se encuentre una derivación para

todas las cadenas del lenguaje– se puede entrar en caminos infinitos

• Ejemplo: cadena de entrada (b) + b


Análisis ascendente• Se construirán las derivaciones más a la derecha• Reducción: dada w=u1qu2, y A q, entonces v=u1Au2• Ejemplo: reducción de la cadena (b) + b a S

• Generación de todas las posibles reducciones de una cadena– w=uv– si u=u1q y A q, se produce la reducción de w a u1Av– hay que probar con todas las posibles combinaciones de u y v


Análisis ascendente en anchura

• Si la cadena forma parte del lenguaje, siempre se encontrará su derivación más a la derecha• Para gramáticas cuyas reglas tengan todas una longitud de su parte derecha mayor que 1, está

garantizado que la longitud del árbol no puede exceder la de la cadena, asegurando la terminación del análisis con una derivación o un fallo


Análisis ascendente en profundidad

• En la pila se almacena [u, i, v], donde uv es la forma sentencial que se va a reducir, e i el identificador de la regla usada en la reducción

• El axioma de la gramática debe ser no recursivo– cualquier GIC se puede transformar a una equivalente con axioma no recursivo– otra posibilidad es eliminar la condición que restringe las reducciones con S, y

cambiar la condición de finalización del lazo desde (u=S) a (u=S y v=λ)


Análisis ascendente en profundidad (II)• Ejemplo: construir la derivación para (b + b) para la gramática AE


Predicción en analizadores descendentes• Construcción de la derivación más a la izquierda para p

– las derivaciones serán de la forma S * uAv• u es el prefijo de p

– analizando lo que resta de cadena de entrada se puede reducir elnúmero de reglas de A que es necesario examinar

• Se asumirá que las gramáticas no tienen símbolos inútiles• Ejemplo: derivación de la cadena acbb para la gramática


Predicción en analizadores descendentes (II)• Sea G = (V, Σ, P, S) una GIC, y

– conjunto predictivo de la variable A: – conjunto predictivo de la regla A w:

• Los conjuntos LA(A wi) satisfacen:–

• para cualquier GIC

– para todo 1 <= i <= j <= n• para una GIC fuertemente LL(k)

• Ejemplo: cadena ab: predicción de tres símbolos

VA∈}|{)( *** Σ∈→→= uxuAvSxALA

} donde ,|{)( *** uAvSxwvxwALA →Σ∈→=→

Un

iiwALAALA

1

)()(=

→=

∅=→∩→ )()( ji wALAwALA


Predicción en analizadores descendentes (III)• Ejemplo: cadena abc: predicción de cuatro símbolos


Predicción en analizadores descendentes (IV)• Sea G = (V, Σ, P, S) una GIC, y k>0 un número natural

–– LAk(A) = trunck(LA(A))– LAk(A w) = trunck(LA(A w))

• Ejemplo: conjuntos predictivos de longitud 3

}con o ,ucon |{)( kuXuvkXuuXtrunck =∈≤∈=


FIRST• Sea G una GIC. Para cada cadena y k>0

–

• Ejemplo:

• Para cada k>0,– FIRSTk(λ) = {λ}– FIRSTk(a) = {a}–– FIRSTk(uv) = trunck(FIRSTk(u) FIRSTk(v))– si A w es una regla de G, entonces

*)( Σ∪∈ Vu}) ,|({)( ** Σ∈→= uxuxtruncuFIRST kk

)}(|{)( 1 uFIRSTvavauFIRST kk −∈=

)()( AFIRSTwFIRST kk ⊆


FOLLOW• Sea G una GIC. Para cada variable y k>0

–

• Ejemplo:

• Para todo k>0, FOLLOWk(S) contiene λ (S es el axioma de G)

VA∈)})(y ,|({)( * vFIRSTxuAvSxtruncAFOLLOW kkk ∈→=


Conjunto predictivo• Sea G una GIC. Para todo k>0, y regla A u1u2 . . . un

– LAk(A) = trunck(FIRSTk(A) FOLLOWk(A))– LAk(A w) = trunck(FIRSTk(w)FOLLOWk(A)) =

trunck(FIRSTk(u1)...FIRSTk(un)FOLLOWk(A))

• Ejemplo:

VA∈


Gramáticas fuertemente LL(k)• Las gramáticas fuertemente LL(k) (Left –la cadena se lee de

izqda. a dcha.- Left –derivación más a la izqda.-) garantizan que los conjuntos predictivos LAk(A) están particionados por los conjuntos LAk(A wi) para cada variable

• Cuando se predice con k símbolos, es útil concatenar un marcador de final de cadena, #k, al final de cada cadena del lenguaje– si S (axioma) es no recursivo, se añade #k al final de cada regla de S– en caso contrario, se crea un nuevo axioma S’ y la regla S’ S#k

• Sea G una GIC con marcador final #k. G es fuertemente LL(k) si siempre que existan dos derivaciones más a la izquierda– S * u1Av1 * u1xv1 * u1zw1

– S * u2Av2 * u2yv2 * u2zw2

– donde ui, wi, z Σ* y |z|=k. Entonces x = y

VA∈

∈


Construcción de FIRSTk

• Ejemplo: First2


Construcción de FOLLOWk

• Ejemplo:

Para A u1 ... un

FL(ui) = FL(ui) trunck { Firstk (ui+1) ... Firstk (un) FL´(A) }

U


Un ejemplo• Ejemplo: conjuntos predictivos de longitud 2 para la

gramática

– LAk(A w) = trunck(FIRSTk(u1)...FIRSTk(un)FOLLOWk(A))

• G es fuertemente LL(2), pues los conjuntos LAk(A wi) particionan LAk(A) para cada variable VA∈


Una gramática fuertemente LL(1)


Analizador fuertemente LL(k)

• Ejemplo: análisis de la cadena (b + b)# para la siguiente gramática fuertemente LL(1)


Gramáticas LL(k)• Sea G una GIC con marcador final #k. G es LL(k) si siempre

que existan dos derivaciones más a la izquierda– S * uAv * uxv * uzw1

– S * uAv * uyv * uzw2

– donde ui, wi, z Σ* y |z|=k. Entonces x = y• Las gramáticas fuertemente LL(k) requieren que exista una

única regla de A que pueda derivar la cadena predictiva zdesde cualquier forma sentencial que contenga A

• Las gramáticas LL(k) sólo requieren que la regla sea única para una forma sentencial dada, uAv

∈


Gramáticas LL(k) (II)• Sea G una GIC, y uAv una forma sentencial de G

– el conjunto predictivo de la forma sentencial uAv es LAk(uAv)=FIRSTk(Av)

– el conjunto predictivo de la forma sentencial uAv y la regla A w es LAk(uAv, A w)=FIRSTk(wv)

• Para seleccionar de forma única una regla para la forma sentencial uAv , el conjunto LAk(uAv) debe estar particionadopor los conjuntos LAk(uAv, A wi)– si la gramática es fuertemente LL(k), esto está garantizado y la

gramática también será LL(k)


Gramáticas LL(k) (III)• Ejemplo: una gramática LL(k) no necesita ser fuertemente

LL(k)

– es fuertemente LL(3), es LL(2), pero no fuertemente LL(2)

• Ejemplo: la siguiente gramática es LL(3), pero no es fuertemente LL(k) para ningún k


Gramáticas LL(k) (IV)• El análisis determinístico con gramáticas LL(k) requiere la

construcción de los conjuntos predictivos para las formas sentenciales generadas durante el análisis

• LAk(uAv, A w) donde w=w1 ... wn y v=v1 ... vm será:– LAk(uAv, A w)=trunck(FIRSTk(w1)...FIRSTk(wn)FIRSTk(v1)...FIRSTk(vm))


Gramáticas LR(k)• Analizadores ascendentes

• LR– left: se lee la cadena de entrada de izquierda a derecha– right: se selecciona la derivación más a la derecha

• Un analizador ascendente determinista trata de reducir la cadena de entrada al símbolo inicial de la gramática


Problemas finales• Dada la gramática G=({a, b}, {S, A, B}, P, S), donde P viene

dada por: • S → C• C → aC | AB | B• A → abA | ab• B → ba | BB

– Obtener el árbol de derivación para el análisis descendente en profundidad con la cadena “aababa”. Mostrar la configuración del árbol y de la pila en cada instante.

– ¿Es la gramática fuertemente LL(2)? Para probarlo es obligatorioconstruir los conjuntos FIRST y FOLLOW (para todas las variables).


Problemas finales (II)• Dada la gramática G=({a, b}, {S, A, B}, P, S), donde P viene

dada por:• S → aAbB | bAbB• A → ab | a• B → aB | b

– Obtener el árbol de derivación para el análisis descendente en profundidad con la cadena “babab”. Mostrar la configuración del árbol y de la pila en cada instante.

– ¿Es la gramática fuertemente LL(2)? Para probarlo es obligatorioconstruir los conjuntos FIRST y FOLLOW (para todas las variables).


Problemas finales (III)• El lenguaje {aiabci | i > 0} es generado por las gramáticas:

– Construir los conjuntos FIRST y FOLLOW de todas las variables, así como los conjuntos predictivos para cada una de las reglas.

– Determinar cuántos símbolos son necesarios para realizar la predicción en cada una de las variables.

– Estimar si la gramática es fuertemente LL(k) para algún valor de k.

Documents

Tema 6 - Compiladores e Interpretes