Syntaxou riadený preklad

Question 1

Čo je syntaxou riadený preklad?

Answer 1

prepojenie syntaktickej
analýzy s nasledujúcimi fázami kompilácie

Question 2

Čo robí syntaxou riadený preklad?

Answer 2

K pravidlám gramatiky sú priradené akcie - Generovanie kódu, ukladanie do tabuľky symbolov, chybové hlásenia, …

Question 3

Čo je to prekladová schéma?

Answer 3

Podobná syntaxou riadenej definícií, ale viac implementačných detailov (menej abstraktná)

Question 4

Ako delíme syntaxou riadený preklad podľa prechodov?

Answer 4

Počas parsovania - jeden prechod, bez explicitnej konštrukcie stromu odvodenia
Alebo prechádzaním stromu odvodenia

Question 5

Čo je Syntaxou riadená definícia (SRD)?

Answer 5

Abstraktná špecifikácia syntaxou riadeného prekladu
Vznikne rozšírením CF gramatiky vstupného jazyka o atribúty a sémantické pravidlá

Question 6

Čo sú atribúty?

Answer 6

Priradené k symbolom gramatiky: X.x = atribút x symbolu X
Nesú d’al’šiu informáciu o danom symbole - hodnota

Question 7

Čo sú sémantické pravidlá?

Answer 7

Priradené k pravidlám gramatiky: B.b := f(C1.c1,…,Ck.ck)
Slúžia pre výpočet atribútov symbolov v rámci jedného pravidla gramatiky
Môžu obsahovat’ funkcie s bočným efektom (napr. vypísanie hodnoty na výstup)

Question 8

Ako nazývame SRD bez side effect funkcií?

Answer 8

atribútové gramatiky

Question 9

Čo je vrchol v strome odvodenia?

Answer 9

záznam s poľami, teda symbol + atribúty

Question 10

Aké poznáme typy atribútov?

Answer 10

Syntetizované a dedičné

Question 11

Aké sú to syntetizované atribúty?

Answer 11

Hodnoty sa vypocítajú podľa hodnôt atribútov detí
často používané

Question 12

Aké sú to dedičné atribúty?

Answer 12

Hodnoty sa vypočítajú podl’a hodnôt atribútov rodičov a súrodencov

Question 13

Kedy je atribút závislý?

Answer 13

Question 14

Čo je anotovaný strom odvodenia?

Answer 14

Strom odvodenia s vypočítanými hodnotami atribútov

Question 15

Opíš prvý príklad - kalkulačka

Answer 15

pozri slide

Question 16

Ako nazývame SRD iba so syntetizovanými atribútmi?

Answer 16

S-atribútová definícia a vždy sa dá vyhodnotit’ na strome odvodenia prechodom zdola-nahor

Question 17

Opíš druhý príklad - deklarácie

Answer 17

pozri slide

Question 18

Čo je to graf závislostí?

Answer 18

Znázorňuje závislosti medzi atribútami
Orientovaný graf D = (V,E)
* V - množina vrcholov, atribúty symbolov gramatiky
* E -množina hrán, X.x →Y.y ∈E ak Y.y je závislý na X.x

Question 19

Opíš algoritmus vytvorenia grafu závislostí

Answer 19

Question 20

Čo je topologické triedenie?

Answer 20

Usporiadanie vrcholov m1,…,mk, také, že platí:
Ak existuje hrana mi → mj potom mi je pred mj .

Question 21

Opíš syntaktický strom

Answer 21

Question 22

Aké poznáme funkcie na konštrukciu vrcholov?

Answer 22

1 mknode(op, left , right )
2 mkleaf (id, entry ) ⇒ Vrátia smerník na skonštruovaný vrchol
3 mkleaf (num, val )

Question 23

Ako reprezentujeme vrcholy pre operátory, konštanty a identifikátory?

Answer 23

Question 24

Opíš čo sa deje na slide Syntaktický strom pre výrazy - Syntaxou riadená definícia

Answer 24

slide cca pred stredom

Question 25

Čo sú to S-atribútové definície?

Answer 25

Obsahujú iba syntetizované atribúty

Question 26

Čo sú to L-atribútové definície?

Answer 26

Obsahujú syntetizované aj dedičné atribúty, ale sú tu určité obmedzenia pre výpočet dedičných atribútov Zahŕnajú všetky SRD, ktoré sa implementujú bez explicitnej konštrukcie stromu odvodenia

Question 27

Aký je vzťah S a L atribútových definícií?

Answer 27

S je vlastná podmnožina L

Question 28

Aké obmedzenia použijeme aj keď sa S aj L dajú implementovať zhora-nadol aj zdola-nahor?

Answer 28

1 Gramatika je LR a SRD je S-atribútová 2 Gramatika je LL a SRD je L-atribútová

Question 29

Definuj L-atribútovú definíciu aj s príkladom

Answer 29

Question 30

Ako vyhodnocujeme atribúty v L-atribútovej definícii?

Answer 30

Napr. DFS

Question 31

Čo sú to prekladové schémy? Aj s príkladom

Answer 31

Question 32

Aké poznáme obmedzenia pre prekladové schémy?

Answer 32

Question 33

Opíš prekladovú schému s kalkulačkou niekde na slide v 2/3

Answer 33

Question 34

Ako implementujeme S-atribútovú definíciu pri LR parsovaní?

Answer 34

Question 35

Opíš príklad -S-atribútová definícia pri LR parsovaní?

Answer 35

Question 36

Opíš čo sa deje na odfotenom slide

Answer 36

Question 37

Ako vieme implementovať L-atribútovú definíciu pri prediktívnom parsovaní?

Answer 37

Question 38

Opíš čo sa deje na nasledujúcom slide

Answer 38

Question 39

Opíš ako sa odstraňuje ľavá rekurzia z prekladovej schémy (na slide)

Answer 39

Question 40

Opíš konštrukciu prediktívneho prekladača

Answer 40