1 - Uvod

Question 1

Čemu služi specifikacija programskog jezika?

Answer 1

Da se zna:
- kakav je i šta radi određeni jezik
- kako ga implementirati
- za sporazumevanje između projektanta jezika, implementatora jezika i korisnika (programera)…

Question 2

Šta obuhvata specifikacija jezika?

Answer 2

Sintaksu i semantiku

Question 3

Šta je sintaksa?

Answer 3

Gramatika jezika

Question 4

Šta je semantika?

Answer 4

Značenje jezika

Question 5

Šta znači CFG specifikacija sintakse?

Answer 5

Context Free Grammar (Bezkontekstna gramatika)

Question 6

Šta su bezkontekstne gramatike?

Answer 6

Sintakse gde pravila smene ne zavise od okružujućeg konteksta neterminalnog simbola.

Question 7

Šta čini bezkontekstne gramatike?

Answer 7

• konačan skup terminalnih simbola
• konačan skup neterminalnih simbola
• startni (početni) simbol
• konačan skup smena

Question 8

U kojoj notaciji se često pišu bezkontekstne gramatike?

Answer 8

U BNF notaciji (Backus-Naur Form)

Question 9

Za šta se koristi BNF notacija?

Answer 9

Za definisanje sintakse programskih jezika

Question 10

Kako se piše smena u BNF notaciji?

Answer 10

N::=α

Question 11

Kako skraćeno možemo da napišemo
N::=α
N::=ß
…
u BNF notaciji?

Answer 11

N::=α | ß | …

Question 12

U BNF notaciji za smenu N::=α, šta je N a šta je α?

Answer 12

N je neterminal
α je sekvenca terminala i neterminala

Question 13

U BNF notaciji, šta je N::=α | ß | …

Answer 13

Skraćenica za nekoliko pravila sa levom stranom N

Question 14

Koja je alternativna notacija BNF notaciji N::=α ?

Answer 14

<N> → α
</N>

Question 15

Šta definiše CFG?

Answer 15

Definiše jezik te gramatike (skup nizova terminala).

Question 16

U primeru ispod, koje statičko semantičko pravilo nije ispoštovano?
const m~2;
m + x

Answer 16

x je nedefinisano
→ pravilo opsega važenja nije ispoštovano

Question 17

U primeru ispod, koje statičko semantičko pravilo nije ispoštovano?
const m~2;
var n: Boolean;
begin
n := m < 4;
n := n + 1

Answer 17

pogrešan tip
→ pravilo tipa nije ispoštovano

Question 18

Kada se pravila statičke semantike mogu proveriti?

Answer 18

Od strane kompajlera, bez izvršavanja programa

Question 19

Kakve vrste semantike postoje?

Answer 19

Statička i izvršna (run-time) semantika

Question 20

Šta se radi sa izrazima u izvršnoj semantici?

Answer 20

Izrazi se izračunavaju i daju vrednost (i mogu ali ne moraju imati bočne efekte).

Question 21

Šta se radi sa iskazima u izvršnoj semantici?

Answer 21

Iskazi se izvršavaju i proizvode bočne efekte.

Question 22

Šta se radi sa deklaracijama u izvršnoj semantici?

Answer 22

Deklaracije se elaboriraju da proizvedu vezivanja.

Question 23

Šta mogu biti bočni efekti u izvršnoj semantici?

Answer 23

• promena vrednosti promenljive
• obavljanje ulaza/izlaza

Question 24

Kako se izvršava iskaz V := E (semantički neformalno)?

Answer 24

• izraz E se izračuna i daje vrednost v
• v se dodeljuje promenljivoj V

Question 25

Kako se izvršava iskaz sekvence C1; C2 (semantički neformalno)?

Answer 25

• prvo se izvrši iskaz C1
• potom se izvrši iskaz C2

Question 26

Objasniti primer semantike deklaracije?
var I: T

Answer 26

Deklaracija var I: T se elaborira vezujući I za novoalociranu promenljivu, čija inicijalna vrednost nije definisana.
Promenljiva će biti dealocirana na izlasku iz bloka koji sadrži pomenutu deklaraciju.

Question 27

Navesti funkcionalnu strukturu prevodioca.

Answer 27

niz znakova
☼ SKENIRANJE (Leksička analiza)
niz tokena
☼ PARSIRANJE (Sintaksna analiza)
sintaksno stablo
☼ SEMANTIČKA ANALIZA
međukod
☼ OPTIMIZACIJA
☼ GENERISANJE KODA
mašinski kod

Question 28

Šta je skeniranje?

Answer 28

Leksička analiza

Question 29

Šta je parsiranje?

Answer 29

Sintaksna analiza

Question 30

Kako funkcionišu faze u jednoprolaznim prevodiocima?

Answer 30

Isprepleteno:
→ skeniranje tokena
- parsiranje tokena
- provera tokena
- generisanje koda za token
←ne) Kraj ulaza? (da↓

Question 31

Šta su zapravo faze u višeprolaznim prevodiocima?

Answer 31

Faze su zasebni ˝programi˝ koji se izvršavaju sekvencijalno.
Svaka faza čita iz datoteke i zapisuje u novu datoteku.

Question 32

Zašto je nekad bolje imati više prolaza kod prevodilaca?

Answer 32

• ako je memorija kritična (danas irelevantno)
• ako je jezik kompleksan
• ako je važna prenosivost kompajlera

multi-pass compilers are more memory-efficient per pass

Question 33

Koliko-prolazni kompajleri su danas najčešći?

Answer 33

Dvoprolazni prevodioci

Question 34

Šta predstavlja front-end kod dvoprolaznih prevodilaca?

Answer 34

Skeniranje
Parsiranje
Semantička analiza

Question 35

Šta predstavlja back-end kod dvoprolaznih prevodilaca?

Answer 35

Generisanje koda

Question 36

Od čega zavisi prednji kraj dvoprolaznog prevodioca?

Answer 36

Od programskog jezika

Question 37

Od čega zavisi zadnji kraj dvoprolaznog prevodioca?

Answer 37

Od mašine

Question 38

Koje su prednosti dvoprolaznog prevodioca?

Answer 38

• bolja prenosivost
• razne kombinacije između prednjih i zadnjih krajeva su moguće
• optimizacije se lakše vrše na međukodu nego na izvornom kodu

Question 39

Koje su mane dvoprolaznog prevodioca?

Answer 39

• sporije prevođenje
• traži više memorije

two-pass compilers might require more memory for their intermediate representations and data storage over the course of their execution

Question 40

Koja je razlika između prevodioca i interpretatora?

Answer 40

Prevodilac prevodi u mašinski kod
Interpretator ¨neposredno¨ izvršava izvorni kod

Question 41

Kod klasičnog interpretatora, kada nastupa interpretiranje?

Answer 41

Neposredno izvršavanje izvornog koda:
Izvorni kod
☼ SKENIRANJE
☼ PARSIRANJE
◙ INTERPRETIRANJE

Question 42

Kod druge varijante interpretatora, kada nastupa interpretiranje?

Answer 42

Interpretacija međukoda:
Izvorni kod
…prevođenje…
međukod (CIL) virtuelne mašine
◙ VM INTERPRETIRA KOD (simulira fizičku mašinu)

Question 43

Šta znači CIL?

Answer 43

Common Intermediate Language (međukod)