Rezultati pretrage

...] i [[računarstvo|računarstvu]], '''rekurzivno prebrojiv jezik''' je tip [[formalni jezik|formalnog jezika]] koji se još zove i '''parcijalno odlučiv''' ili '' ...skup [[skup]]a svih mogućih riječi nad [[abeceda(računarstvo)|abecedom]] [[formalni jezik|jezika]]. ...

...ja jezika|formalnoj teoriji jezika]], '''kontekstno slobodni jezik''' je [[formalni jezik|jezik]] koji generiše neka [[kontekstno-slobodna gramatika]]. Skup sv Kontekstno slobodni jezici imaju mnoge primene u [[programski jezik|programskim jezicima]]; na primer, ...

...rarhija klasa [[formalna gramatika|formalnih gramatika]] koje generiraju [[formalni jezik|formalne jezike]]. ...Paulu Schützenbergeru koji je odigrao krucijalnu ulogu u razvoju teorije [[formalni jezik|formalnih jezika]]. ...

...\boldsymbol{A},\boldsymbol{F}\}. </math> Među najuobičajenijim primjenama, formalni jezik može biti shvaćen kao: * Konačni jezici, kao što su <math>\{\{a,b\},\{a, aa, bba\}\}\,</math> ...

...e ali i ne mora biti prikladna na određenim mjestima ovisno o kontekstu. [[Formalni jezik]] koji kontekstno ovisna gramatika opisuje se zove [[kontekstno ovisn ...e gramatike ne mogu generirati jezik koji sadrži prazni niz ε). Ali ako se formalni jezik ''L'' može opisati gramatikom danom prvom definicijom, tada postoji n ...

...vaća (odbija) ulazni niz. Skup nizova znakova koje DKA prihvaća je oblik [[formalni jezik|formalnog jezika]], i predstavlja oblik jezika kojeg DKA prepoznaje. ...rogo ograničene moći nad jezicima koje mogu prepoznati — mnogi jednostavni jezici, uključujući bilo koji problem čije rješenje zahtijeva više nego konstantan ...

Sažeti formalni opis Turingovog stroja: {{Formalni jezici i gramatike}} ...

...ma koje oni mogu riješiti. Teorija automata je usko povezana sa teorijom [[formalni jezik|formalnih jezika]], s obzirom da su sami automati često klasificirani ...i riječ je ''odbijena''. Skup svih riječi koje automat prihvaća zovemo ''[[formalni jezik|jezik]] koji automat prihvaća''. ...

...mijenjen nizom znakova ''w'' neovisno o kontekstu u kojem se pojavljuje. [[Formalni jezik]] je [[kontekstno neovisni jezik]] ako postoji kontekstno neovisna gr Nisu svi formalni jezici kontekstno neovisni; dobro poznat protuprimjer je <math> \{ a^n b^n c^n : n ...

...ramatika''', ili ponekad jednostavno '''gramatika''', jest precizan opis [[formalni jezik|formalnog jezika]] - to jest, [[skup]]a nizova znakova (stringova). D ...nezavisni jezik|kontekstno neovisni jezici]] i [[regularni jezik|regularni jezici]]. Premda nešto manje moćne od gramatike neograničenih produkcija (tip 0), ...

...mata|teoriju automata]] koja se bavi problemima poput sljedećeg: za dani [[formalni jezik]] i string, je li string član tog jezika? Ovo je ponešto ezoteričan n ...u kojem je stvarnom smislu ova opservacija istinita? Može li se definirati formalni način u kojem se može shvatiti koliko je težak pojedini problem za rješavan ...

{{Formalni jezici i gramatike}} ...

...ji, jezici koje prihvaćaju konačni automati su [[regularni jezik|regularni jezici]] - tj. jezik je regular ako postoji neki konačni automat koji ga prihvaća. {{Formalni jezici i gramatike}} ...

...rmini oblika ''λv.E1'' se zovu ''apstrakcije''. Varijabla ''v'' je zvana [[formalni parametar]] apstrakcije, i ''E1'' je ''tijelo'' apstrakcije. Termini ''λv.E1'' predstavljaju funkciju koja, primjenjena na argument, veže formalni parametar ''v'' na argument i potom izračunava rezultirajuću vrijednost od ...