Úvod

Question 1

Čo je to kompilátor? (jednoducho)

Answer 1

Kompiluje program zo zdrojového jazyka do cieľového a generuje errory.

Question 2

Čo je to kompilátor? (formálne)

Answer 2

Zobrazenie z jazyka vstupov do jazyka vystupov

Question 3

Aké poznáme netypické kompilátory?

Answer 3

Dekompilátory (nižšie -> vyššie)
Prekladače jazykov (na rovnakej úrovni)
Kríźové kompilátory (machine code iný ako na akej beží)
Postupné kompilátory (pre abstraktný stroj, Java)
Just in time kompilátory (tesne pred vykonaním kódu)

Question 4

Čo poznáme okrem kompilátorov?

Answer 4

Interpretery

Question 5

Okrem kompilovania, na čo ešte vieme využiť kompilátory?

Answer 5

Lint, LaTex -> pdf, SQL, pretty printery

Question 6

Opíš kroky spracovania programu

Answer 6

Question 7

Opíš fázy kompilácie (aj rozdelenie)

Answer 7

Question 8

Aký je rozdiel medzi frontendom a backendom?

Answer 8

FE - fázy závislé na zdrojovom jazyku
BE - fázy závislé na ciel’ovom jazyku (procesore)

Question 9

Čo je medzi FE a BE?

Answer 9

medzikód - prechodná reprezentácia zdrojového programu

Question 10

Aké sú výhody rozdelenia na BE a FE?

Answer 10

Rôzne back-endy pre rovnaký vstupný jazyk
Rôzne front-endy pre rovnaký výstupný jazyk
Strojovo nezávislá optimalizácia medzikódu - HLO

Question 11

Čo je lexikálna analýza?

Answer 11

Znaky zdrojového programu sú načítané a zoskupené do tokenov

Question 12

Čo sú tokeny? Ako ich rozpoznávame?

Answer 12

ret’azce so spoločným významom, tvoria výstup lexikálnej analýzy

regulárnymi výrazmi

Question 13

Čo je to lexéma?

Answer 13

Konkrétny výskyt tokenu
napr. x = 3, tak x je lexéma pre token id, 3 je lexéma pre digit a pod.

Question 14

Čo je to syntaktická analýza?

Answer 14

Generovanie stromu odvodenia - bezkontextové jazyky, resp. syntaktického stromu

Question 15

Aké poznáme algoritmy na zistenie príslušnosti slova do bezk. jazyka?

Answer 15

Algoritmus CYK v n^3
Top-down a bottom-up v O(n), ale len pre niektoré (LL(1)) a pod

Question 16

Čo dať do LA a čo do SA?

Answer 16

LA: konštrukcie definované bez rekurzie (identifikátory,..)
SA: konštrukcie definované pomocou rekurzie (príkazy, výrazy,..)

Question 17

Opíš Syntaxou riadený preklad

Answer 17

Prepojuje syntaktickú analýzu s d’alšími fázami kompilácie
K pravidlám gramatiky sú priradené sémantické akcie (napr. generovanie medzikódu)

Question 18

Čo je syntéza v sémantickej analýze?

Answer 18

Zozbieranie infomácií o typoch pre ďalšiu analýzu

Question 19

Čo je tabuľka symbolov?

Answer 19

Dátova štruktúra, kde sa počas analýzy ukladajú informácie o identifikátoroch

Question 20

Čo obsahuje tabuľka symbolov?

Answer 20

záznam pre každý identifikátor s pol’ami pre jeho atribúty
* Alokovaná pamät’
* Typ
* Rozsah platnosti
* Pri menách procedúr aj počet a typ parametrov, spôsob
predávania parametrov, typ návratovej hodnoty

Question 21

Aké chyby môžu nastať v lexikálnej, syntaktickej a sémantickej analýze?

Answer 21

• Lex. analýza: nespracované znaky na vstupe netvoria
  žiadny token
• Synt. analýza: postupnost’ tokenov nespĺňa štrukturálne
  pravidlá
• Sém. analýza: syntaktická konštrukcia nemá význam
  vzhl’adom na danú operáciu

Question 22

Ako je zvyčajne reprezentovaný medzikód?

Answer 22

ako trojadresový kód
* x := y op z
* Implementovaný ako záznam so štyrmi položkami: op, arg1, arg2, res

Question 23

Čo vieme robiť s medzikódom ešte?

Answer 23

Optimalizovať rýchlosť, veľkosť výsledného kódu a pod.

Question 24

Ako prebieha generovanie kódu?

Answer 24

• Priradenie miest v pamäti pre jednotlivé premenné
• Preklad inštrukcií medzikódu do postupností inštrukcií ciel’ového jazyka (assembler, machine code,. …)

Question 25

Načo je ANTLR?

Answer 25

Generuje parser, pre syntaktickú analýzu, pomocou bezkontextovej gramatiky. Môže obsahovať aj lexer.