Brže od pregledniku!
14 odnosi: Deterministički konačni automat, Formalni jezik, Konačni automat, Kontekstno neovisni jezik, Kontekstno ovisni jezik, Linearno ograničen automat, Nedeterministički konačni automat, Potisni automat, Računarstvo, Regularni jezik, Rekurzivni jezik, Rekurzivno prebrojiv jezik, Tablica prijelaza stanja, Turingov stroj.
Deterministički konačni automat
U teoriji izračunljivosti, deterministički konačni automat (DKA) je konačni automat u kojem za svaki par stanja i ulaznog znaka postoji jedan i samo jedan prijelaz u sljedeće stanje.
Novi!!: Teorija automata i Deterministički konačni automat · Vidi više »
Formalni jezik
U matematici, logici i računarstvu, formalni jezik (još i umjetni jezikKiš Miroslav, Englesko-hrvatski i hrvatsko-engleski informatički rječnik, Zagreb, Naklada Ljevak, 2000., str. 399) \boldsymbol se sastoji od skupa konačnih slijedova elemenata konačnog skupa \boldsymbol znakova (simbola).
Novi!!: Teorija automata i Formalni jezik · Vidi više »
Konačni automat
Konačni automat (još i konačni stroj, automat konačnih stanjaKiš Miroslav, Englesko-hrvatski i hrvatsko-engleski informatički rječnik, Zagreb, Naklada Ljevak, 2000., str. 389) je diskretni matematički model koji se sastoji od konačnog broja stanja, prijelaza između tih stanja, i akcija koje obavlja.
Novi!!: Teorija automata i Konačni automat · Vidi više »
Kontekstno neovisni jezik
Kontekstno neovisni jezik (rjeđe još i kontekstno slobodni jezik ili jezik neovisan o sadržaju, te još i bezokolinski jezikKiš Miroslav, Englesko-hrvatski i hrvatsko-engleski informatički rječnik, Zagreb, Naklada Ljevak, 2000., str. 234) je formalni jezik koji je element skupa jezika kojeg definiraju kontekstno neovisne gramatike.
Novi!!: Teorija automata i Kontekstno neovisni jezik · Vidi više »
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.
Novi!!: Teorija automata i Kontekstno ovisni jezik · Vidi više »
Linearno ograničen automat
Linearno ograničen automat (LOA) (još i omeđeni strojKiš Miroslav, Englesko-hrvatski i hrvatsko-engleski informatički rječnik, Zagreb, Naklada Ljevak, 2000., str. 563) je ograničen oblik nedeterminističkog Turingovog stroja.
Novi!!: Teorija automata i Linearno ograničen automat · Vidi više »
Nedeterministički konačni automat
U teoriji izračunljivosti, nedeterministički konačni automat (NKA) (još i nedeterministički konačni strojKiš Miroslav, Englesko-hrvatski i hrvatsko-engleski informatički rječnik, Zagreb, Naklada Ljevak, 2000., str. 660) je konačni automat u kojem za svaki par stanja i ulaznog znaka (simbola) može postojati nekoliko mogućih sljedećih stanja.
Novi!!: Teorija automata i Nedeterministički konačni automat · Vidi više »
Potisni automat
U teoriji automata, potisni automat je konačni automat koji primjenjuje podatkovnu strukturu stog.
Novi!!: Teorija automata i Potisni automat · Vidi više »
Računarstvo
Računalstvo ili računarstvo (računarska znanost ili znanost o računalima) se bavi proučavanjem teoretskih osnova informacije i računanja, te njihovim implementacijama i primjenama u računalnim sustavima.
Novi!!: Teorija automata i Računarstvo · Vidi više »
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.
Novi!!: Teorija automata i Regularni jezik · Vidi više »
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.
Novi!!: Teorija automata i Rekurzivni jezik · Vidi više »
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.
Novi!!: Teorija automata i Rekurzivno prebrojiv jezik · Vidi više »
Tablica prijelaza stanja
U teoriji automata i sekvencijalnoj logici, tablica prijelaza (stanja) je tablica koja pokazuje u koje stanje (ili stanja u slučaju nedeterminističkog konačnog automata) konačni automat prelazi, ovisno o trenutnom stanju i drugim ulazima.
Novi!!: Teorija automata i Tablica prijelaza stanja · Vidi više »
Turingov stroj
Turingovi strojevi su iznimno jednostavni apstraktni uređaji za manipulaciju znakovima (simbolima) koji - unatoč jednostavnosti dizajna - mogu biti prilagođeni da simuliraju logiku bilo kojeg računalnog algoritma (uz sadašnje poimanje algoritma).
Novi!!: Teorija automata i Turingov stroj · Vidi više »
