Rezultati pretrage
Prijeđi na navigaciju
Prijeđi na pretraživanje
- ...ka|logici]] i [[računarstvo|računarstvu]], '''rekurzivni jezik''' je tip [[formalni jezik|formalnog jezika]] koji se još zove i '''rekurzivan''', '''odlučiv''' ...podskup skupa svih mogući riječi nad [[abeceda (računarstvo)|abecedom]] [[formalni jezik|jezika]]. ...3 KB (363 riječi) - 15:33, 2. veljače 2020.
- ...nformatički rječnik'', Zagreb, Naklada Ljevak, 2000., str. 234</ref>) je [[formalni jezik]] koji je element skupa jezika kojeg definiraju [[kontekstno neovisna Kontekstno neovisni jezici imaju mnoge primjene u [[programski jezik|programskim jezicima]]; na primje ...3 KB (373 riječi) - 00:15, 1. siječnja 2022.
- ...Journal of the ACM |volume=15 |issue=4 |pages=647–671}} </ref> Indeksirani jezici mogu biti oblika: {{Formalni jezici i gramatike}} ...2 KB (249 riječi) - 08:26, 30. travnja 2022.
- ...] 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]]. ...3 KB (469 riječi) - 23:54, 20. prosinca 2021.
- # [[Formalna gramatika]] za dvorazinski [[formalni jezik]], koji je formalni jezik specificiran na dvije razine - npr. na razini riječi i rečenica. [[Kategorija:Formalni jezici]] ...2 KB (268 riječi) - 20:39, 18. prosinca 2021.
- ...ormatički rječnik'', Zagreb, Naklada Ljevak, 2000., str. 785</ref>) jest [[formalni jezik]] (tj. potencijalno beskonačan skup konačnih slijedova znakova konačn == Regularni jezici nad abecedom == ...6 KB (827 riječi) - 14:22, 12. kolovoza 2021.
- == Nejednoznačni nizovi i jezici == [[formalni jezik|Jezik]] je '''inherentno nejednoznačan''' ako ga može generirati samo ...4 KB (576 riječi) - 14:03, 11. ožujka 2013.
- ...mogu generirati samo manji podskup jezika zvan [[regularni jezik|regularni jezici]]. {{Formalni jezici i gramatike}} ...3 KB (480 riječi) - 22:48, 20. prosinca 2021.
- ...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]]. ...8 KB (1140 riječi) - 17:50, 2. siječnja 2022.
- ...\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> ...7 KB (1 riječ) - 21:13, 1. siječnja 2022.
- [[Kategorija:Formalni jezici]] ...1 KB (155 riječi) - 22:15, 8. travnja 2022.
- ...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 ...5 KB (760 riječi) - 00:15, 1. siječnja 2022.
- [[Kategorija:Formalni jezici]] ...1 KB (207 riječi) - 16:48, 21. svibnja 2020.
- U teoriji [[formalni jezik|formalnih jezika]], ''gramatika neograničenih produkcija'' je [[forma {{Formalni jezici i gramatike}} ...4 KB (652 riječi) - 15:31, 1. siječnja 2022.
- ...ike''' je lema koja iskazuje svojstvo koje svi [[regularni jezik|regularni jezici]] moraju zadovoljavati. Primarna uporaba leme jest u svrhu dokazivanja nere == Formalni iskaz == ...7 KB (1103 riječi) - 04:24, 22. prosinca 2021.
- [[Kategorija:Formalni jezici]] ...2 KB (1 riječ) - 01:36, 25. prosinca 2021.
- ...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. ...granič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 ...5 KB (793 riječi) - 10:47, 2. siječnja 2022.
- ...logika]], koji bi omogućili izražavanje općenitih matematičkih teorema u [[formalni jezik|formalnom jeziku]], te da tako budu dokazani i verificirani na automa [[Kategorija:Formalni jezici]] ...3 KB (540 riječi) - 05:32, 21. prosinca 2021.
- {{Formalni jezici i gramatike}} ...3 KB (398 riječi) - 10:47, 2. siječnja 2022.
- ...ema koje oni mogu riješiti. Teorija automata je usko povezana s teorijom [[formalni jezik|formalnih jezika]], s obzirom na to da su sami automati često klasifi ...i riječ je ''odbijena''. Skup svih riječi koje automat prihvaća zovemo ''[[formalni jezik|jezik]] koji automat prihvaća''. ...7 KB (1 riječ) - 17:50, 13. lipnja 2022.