Sadržaj
37 odnosi: Alan Turing, Algoritam, Alonzo Church, Apstraktni stroj, Chomskyjeva hijerarhija, Church-Turingova teza, Formalna gramatika, Formalni jezik, Funkcijski problem, Gramatika neograničenih produkcija, Imre Lakatos, Klasa složenosti, Kombinatorna logika, Konačni automat, Kontekstno neovisna gramatika, Kontekstno ovisni jezik, Lambda račun, Modeli Turingovog stroja, Nedeterministički Turingov stroj, Potisni automat, Probabilistički Turingov stroj, Problem zaustavljanja, Računanje, Računarska lingvistika, Računska teorija složenosti, Regularni jezik, Rekurzivni jezik, Rekurzivno prebrojiv jezik, Semi-Thue sustav, Stanje (računarstvo), Stroj koji uvijek staje, Teorija automata, Teorija izračunljivosti (računarstvo), Teorija računanja, Vrijeme računanja, XSLT, Zenonov stroj.
Alan Turing
Alan Mathison Turing (London, 23. lipnja 1912. – Wilmslow, 7. lipnja 1954.), bio je britanski matematičar, kriptograf i teoretičar računalstva.
Pogledaj Turingov stroj i Alan Turing
Algoritam
Dijagram algoritma (Euklidov algoritam) za izračunavanje najvećeg zajedničkog djelitelja (NZD) dva broja ''a'' i ''b'' na mjestima nazvanim A i B. Algoritam se nastavlja uzastopnim oduzimanjem u dvije petlje: AKO test B ≥ A daje „da“ ili „istina” (točnije, ''broj'' ''b'' u lokaciji B veći je ili jednak ''broju'' ''a'' u mjestu A) Zatim, algoritam Određuje b ← b - A (što znači da broj ''b'' - ''A'' zamjenjuje staru ''b).'' Slično tome, AKO A> B, PA A ← A - B.
Pogledaj Turingov stroj i Algoritam
Alonzo Church
Alonzo Church (Washington, DC, 14. lipnja 1903. – 11. kolovoza 1995.), američki matematičar i logičar, zaslužan za neke od teoretskih osnova računarstva.
Pogledaj Turingov stroj i Alonzo Church
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 Turingov stroj i Apstraktni stroj
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 Turingov stroj i Chomskyjeva hijerarhija
Church-Turingova teza
U teoriji izračunljivosti, Church-Turingova teza (poznata i kao Churchova teza, Churchova konjektura te Turingova teza) je hipoteza o prirodi računala, kao što je digitalno računalo ili ljudsko biće s olovkom i papirom, a koji se podvrgavaju skupu pravila.
Pogledaj Turingov stroj i Church-Turingova teza
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 Turingov stroj i Formalna gramatika
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).
Pogledaj Turingov stroj i Formalni jezik
Funkcijski problem
U računskoj teoriji složenosti, funkcijski problem je problem različit od problema odluke, to jest, problem koji zahtijeva složeniji odgovor od pukog da/ne.
Pogledaj Turingov stroj i Funkcijski problem
Gramatika neograničenih produkcija
U teoriji formalnih jezika, gramatika neograničenih produkcija je formalna gramatika koja ne postavlja ograničenja na lijeve i desne strane produkcija.
Pogledaj Turingov stroj i Gramatika neograničenih produkcija
Imre Lakatos
Imre Lakatos 1960-ih Imre Lakatos (Debrecen, 9. studenog 1922. – London, 2. veljače 1974.), britanski filozof mađarskog podrijetla.
Pogledaj Turingov stroj i Imre Lakatos
Klasa složenosti
U računskoj teoriji složenosti, klasa složenosti je skup problema povezane složenosti.
Pogledaj Turingov stroj i Klasa složenosti
Kombinatorna logika
Kombinatorna logika je notacija koju su uveli Moses Schönfinkel i Haskell Curry kako bi eliminirali potrebu za varijablama u matematičkoj logici.
Pogledaj Turingov stroj i Kombinatorna logika
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 Turingov stroj i Konačni automat
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 Turingov stroj i Kontekstno neovisna 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 Turingov stroj i Kontekstno ovisni jezik
Lambda račun
U matematičkoj logici i računarstvu, lambda račun, odnosno λ-račun, je formalni sustav dizajniran za ispitivanje definicije funkcije, aplikaciju funkcije, te rekurziju.
Pogledaj Turingov stroj i Lambda račun
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 Turingov stroj i Modeli Turingovog stroja
Nedeterministički Turingov stroj
U računarstvu, nedeterministički Turingov stroj (NTS) je Turingov stroj čiji upravljački mehanizam operira slično onome nedeterminističkog konačnog automata.
Pogledaj Turingov stroj i Nedeterministički Turingov stroj
Potisni automat
U teoriji automata, potisni automat je konačni automat koji primjenjuje podatkovnu strukturu stog.
Pogledaj Turingov stroj i Potisni automat
Probabilistički Turingov stroj
U teoriji izračunljivosti, probabilistički Turingov stroj je nedeterministički Turingov stroj koji slučajno odabire između dostupnih prijelaza u svakoj diskretnoj točki računanja prema nekoj razdiobi vjerojatnosti.
Pogledaj Turingov stroj i Probabilistički Turingov stroj
Problem zaustavljanja
U teoriji izračunljivosti, problem zaustavljanja je problem odluke koji se neformalno može iskazati na sljedeći način: Alan Turing je 1936. dokazao da općenit algoritam za rješavanje problema zaustavljanja za sve moguće parove programa-ulaza ne može postojati.
Pogledaj Turingov stroj i Problem zaustavljanja
Računanje
Računanje ili komputacija je općenit naziv za obradu informacije koja se može matematički predstaviti.
Pogledaj Turingov stroj i Računanje
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 Turingov stroj i Računarska lingvistika
Računska teorija složenosti
Kao grana teorije računanja u računarstvu, računska teorija složenosti opisuje skalabilnost algoritama, te inherentnu teškoću u pružanju skalabilnih algoritama za specifične računske probleme.
Pogledaj Turingov stroj i Računska teorija složenosti
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 Turingov stroj 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 Turingov stroj 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 Turingov stroj i Rekurzivno prebrojiv jezik
Semi-Thue sustav
U računarstvu i matematici, Semi-Thue sustav je sustav prepisivanja stringa.
Pogledaj Turingov stroj i Semi-Thue sustav
Stanje (računarstvo)
U računarstvu i teoriji automata, stanje je jedinstvena konfiguracija programa ili stroja.
Pogledaj Turingov stroj i Stanje (računarstvo)
Stroj koji uvijek staje
U teoriji izračunljivosti, stroj koji uvijek staje — poznat i kao odlučitelj (Sipser, 1996) ili totalni Turingov stroj (Kozen, 1997) — je Turingov stroj koji staje za svaki ulaz.
Pogledaj Turingov stroj i Stroj koji uvijek staje
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 Turingov stroj 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 Turingov stroj i Teorija izračunljivosti (računarstvo)
Teorija računanja
Teorija računanja je grana računarstva koja razmatra mogu li se i s kojom učinkovitošću riješiti problemi koristeći računalo.
Pogledaj Turingov stroj i Teorija računanja
Vrijeme računanja
U računskoj teoriji složenosti, vrijeme računanja je mjera za broj koraka koje koristi neki apstraktni stroj u pojedinom računanju.
Pogledaj Turingov stroj i Vrijeme računanja
XSLT
XSLT (engleski akronim za "Extensible Stylesheet Language Transformations") je format datoteke s grafičkim i poredbenim oblikovanjem XML dokumenta.
Pogledaj Turingov stroj i XSLT
Zenonov stroj
U matematici i računarstvu, Zenonovi strojevi (skraćeno kao ZS, također zvan i ubrzani Turingov stroj) su računski modeli povezani s Turingovim strojevima koji dozvoljavaju obavljanje prebrojivo beskonačno mnogo algoritamskih koraka u konačnom vremenu.
Pogledaj Turingov stroj i Zenonov stroj
Također poznat kao Deterministički Turingov stroj.