Sadržaj
20 odnosi: Chomskyjeva hijerarhija, Formalna gramatika, Greibachin normalni oblik, Indeksirani jezik, John Backus, Kontekstno neovisna gramatika, Kontekstno ovisna gramatika, Kontekstno ovisni jezik, Ogdenova lema, Pojednostavljenje gramatike, Potisni automat, Regularna gramatika, Regularni izraz, Regularni jezik, Rekurzivni jezik, Rekurzivno prebrojiv jezik, Svojstvo napuhavanja, Svojstvo napuhavanja za kontekstno neovisne jezike, Teorija automata, Teorija izračunljivosti (računarstvo).
Chomskyjeva hijerarhija
U računarstvu, posebice u domeni programskih jezika, Chomskyjeva hijerarhija (rjeđe se koristi i termin Chomsky–Schützenbergerova hijerarhija) je hijerarhija klasa formalnih gramatika koje generiraju formalne jezike.
Pogledaj Kontekstno neovisni jezik i Chomskyjeva hijerarhija
Formalna gramatika
U računarstvu i lingvistici, formalna gramatika, ili ponekad jednostavno gramatika, jest precizan opis formalnog jezika - to jest, skupa nizova znakova (stringova).
Pogledaj Kontekstno neovisni jezik i Formalna gramatika
Greibachin normalni oblik
U računarstvu, za kontekstno neovisnu gramatiku kažemo da je u Greibachinom normalnom obliku ako ima sve produkcije oblika: ili gdje je a A nezavršni znak, a X (moguće prazan) slijed nezavršnih znakova ne uključujući početni znak, S početni znak te ε prazni niz.
Pogledaj Kontekstno neovisni jezik i Greibachin normalni oblik
Indeksirani jezik
Indeksirani jezik je formalni jezik kojeg je otkrio Alfred Aho, i koji je pravi podskup skupa svih kontekstno ovisnih jezika i pravi nadskup skupa svih kontekstno neovisnih jezika.
Pogledaj Kontekstno neovisni jezik i Indeksirani jezik
John Backus
John Warner Backus (Philadelphia, Pennsylvania, 3. prosinca, 1924. – Ashland, Oregon, 17. ožujka, 2007.), američki računalni znanstvenik.
Pogledaj Kontekstno neovisni jezik i John Backus
Kontekstno neovisna gramatika
U lingvistici i računarstvu, kontekstno neovisna gramatika (KNG) (rjeđe još i kontekstno slobodna gramatika ili gramatika neovisna o sadržaju, te još i bezokolinska gramatikaKiš Miroslav, Englesko-hrvatski i hrvatsko-engleski informatički rječnik, Zagreb, Naklada Ljevak, 2000., str.
Pogledaj Kontekstno neovisni jezik i Kontekstno neovisna gramatika
Kontekstno ovisna gramatika
Kontekstno ovisna gramatika (rjeđe još i gramatika ovisna o sadržaju, te okolinska gramatika, kontekstualna gramatikaKiš Miroslav, Englesko-hrvatski i hrvatsko-engleski informatički rječnik, Zagreb, Naklada Ljevak, 2000., str. 234) je formalna gramatika u kojoj lijeve i desne strane bilo koje produkcije mogu biti okružene kontekstom završnih i nezavršnih znakova.
Pogledaj Kontekstno neovisni jezik i Kontekstno ovisna gramatika
Kontekstno ovisni jezik
Kontekstno ovisni jezik (rjeđe još i jezik ovisan o sadržaju, te okolinski jezik, kontekstualni jezikKiš Miroslav, Englesko-hrvatski i hrvatsko-engleski informatički rječnik, Zagreb, Naklada Ljevak, 2000., str. 234) je formalni jezik koji se može definirati kontekstno ovisnom gramatikom, koja je jedan od četiri tipa gramatika u Chomskyjevoj hijerarhiji.
Pogledaj Kontekstno neovisni jezik i Kontekstno ovisni jezik
Ogdenova lema
U teoriji formalnih jezika, Ogdenova lema pruža nešto veću fleksibilnost od svojstva napuhavanja za kontekstno neovisne jezike.
Pogledaj Kontekstno neovisni jezik i Ogdenova lema
Pojednostavljenje gramatike
Pojednostavljenje gramatike je skupni naziv za postupke odbacivanja beskorisnih znakova i produkcija, odnosno za postupke transformacije zapisa gramatike u neki oblik pogodniji za obradu.
Pogledaj Kontekstno neovisni jezik i Pojednostavljenje gramatike
Potisni automat
U teoriji automata, potisni automat je konačni automat koji primjenjuje podatkovnu strukturu stog.
Pogledaj Kontekstno neovisni jezik i Potisni automat
Regularna gramatika
U računarstvu, regularna gramatika (još i pravilna gramatikaKiš Miroslav, Englesko-hrvatski i hrvatsko-engleski informatički rječnik, Zagreb, Naklada Ljevak, 2000., str. 785) je desna regularna gramatika ili desno-linearna gramatika ako je formalna gramatika (N, Σ, P, S) kojoj su sve produkcije iz skupa P oblika.
Pogledaj Kontekstno neovisni jezik i Regularna gramatika
Regularni izraz
U računarstvu i informatici, regularni izraz (još i pravilni izraz, ispravni izrazKiš Miroslav, Englesko-hrvatski i hrvatsko-engleski informatički rječnik, Zagreb, Naklada Ljevak, 2000., str. 785 – često i engleske skraćenice regexp ili regex, u množini regexps, regexes ili regexen) je niz znakova koji opisuje druge nizove znakova (engl.
Pogledaj Kontekstno neovisni jezik i Regularni izraz
Regularni jezik
Regularni jezik (još i pravilni jezikKiš Miroslav, Englesko-hrvatski i hrvatsko-engleski informatički rječnik, Zagreb, Naklada Ljevak, 2000., str. 785) jest formalni jezik (tj. potencijalno beskonačan skup konačnih slijedova znakova konačne abecede) koji zadovoljava sljedeća istovjetna svojstva.
Pogledaj Kontekstno neovisni jezik i Regularni jezik
Rekurzivni jezik
U matematici, logici i računarstvu, rekurzivni jezik je tip formalnog jezika koji se još zove i rekurzivan, odlučiv ili Turing-odlučiv.
Pogledaj Kontekstno neovisni jezik i Rekurzivni jezik
Rekurzivno prebrojiv jezik
U matematici, logici i računarstvu, rekurzivno prebrojiv jezik je tip formalnog jezika koji se još zove i parcijalno odlučiv ili Turing-prepoznatljiv.
Pogledaj Kontekstno neovisni jezik i Rekurzivno prebrojiv jezik
Svojstvo napuhavanja
U teoriji formalnih jezika te teoriji izračunljivosti, svojstvo napuhavanja (rjeđe još i lema napuhavanja) kaže da svaki jezik dane klase može biti "napuhan" i pritom još uvijek pripadati danoj klasi.
Pogledaj Kontekstno neovisni jezik i Svojstvo napuhavanja
Svojstvo napuhavanja za kontekstno neovisne jezike
Također poznata i kao Bar-Hillelelova lema.
Pogledaj Kontekstno neovisni jezik i Svojstvo napuhavanja za kontekstno neovisne jezike
Teorija automata
U teoretskom računarstvu, teorija automata je disciplina koja se bavi proučavanjem apstraktnih strojeva i problema koje oni mogu riješiti.
Pogledaj Kontekstno neovisni jezik i Teorija automata
Teorija izračunljivosti (računarstvo)
U računarstvu, teorija izračunljivosti je grana teorije računanja koja proučava probleme koji su računski rješivi koristeći različite modele računanja.
Pogledaj Kontekstno neovisni jezik i Teorija izračunljivosti (računarstvo)
Također poznat kao Bezokolinski jezik, Jezik neovisan o sadržaju, Kontekstno slobodni jezik.