Prekladov a atribtov gramatika Prekladov gramatiky Vychdzaj z

Prekladová a atribútová gramatika

Prekladové gramatiky Vychádzajú z predpokladov: n Jednoduchej SDTS Každé pravidlo má tvar: A x 0 B 1 x 1. . . Bnxn , y 0 B 1 y 1 …Bnyn , Množiny vstupných a výstupných symbolov sú disjunktné T D = n Potom možno každé pravidlo SDTS písať ako pravidlo gramatiky, teda v tvare A x 0 y 0 B 1 x 1 y 1. . . Bnxnyn

Prekladové gramatiky Df Prekladovou gramatikou (PG) budeme nazývať BKG Gp = ( N, T D, P, S ) pričom T D = Vstupným / výstupným homomorfizmom hi / ho prekladovej gramatiky Gp nazývame zobrazenie hi : N T D N T {e } ho : N T D N D {e }

Vstupný a výstupný homomorfizms hi(X) = X pre X N T ; Inak hi(X) = e ho(X) = X pre X N D ; Inak ho(X) = e Rozšírenie na definičné obory (N T D )* hi(e) = ho(e) = e hi(X ) = hi(X) hi( ) ho(X ) = ho(X) ho( ) X N T D (N T D )*

Preklad špecifikovaný PG Nech Gp = ( N, T D, R, S ), pričom T D = Potom preklad P(Gp) špecifikovaný Gp je definovaný ako: P(Gp) = { (hi(w), ho(w) ) / w L (Gp)} Reaťazec w nazývane charakteristickou vetou – reťazcom prekladu P(Gp) Ak (x, y) P(Gp) , potom x T* nazývame vstupná veta alebo vstupný reťazec, y D* nazývame výstupná veta alebo výstupný reťazec – prekladom reťazca x

Sémantická jednoznačnosť Preklad, v ktorom každej vstupnej vete zodpovedá jediná výstupná veta nazývame jednoznačný. Prekladová gramatika sa nazýva sémanticky jednoznačná ak neobsahuje žiadne dve pravidlá tvaru A | Pre ktoré platí hi( ) = hi( )

Príklad Majme nasledujúcu prekladovú gramatiku G = ({E, T, F}, {+, *, a, (, ) } {+’, *’, a’}, P, E) P: E E + T +’ | T T T * F *’ | F F ( E ) | a a’ n

Preklad (derivácia) reťazca (a + a ) * a; Cont. E E + T +’ | T T T * F *’ | F F ( E ) | a a’ (a a’ +’ ) * F *’ (a a’ +’ ) * a a’ *’ Charakteristická veta: (a a’ +’ ) * a a’ *’ Vstupná veta: (a + a) * a Výstupná veta: a’ a’ +’ a’ *’

Prekladový strom n Prekladový strom je derivačný strom, ktorý zodpovedá derivácii charakteristickej vety

Prekladový strom k prekladu reťazca (a + a ) * a E T T ( E T a * F E + F a’ F ) T F a +’ a’ a *’ a’

Atribútové gramatiky n n n Gramatiky ako špecifikačné prostriedky umožňujú cez deriváciu generovať vety jazyka Umožňujú kontrolu štruktúry jazyka Neumožňujú počas derivácie tok informácií spojených so symbolmi a brať takdo úvahy kontext Už sme povedali že jednotlivé časti prekladača zdielajú „spoločnú pamäť“ – tabuľku symbolov Toto umožňujú atribútové gramatiky cez atribúty pripojené k symbolom gramatiky

Atribútové gramatiky df Pod atribútovou gramatikou AG rozumieme trojicu AG = (G, TA, F) Kde G je BKG, TA je množina typov atribútov F je množina sémantických pravidiel

Gramatika v AG G = (N, T, P, S) je BKG, ktorej pravidlá budeme písať v tvare p: X 0 X 1 X 2. . . Xnp alebo Xp, 0 Xp, 1 Xp, 2. . . Xp, np Čo nám umožní identifikovať miesto symbolu v pravidle. Tak ako doteraz , aj v prípade atribútových gramatík sa budeme snažiť zápis riešiť lexikograficky a budeme naďalej využívať kontext a vyhnúť sa tak indexovaniu

Atribúty TA je množina typov atribútov. Pre každý symbol X N T existujú disjuktné množiny D(X) typov dedičných atribútov, S(X) typov syntetizovaných atribútov. D(X) = pre X T – ošetrujú sa iným spôsobom D(X) = pre X = S – ako uvidíme, začiatočný symbol „môže dediť“ z operačného prostredia A(X) = D(X) S(X) TA = A(X) X N T

Sémantické pravidlá F Sú spojené so syntaktickými pravidlami gramatiky. Slúžia na vyhodnocovanie atribútov spojených s každým symbolom gramatiky. Súčasne sa zabezpečuje tok informácií – atribútov spojených so symbolmi gramatiky počas derivácie.

Vyhodnotenie atribútov n n n Ku každému výskytu symbolu Xk v pravidle p: X 0 X 1 X 2. . . Xnp , 0 k np, Sú pripojené atribúty, ktorých typy určuje A(Xk). Atribút pripojený k Xk v pravidle „p“ označujeme (p, t, k) Pre každý dedičný atribút neterminálu na pravej strane pravidla a každý syntetizovaný atribút ľavých strán pravidla existuje v F sémantické pravidlo pre vyhodnotenie príslušného atribútu z atribútov ostatných symbolov pravidla. Syntetizované atribúty terminálov sa ošetrujú samostatne

Množina závislostí Zp, t, k je množina atribútov, ktoré používa sémantické pravidlo fp, t, k na výpočet hodnoty atribútu (p, t, k)

Zápis Ako som uviedol, budeme využívať kontext Ak je pravidlo známe – p vynecháme. Ako výberový operátor hodnoty typu atribútu daného symbolu budeme používať „. “. Teda ak je pravidlo p: X 0 X 1 X 2. . . Xnp Potom hodnotu typu atribútu t, symbolu Xk budeme označovať Xk. t.

Sémanticky vyhodnotený derivačný strom Nech AG = (G, TA, F) je atribútová gramatika, w L(G), potom sémanticky vyhodnoteným derivačným stromom pre w je derivačný strom D vety w v G rozšírený takto: 1. Nech u 0 je vrchol v D, ohodnotený X. Ak A(X) = { t 1 , t 2 , … , tn}, potom k ohodnoteniu vrchola u sa pripoja atribúty { t 1 , t 2 , … , tn}, 2. Nech u 0 je vnútorný vrchol D ohodnotený Xp, 0 priami nasledovníci u 1, u 2, …, un sú ohodnotení Xp, 1 , Xp, 2 , … , Xp, n. Potom sa k vrcholom ui pripoja atribúty vyhodnotené na základe sémantického pravidla fp, t, i.

Vyhodnotenie atribútov sémantickým pravidlom fp, t k Ak tk D (Xp, k ) pre 1 k n, resp. t 0 S (Xp, 0 ) a v F je sémantické pravidlo fp, t, k : (p, t, k) : = V, kde V je výraz s atribútmi zo Zp, t, k , potom hodnota atribútu t pripojeného k vrcholu uk je rovná hodnote výrazu V, v ktorom je atribút (p, t’, j) pre 1 j n, t’ A(Xp, j), nahradený hodnotou atribútu t’ pripojeného k vrcholu uj.

Zobrazenie vyhodnotenia atribútov pre p: X 0 X 1 X 2. . . Xnp Dedičné atribúty X 0 Syntetizované atribúty X 0 Sémantické pravidlá pre p da X 1 sa da X 2 sa da Xn sa

Ošetrenie terminálov Terminálne symboly sa „ošetrujú“ v rámci lexikálnej analýzy. n V rámci sémanticky vyhodnoteného derivačného stromu už hovoríme iba o atribútovaných reťazcoch – symbolom sú už atribúty priradené a vyhodnotené. n

Príklad Nasledujúcou atribútovou gramatikou špecifikujeme spôsob vyhodnocovania aritmetického výrazu. Hodnotu číslice získame funkciou kód, teda napr. z ASCII kódu G = ({E, T, F}, {0, 1, …, 9}, P, E) TA = {v} Priradenie: E, T, F ako syntetizovaný atribút.

Pravidlá – syntaktické a sémantické Syntax E E+T E T T T*F T F F (E) F C F FC C 0 |1 | … | 9 Sémantika E 0. v : = E 1. v + T. v E. v : = T. v T 0. v : = T 1. v * F. v T. v : = F. v : = E. v F. v : = C. v F 0. v : = 10 * F 1. v + C. v : = kód(č) pre každú číslicu

Sémanticky vyhodnotený derivačný strom E v: =171 T v: =19 * 9 T v: =19 * F v: =19 E v: =17+2) ( E v: =17+ T v: =2 T v: =17 F v: =2 F v: =10*1+7 F v: =1 C v: =1 1 v: =1 C v: =7 7 v: =7 C v: =2 2 v: =2 F v: =9 C v: =9 9 v: =9

Poučenie z príkladu n n n Aby sme mohli vyhodnoť sémantické pravidlo, musíme poznať hodnoty atribútov v príslušnej množine závislostí (musíme vedieť vykonať príkaz : = , teda vyhodnotiť výraz V na pravej strane : =. To poznáme) Vyhodnotenie atribútov sa uskutočňuje pechádzaním derivačného stromu metódou „pre order“ – ľavou deriváciou vytvárame derivačný strom, potom sa vraciame s postupným vyhodnotením atribútov Derivačný strom nemusí byť vyhodnotiteľný jedným prechodom (dokonca môžu vznikať cykly)

LA – atribútové gramatiky Nech AG = (G, TA, F) je atribútová gramatika, v ktorej každá množina závislostí spĺňa Podmienku Zp, t, k D(Xp, 0) ni=1 S(Xp, i) Kde pre k = 0 je t S (Xp, 0 ) , pre 1 k n je t D (Xp, k ) Potom atribúty derivačného stromu možno vyhodnotiť jedným prechodom, ak Zp, t, k ni=k. S(Xp, i) = Pre 1 k n , t D (Xp, k )

Inými slovami Jedným prechodom derivačným stromom možno atribúty vyhodnotiť vtedy, ak v každom kroku prechodu stromu spôsobom „pre – order“ poznáme všetky potrebné hodnoty. To znamená, že atribúty vnútorného vrcholu môžu závisieť iba od toho, - čo symbol, ktorým je ohodnotený „zdedil“ – získali sme to počas prechodu k danému vrcholu, (nesieme ich prechádzaním „pre-order“) alebo - od toho, čo možno zosyntetizovať z atribútov, ktoré sú v strome „pod ním“ (prinesieme ich, keď sa budeme vracať)

Atribútová prekladová gramatika APG je trojica APG = (G, TA, F) Kde G je prekladová gramatika TA množina typov atribútov F je množina sémantických pravidiel Rovnako sú stanovené aj podmienky vyhodnotenia atribútov jedným prechodm – budeme hovoriť o LA APG

Príklad Majme danú gramatiku jazyka zjednodušených deklarácií jazyka typu algol / C G= ({S, D, L}, {i, , , ; , real, int, bool}, P, S}) S D D real L ; D int L ; D bool L ; L i L L, i

Poznámky Symbol i repreentuje identifikátor a jeho atribútom bude meno identifikátora n Chceme špecifikovať preklad deklarácií do postupnosti príkazov DCL(i, typ, adr), kde i je meno identifikátora, typ je označenie jeho typu, adr udáva adresu pridelenú premennej s identifikátorom i. n Vytvoríme si zodpovedajúcu APG. n

PG preklad deklarácií Východisko - príkaz DCL potrebujeme generovať pre každú premennú => objaví sa ako výstupný symbool k „identifikátoru premennej“. Vytvoríme najprv PG. Jej pravidlá budú: S D D real L ; D int L ; D bool L ; L i DCL L L, i DCL Gp =({S, D, L}, {i, , , ; , real, int, bool} {DCL}, P, S})

APG preklad deklarácií Atribúty: Identifkátor i – požadujeme jeho meno. Bude jeho atribútom. Textový tvar získame cez funkciu text. Výstupný symbol DCL – požadujeme aby dodal ifnformácie - meno identifikátora deklarovanej premennej, - jej typ - jej adresu Preto symbol DCL bude mať atribúty: meno, typ a adr

Tok informácií pri derivácii Aby sme zabezpečili „tok“ informácií, budú uvedené atribúty pripojené aj k ostatným neterminálom Bázovú adresu ukladania premenných získame / zdedíme z operačného prostredia – bude to prvá voľná adresa na ukladanie premenných Alokáciou adresy premennej treba určiť „novú“ prvú voľnú adresu. Práve to nám umožňuje syntetizovaný atribút, ktorý „zvýši“ pôvodnú „prvú voľnú“ adresu, ktorú „zdedil“ a ponúkne ju ako „dedičstvo“ pre ďalší symbol. Preto atribút adr bude dedičný a syntetizovaný.

Tok informácií pri derivácii – zdielanie informácie Z programovacích jazykov vieme, že meno typu platí pre celý zoznam premenných uvedených v danej deklarácii. Preto treba zabezpečiť aj tok „tejto informácie“ a umožniť jej zdielanie všetkými premennými v danom zozname. n Maná dedičných a syntetizovaných atribútov budú mať prefixy d resp. s. n

Pravidlá APG Syntax S D D real L ; D int L ; D bool L ; Sémantika D. dadr : = S. dadr S. sadr : = D. sadr L. dadr : = D. dadr D. sadr : = L. sadr L. dtyp : = real Analogicky až na int Analogicky až na bool

Pravidlá APG Cont, L i DCL L L, i DCL. did : = text (i) DCL. dtyp : = L. dtyp DCL. dadr : = L. dadr L. sadr : = L. dadr + 1 L 1. dtyp : = L 0. dtyp L 1. dadr : = L 0. dadr DCL. did : = text (i) DCL. dtyp : = L 0. dtyp DCL. dadr : = L 1. sadr L 0. sadr : = L 1. sadr + 1

Poznámky Adresu sme zvyšovali o „ 1“. V realite treba zohľadniť dĺžku slova n V DS budeme používať skrátené zápisy da a sa pre dadr a sadr. Uvedieme ich hneď pri derivácii. n

Sémanticky vyhodnotený DS L int L dtyp, da, sa , +1 i text(i)-ia S da sa D da sa dtyp, da, sa+1 i ; text(i)-ic DCL did, dtyp, da <ic, int, baza+2> i text(i)-ib DCL did, dtyp, da <ia, int, baza> DCL did, dtyp, da <ib, int, baza+1

OK