Sadržaj
17 odnosi: Alternirajući konačni automat, Apstraktni stroj, Automat s ugniježđenim stogom, Deterministički potisni automat, Konačni automat, Modeli Turingovog stroja, Myhill-Nerode teorem, Noam Chomsky, Potisni automat, Q, Računarska lingvistika, Računarstvo, Regularni izraz, Stanje (računarstvo), Tablica prijelaza stanja, Teoretsko računarstvo, Teorija izračunljivosti (računarstvo).
Alternirajući konačni automat
U teoriji automata, alternirajući konačni automat (AKA) je nedeterministički konačni automat čije prijelaze dijelimo na egzistencijalne i univerzalne.
Pogledaj Teorija automata i Alternirajući konačni automat
Apstraktni stroj
Apstraktni stroj, još zvan i apstraktno računalo, je teoretski model računalnog sklopovlja ili programske podrške korištene u teoriji automata.
Pogledaj Teorija automata i Apstraktni stroj
Automat s ugniježđenim stogom
U teoriji automata, automat s ugniježđenim stogom je konačni automat koji može koristiti podatkovnu strukturu potisni stog koja sadrži podatke koji mogu biti dodatni stogovi.
Pogledaj Teorija automata i Automat s ugniježđenim stogom
Deterministički potisni automat
U teoriji automata, deterministički potisni automat je deterministički konačni automat koji koristi podatkovnu strukturu stog.
Pogledaj Teorija automata i Deterministički potisni automat
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.
Pogledaj Teorija automata i Konačni automat
Modeli Turingovog stroja
U teoretskom računarstvu, posebice u teoriji automata, Turingov stroj (TS) predstavlja najopćenitiji mogući matematički model izračunljivosti.
Pogledaj Teorija automata i Modeli Turingovog stroja
Myhill-Nerode teorem
U teoriji formalnih jezika, Myhill-Nerode teorem pruža nužne i dovoljne uvjete da bi jezik bio regularan.
Pogledaj Teorija automata i Myhill-Nerode teorem
Noam Chomsky
Avram Noam Chomsky (hebrejski: אברם נועם חומסקי) (rođen 7. prosinca, 1928.) je američki jezikoslovac, filozof, kognitivni znanstvenik, politički aktivist, pisac i predavač.
Pogledaj Teorija automata i Noam Chomsky
Potisni automat
U teoriji automata, potisni automat je konačni automat koji primjenjuje podatkovnu strukturu stog.
Pogledaj Teorija automata i Potisni automat
Q
Datoteka:Latin alphabet Qq.png Q je 17.
Pogledaj Teorija automata i Q
Računarska lingvistika
Računarska lingvistika (još i računsko jezikoslovlje, računska lingvistika, strojno jezikoslovlje, strojna lingvistika, računalno jezikoslovlje, računalna lingvistikaMiroslav Kiš, Englesko-hrvatski hrvatsko-engleski informatički rječnik, s predgovorom Verice Zorić, 1. izd., Naklada Ljevak, Zagreb, 2000.,,, str.
Pogledaj Teorija automata i Računarska lingvistika
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.
Pogledaj Teorija automata i Računarstvo
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 Teorija automata i Regularni izraz
Stanje (računarstvo)
U računarstvu i teoriji automata, stanje je jedinstvena konfiguracija programa ili stroja.
Pogledaj Teorija automata i Stanje (računarstvo)
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.
Pogledaj Teorija automata i Tablica prijelaza stanja
Teoretsko računarstvo
Teoretsko računarstvo je skup tema računarstva koje se uglavnom fokusiraju na apstraktne, logičke i matematičke aspekte računanja, kao što je teorija računanja, analiza algoritama te semantika programskih jezika.
Pogledaj Teorija automata i Teoretsko računarstvo
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 Teorija automata i Teorija izračunljivosti (računarstvo)