dr miroslav hajduković dr zorica suvajdžin rakić dr Žarko …druga cmpu a,b naredbu jmp @exit1...
TRANSCRIPT
![Page 1: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/1.jpg)
Programski prevodiocidr Miroslav Hajduković
dr Zorica Suvajdžin Rakićdr Žarko Živanov
Novi Sad 2013.
![Page 2: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/2.jpg)
2/35
Uvod Zadatak programskih prevodilaca je da:
prevode programe koji su napisani jednim – izvornim programskim jezikom u programe istog značenja koji su napisani drugim – ciljnim programskim jezikom
![Page 3: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/3.jpg)
3/35
Uvod Primer izvornog jezika:
C C++ Pascal
Primer ciljnog jezika: hipotetski asemblerski
jezik Intelov asemblerski jezik mašinski jezik
![Page 4: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/4.jpg)
4/35
Uvod
![Page 5: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/5.jpg)
5/35
Mašinski jezik Mašinski kod ili mašinski jezik je sistem nedeljivih instrukcija
koje izvršava CPU Svaka instrukcija izvršava specifičan zadatak
operacije nad podacima u registru ili u memoriji, npr. add ili mov
jump operacije odlučivanje koja će se sledeća instrukcija izvršiti često uslovna u zavisnosti od rezultata izvršavanja
prethodne instrukcije Svaki izvršni (executable) program sastoji se od niza ovih
atomskih instrukcija
![Page 6: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/6.jpg)
6/35
Uvod Za prevođenje je potrebno:
1. uspostaviti korespondenciju iskaza (“rečenica”) izvornog i ciljnog programskog jezika
- napraviti ekvivalencije između rečenica 2 jezika2. prepoznati iskaze (“rečenice”) izvornog programskog jezika
i 3. zameniti ih korespondentnim iskazima (“rečenicama”)
ciljnog programskog jezika
![Page 7: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/7.jpg)
7/35
Primer prevođenja Segment programa za računanje najvećeg zajedničkog delioca
dva prirodna broja, napisan programskim jezikom C:
Prethodni segment programa treba prevesti u segment programa koji je napisan hipotetskim asemblerskim jezikom
a = 12;b = 8;while (a != b) if (a > b) a = a – b; else b = b – a;
![Page 8: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/8.jpg)
8/35
Hipotetski asemblerski jezikNaredba Značenje
CMP[S,U] op1, op2 Status na osnovu op1 - op2
JMP labela Bezuslovni skok na adresu
JEQ labela Skok ako nakon poređenja op1 = op2
JNE labela Skok ako nakon poređenja op1 != op2
JGT[S,U] labela Skok ako nakon poređenja op1 > op2
JLT[S,U] labela Skok ako nakon poređenja op1 < op2
JGE[S,U] labela Skok ako nakon poređenja op1 >= op2
JLE[S,U] labela Skok ako nakon poređenja op1 <= op2
PUSH operand Vrednost operanda na stek
POP operand Vrednost sa steka u operand
CALL labela Poziv potprograma
RET Povratak iz potprograma
![Page 9: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/9.jpg)
9/35
Hipotetski asemblerski jezik
Naredba Značenje
ADD[S,U] op1, op2, op3 op3 <- op1 + op2
SUB[S,U] op1, op2, op3 op3 <- op1 - op2
MUL[S,U] op1, op2, op3 op3 <- op1 * op2
DIV[S,U] op1, op2, op3 op3 <- op1 / op2
MOV op1, op2 op2 <- op1
Direktiva ZnačenjeWORD n Zauzimanje n memorijskih lokacija
Sve memorijske lokacje i registri su 32-bitni (4 bajta)
Aritmetičke naredbe i skokovi mogu biti označeni (S) ili neoznačeni (U).
Radni registri imaju imena od %0 do %15, pri čemu je %13 registar za povratnu vrednost funkcije, %14 je pokazivač frejma, dok je %15 pokazivač vrha steka.
Konstante se označavaju sa prefiksom $ (na primer $15).
Labele se pišu navođenjem imena praćenim dvotačkom (na primer petlja:). Sistemske labele počinju znakom @ (na primer @for:).
![Page 10: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/10.jpg)
10/35
Primer prevođenja Šta su reči?
a =
12
;
while
>
Šta su rečenice? b = 8;
a = a – b;
a = 12;b = 8;while (a != b) if (a > b) a = a – b; else b = b – a;
![Page 11: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/11.jpg)
11/35
Primer prevođenja Korespondencija iskaza programskog jezika C i naredbi
hipotetskog asemblerskog jezika• podrazumeva se da neoznačenoj celobrojnoj promenljivoj a odgovara memorijska lokacija sa labelom a, a • neoznačenoj celobrojnoj promenljivoj b odgovara memorijska lokacija sa labelom b
Iskazi pridruživanja (= rečenice) C HAJ
a = 12;b = 8;a = a - b;b = b - a;
MOV $12,aMOV $8,bSUBU a,b,aSUBU b,a,b
![Page 12: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/12.jpg)
12/35
Primer prevođenja
while iskaz
if iskaz
while (a != b) while_telo
@while0: CMPU a,b JEQ @false0
@true0: while_telo JMP @while0
@false0:
if (a > b) then_teloelse else_telo
@if1: CMPU a,b JLEU @false1
@true1: then_telo JMP @exit1
@false1: else_telo
@exit1:
![Page 13: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/13.jpg)
13/35
Primer prevođenja
a = 12;b = 8;while (a != b) if (a > b) a = a – b; else b = b – a;
MOV $12,a...
![Page 14: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/14.jpg)
14/35
Primer prevođenja
a = 12;b = 8;while (a != b) if (a > b) a = a – b; else b = b – a;
MOV $12,aMOV $8,b...
![Page 15: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/15.jpg)
15/35
Primer prevođenja
a = 12;b = 8;while (a != b) if (a > b) a = a – b; else b = b – a;
MOV $12,a MOV $8,b
@while0: CMPU a,b JEQ @false0
@true0: ... JMP @while0
@false0:
![Page 16: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/16.jpg)
16/35
Primer prevođenja
a = 12;b = 8;while (a != b) if (a > b) a = a – b; else b = b – a;
MOV $12,a MOV $8,b
@while0: CMPU a,b JEQ @false0
@true0:@if1:
CMPU a,b JLEU @false1
@true1: ... JMP @exit1
@false1: ...
@exit1: JMP @while0
@false0:
![Page 17: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/17.jpg)
17/35
Primer prevođenja
a = 12;b = 8;while (a != b) if (a > b) a = a – b; else b = b – a;
MOV $12,a MOV $8,b
@while0: CMPU a,b JEQ @false0
@true0:@if1:
CMPU a,b JLEU @false1
@true1: SUBU a,b,a JMP @exit1
@false1: ...
@exit1: JMP @while0
@false0:
![Page 18: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/18.jpg)
18/35
Primer prevođenja
a = 12;b = 8;while (a != b) if (a > b) a = a – b; else b = b – a;
MOV $12,a MOV $8,b
@while0: CMPU a,b JEQ @false0
@true0:@if1:
CMPU a,b JLEU @false1
@true1: SUBU a,b,a JMP @exit1
@false1: SUBU b,a,b
@exit1: JMP @while0
@false0:
![Page 19: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/19.jpg)
19/35
Analiza prevedenog programa MOV $12,a MOV $8,b@while0: CMPU a,b JEQ @false0@true0:@if1: CMPU a,b JLEU @false1@true1: SUBU a,b,a JMP @exit1@false1: SUBU b,a,b@exit1: JMP @while0@false0:
suvišna naredba druga CMPU a,b
naredbu JMP @exit1
treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka
do neefikasnosti je došlo zbog parcijalnog pristupa prilikom zamene iskaza izvornog jezika iskazima ciljnog jezika i nesagledavanja šireg konteksta u kome se zamena obavlja
ovim problemom bavi se optimizacija
MOV $12,a MOV $8,b@while0: CMPU a,b JEQ @false0@true0:@if1: JLEU @false1@true1: SUBU a,b,a JMP @while0@false1: SUBU b,a,b@exit1: JMP @while0@false0:
![Page 20: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/20.jpg)
20/35
Prevođenje Prevođenje je zasnovano na prepoznavanju iskaza (rečenica)
izvornog jezika Sastoji se od prepoznavanja
nizova znakova koji obrazuju simbole (reči) nizova simbola koji obrazuju iskaze (rečenice)
U toku prevođenja se otkrivaju i greške koje se prijavljuju korisnicima
reč → simbolrečenica → pojam
![Page 21: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/21.jpg)
21/35
Prevođenje - analiza Prepoznavanje iskaza izvornog programskog jezika – analiza
prepoznavanje simbola: leksička analiza otkrivanje pogrešnih simbola: leksičke greške
primer: upotreba nedozvoljenih karaktera, npr: cou%nt
prepoznavanje iskaza: sintaksna analiza otkrivanje (formalno) pogrešnih iskaza: sintaksne greške
primer: izostavljanje otvorene male zagrade iza if
prepoznavanje značenja iskaza: semantička analiza otkrivanje semantički pogrešnih iskaza: semantičke greške
primer: korišćenje nedefinisane promenljive
a else>if)!=(while8b;12=
SIMBOLI
![Page 22: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/22.jpg)
22/35
Prevođenje - analiza leksička analiza (lexical analisys)
leksički ispravno: count, a3, = leksička greška: cou%nt, 3a, :=
sintaksna analiza (syntax analisys) sintaksno ispravno: if(a>3) a=1; sintaksna greška: if(a>3 a=1;
semantička analiza (semantic analisys) semantički ispravno: int a; a=3; semanička greška: int a; b=3;
![Page 23: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/23.jpg)
23/35
Osvrt na prevođenje - sinteza Generisanje iskaza ciljnog jezika – sinteza
Program prevodilac: KOMPAJLER Deo kompajlera zadužen za leksičku analizu: SKENER Deo kompajlera zadužen za sintaksnu analizu: PARSER Deo kompajlera zadužen za sintezu: GENERATOR KODA Optimizacija izgenerisanog programa
izraz optimizacija se koristi u smislu poboljšanja programa, a ne u smislu pravljenja optimalnog programa
PREVOÐENJEPROGRAMA
ANALIZAIZVORNOGPROGRAMA
SINTEZACILJNOG
PROGRAMA
OPTIMIZACIJACILJNOGPROGRAMA
= + +
![Page 24: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/24.jpg)
24/35
Prevođenje - analiza
![Page 25: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/25.jpg)
25/35
Leksička i sintaksna analiza teksta Sintaksna analiza se oslanja na leksičku analizu Leksička i sintaksna analiza omogućuju prepoznavanje iskaza
programskog kao i rečenica govornog jezika, pa se mogu primeniti ne samo na programski nego i na obični tekst
Na primer, leksička i sintaksna analiza običnog teksta su potrebne da bi se odredio ukupan broj reči u tekstu ukupan broj rečenica u tekstu ukupan broj linija
![Page 26: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/26.jpg)
26/35
Sintaksa jezika Za leksičku i sintaksnu analizu (programskog ili običnog)
teksta potrebno je poznavati sintaksu, odnosno gramatiku (programskog ili govornog) jezika koja određuje pravila pisanja njegovih iskaza
Gramatika može biti zadana neformalno: reč je niz slova rečenica je niz reči iza kojih dolazi tačka tekst je niz rečenica
Neformalna gramatika je neprecizna
![Page 27: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/27.jpg)
27/35
Formalna gramatika Gramatika (programskog) jezika se izražava na formalan način u
BNF obliku: Bakus-Naurova forma (Backus-Naur form) Ovako izražena gramatika se sastoji od pravila koja određuju
dozvoljene načine ređanja pojmova i simbola :
pojam → pojmovi i/ili simboli
Pravilo ima: levu stranu (pre znaka →) desnu stranu (iza znaka →)
Leva strana pravila sadrži pojam koji može biti zamenjen sekvencom pojmova i/ili simbola koje sadrži desna strana pravila
Jedan od pojmova predstavlja polazni pojam Pojmovi su vezani za sintaksnu analizu (nonterminal symbol) Simboli su vezani za leksičku analizu (terminal symbol) primer:
dodela → ime ”=“ izraz ”;“
![Page 28: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/28.jpg)
28/35
Formalna gramatika za običan teksttext → ε → text sentence
sentence → capital_word words dot
words → ε → words word → words capital_word
word → small_letter → word small_letter
capital_word → capital_letter → capital_word small_letter
dot → "."
![Page 29: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/29.jpg)
29/35
Formalna gramatika za običan tekstcapital_letter → "A" → "B" → "C"
... → "Z" small_letter → "a" → "b" → "c"
... → "z"
Napomene Pojmovi su napisani kosim slovima (italikom) ε označava praznu desnu stranu pravila (prazan string “”) Razmak i kraj linije imaju funkciju separatora simbola
![Page 30: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/30.jpg)
30/35
Formalna gramatika Proširena Bakus-Naurova forma (Extended Bacus-Naur
Form) uvodi sledeće elemente na desnoj strani pravila mogu da se koriste:
[ ... ] da označe da se sadržaj zagrada može pojaviti nijednom ili jednom (0 ili 1)
{ ... } da označe da se sadržaj zagrada može pojaviti nijednom, jednom ili višestruko (0+)
( ... ) da označe grupisanje | da označi alternative (“ili”)
![Page 31: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/31.jpg)
31/35
Formalna gramatika za običan teksttext → { sentence }sentence → capital_word words dotwords → { ( word | capital_word ) }
word → small_letter { small_letter }capital_word → capital_letter { small_letter }dot → "."
![Page 32: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/32.jpg)
32/35
Formalna gramatika za običan tekstcapital_letter → "A" | "B" | "C" | "D" | "E" | "F" | "G" | "H"
| "I" | "J" | "K" | "L" | "M" | "N" | "O" | "P" | "Q" | "R" | "S" | "T" | "U" | "V" | "W" | "X" | "Y" | "Z"
small_letter → "a" | "b" | "c" | "d" | "e" | "f" | "g" | "h"
| "i" | "j" | "k" | "l" | "m" | "n" | "o" | "p" | "q" | "r" | "s" | "t" | "u" | "v" | "w" | "x" | "y" | "z"
![Page 33: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/33.jpg)
33/35
Primer primene formalne gramatike Gramatika svakog jezika obuhvata:
simbole pojmove pravila i polazni pojam
Gramatika jezika je potrebna za proveru ispravnosti teksta Tokom provere ispravnosti ulaznog teksta:
leva strana pravila se zamenjuje desnom sve dok se ne dobije ulazni niz simbola
Ovaj proces zamene se naziva izvođenje (derivation) ukoliko se svaki put prvo zameni pojam koji se nalazi
krajnje levo u pravilu onda se proces naziva izvođenje s leva
ako se zamenjuje krajnje desni pojam u pravilu, proces se zove izvođenje s desna
![Page 34: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/34.jpg)
34/35
Primer primene formalne gramatike Primer primene tekst gramatike za dokazivanje da je iskaz
Ovo je tekst.ispravan tekst (tj. da je u skladu sa gramatikom) izvođenje s leva u desno
text ⇒ text sentence ⇒ ɛ sentence ⇒ sentence ⇒ capital_word words dot ⇒ Ovo words dot ⇒
Ovo words word dot ⇒*
Ovo word word dot ⇒
Ovo je word dot ⇒
Ovo je tekst dot ⇒
Ovo je tekst .
znak ⇒ označava izvođenje u jednom koraku, a znak ⇒* označava izvođenje u više koraka
text ⇒* Ovo je tekst .
![Page 35: dr Miroslav Hajduković dr Zorica Suvajdžin Rakić dr Žarko …druga CMPU a,b naredbu JMP @exit1 treba zameniti naredbom JMP @while0 da bi se izbegla dva uzastopna skoka do neefikasnosti](https://reader034.vdocuments.mx/reader034/viewer/2022051919/600b62bf329cff68602777f2/html5/thumbnails/35.jpg)
35/35
Primer primene formalne gramatike prikaz izvođenja u obliku stabla