Kontekstno nezavisne gramatike

Osnovni pojmovi
 Formalni jezik – skup stringova nad datim skupom simbola

Skup simbola
Klinijevo zatvaranje

 Primer 1:
Klinijevo zatvaranje skupa {a} : {a}* = {ε , a,aa,aaa,aaaa,aaaaa,…}

 Primer 2:
Jezik L1 - podskup skupa {a}* koji uključuje neprazne stringove sa parnim brojem simbola
L1 = {aa,aaaa,aaaaaa,aaaaaaaa,…}

Jezik L2 - podskup skupa {a}* koji uključuje samo stringove koji ne sadrže više od 3 simbola
L2 = {ε, a,aa,aaa}
 Primer 3:
Klinijevo zatvaranje skupa {a,b} :
{a,b}* = {ε , a,b,aa,bb,ab,ba,aaa,aab,aba,abb,baa,bab,bba,bbb,…}
Jezik L3 – podskupa skupa {a,b}* napravljen od stringova koji nastaju spajanjem
sekvence simbola a i sekvence simbola b, istih dužina:
L3 = {ε , ab, aabb,aaabbb,aaaabbbb,…}

 Primer 4:
Skup Σ sastavljen od složenih simbola:
Σ = {пас, мачку, дечко, јабуку, јури, једе}
Klinijevo zatvaranje generiše skup rečenica koje se mogu napisati spajanjem
reči:
Σ* = {пас, пас јури, пас јури мачку,јури мачку пас, дечко једе јабуку, дечко
дечко пас јури,…}
 Јеzik L4 – podskup rečenica oblika:
 Imenica[nominativ] + Glagol[3. lice] + Imenica [akuzativ]
 Primer:
L4 = {пас јури мачку, пас јури јабуку, пас једе мачку, пас једе јабуку, дечко
јури мачку, дечко јури јабуку, дечко једе мачку, дечко једе јабуку}

 Gramatika – defineše formalni jezik nad skupom simbola putem produkcionih

pravila
 Primer:

 Dve vrste simbola: 1) Neterminalni (S,VP,NP,V) – mogu se izvoditi drugi simboli

2) Terminalni
 Produkciona pravila – sastoje se iz dva dela odvojena znakom ->
 Na levoj strani je jedan neterminalni simbol, a na desnoj više terminalnih i
(ili) neterminalnih simbola
 Kontekstno nezavisne gramatike – izvođenje neterminalnog simbola na levoj
strani ne zavisi od konteksta u kom se simbol nalazi
 Primer:

 Pravila:
 S se sastoji od imeničke fraze NP i glagolske fraze VP
 VP se sastoji od glagola V i imeničke fraze NP
 Generisanje sintaksnog stabla
 Formalni jezik sadrži sve rečenice koje se mogu izvesti iz simbola S

 Jezik - skup svih izvedenih rečenica

 Sekvenca terminalnih simbola pripada jeziku ako postoji bar jedno sintaksno stablo
koje je izvodi

 Izvedeni primeri: „dečko jede jabuku“ , „dečko jede mačku“, „jabuku jede dečko“,
„mačku jede jabuku“

 Neizvedeni primeri: „mačka juri psa“, „dečko jabuku jede“

Definicija

 Kontekstno nezavisna gramatika je uređena četvorka G = (N,Σ,P,S)

N – Skup neterminalnih simbola

Σ – Skup terminalnih simbola
P – Skup produkcionih pravila (A -> α)
S – Početni simbol
Primer

Definisati gramatiku na osnovu datog jezika:

Primer 1:
Primer

Definisati gramatiku na osnovu datog jezika:

Primer 2:
Primer

Definisati kontekstno nezavisnu gramatiku koja generiše jezik nad skupom

simbola {a,b}, koji sadrži sve stringove u kojima se simbol „a“ javlja parni broj
puta.
Primer

Definisati jezik na osnovu date gramatike:

Primer 1:
Upotreba gramatika za izvođenje grafa
funkcijskih poziva