Razlika između izmjena na stranici "Formalna gramatika"

Dodano 6 bajtova ,  prije 13 godina
m
Bot: ispravka HTML koda i wiki sintakse
m (Bot: ispravka HTML koda i wiki sintakse)
'''Formalna gramatika''' je [[gramatika]] koja se može zapisati i jednoznačno tumačiti.
 
== Podjela ==
[[Jezik]] je skup svih rečenica koje tvori određena gramatika. Gramatiku čine:
 
Startni simbol je neterminal koji predstavlja čitav jezik generisan gramatikom. Od njega polazi [[analiza]]. Ako neka rečenica može da se redukuje u ovaj neterminal primjenom produkcija gramatike, onda se kaže da gramatika prihvata ovu rečenicu, da je napisana pravilno po datoj gramatici, ili da pripada jeziku koji tvori gramatika.
 
== Vrste formalne gramatike ==
Postoje tri vrste formalnih gramatika, a među njima vlada relacija poretka:
 
*Regularni jezici tvoreni su regularnim gramatikama. Oni su podskup kontekstno nezavisnih jezika.
 
== Praktična primjena ==
U kompjuterskim jezicima obično figuriše kontekstno slobodna gramatika ([[Engleski jezik|engl]]. ''Context free grammar - CFG'') koja kreira odgovarajuće kontekstno nezavisne jezike. [[C programski jezik|Programski jezik C]], neterminal koji predstavlja čitav jezik generisan gramatikom, je na primjer kontekstno zavistan, ali se predstavlja kao kontekstno nezavistan s tim da se kontekstna zavisnost rješava u pristupu izradi skenera. Skener je dio prevodioca koji program napisan u programskom jeziku razbije na tokene, i sastavni je dio Front-end prevodioca. Skener emituje tokene parseru kao tok ([[Engleski jezik|engl]]. ''stream'') vezujući za svaki semantičku vrijednost.
 
108.013

izmjena