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).

Sadržaj

Abeceda (računarstvo)

U računarstvu, abeceda (ili alfabet) je konačan skup znakova (simbola), koji su najčešće znamenke ili ASCII karakteri.

Pogledaj Turingov stroj i Abeceda (računarstvo)

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

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

John Hopcroft

John Edward Hopcroft (Seattle, 7. listopada, 1939.) je istaknuti američki teoretski računalni znanstvenik.

Pogledaj Turingov stroj i John Hopcroft

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

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

Marvin Minsky

Marvin Lee Minsky (New York City, 9. kolovoza 1927. — Boston, 24. siječnja, 2016.) bio je američki kognitivni znanstvenik u području umjetne inteligencije (AI), suosnivač laboratorija za umjetnu inteligenciju na MIT-u, te autor nekoliko tekstova o AI i filozofiji.

Pogledaj Turingov stroj i Marvin Minsky

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 Turingov stroj i Računarstvo

Teorija izračunljivosti

* Teorija rekurzije, grana matematičke logike, suvremeno nazvana teorijom izračunljivosti.

Pogledaj Turingov stroj i Teorija izračunljivosti

Teorija složenosti

*teorija kaosa.

Pogledaj Turingov stroj i Teorija složenosti

Univerzalni Turingov stroj

Univerzalni računarski stroj Alana Turinga (još i "univerzalni stroj", "U stroj", "U") je ime koje je dao (1936. – 1937.) svom modelu "a-stroja" (od engl. all-purpose) opće namjene koji bi mogao "izvoditi" bilo koji proizvoljni (ali dobro oblikovan) slijed instrukcija nazvanih "petorke".

Pogledaj Turingov stroj i Univerzalni Turingov stroj

Vidi također

Formalni jezici

Računski modeli

Teoretsko računarstvo

Teorija automata

Također poznat kao Deterministički Turingov stroj.

Unijapedija je koncept kartu ili semantičke mreže, organizirana kao enciklopedija - rječnik. To daje kratku definiciju svakog pojma i njegovih odnosa.

Ovo je div online mentalnu kartu koja služi kao temelj za dijagrame koncept. To je besplatan za korištenje i svaki članak ili dokument se može skinuti. To je alat, izvor ili referenca za studij, istraživanje, obrazovanje, učenje ili poučavanje, koji se može koristiti od strane nastavnika, nastavnika, učenika ili studenta; za akademsku svijetu: za škole, osnovno, srednje, gimnazije, srednje tehničke stupnja, koledž, sveučilište, preddiplomskih, diplomskih i doktorskih stupnjeva; za radove, izvješća, projekte, ideje, dokumentacije, ankete, sažetke, odnosno rada. Ovdje je definicija, objašnjenje, opis ili značenje svako bitnije na kojem trebate informacije, kao i popis njihovih povezanih koncepata kao riječnika. Dostupan u Hrvatski, Engleski, Španjolski, Portugalski, Japanski, Kineski, Francuski, Njemački, Talijanski, Polirati, Nizozemski, Ruski, Arapski, Hindski, Švedski, Ukrajinski, Mađarski, Katalonski, Češki, Hebrejski, Danski, Finski, Indonezijski, Norveški, Rumunjski, Turski, Vijetnamski, Korejski, Thai, Grčki, Bugarski, Slovački, Litvanski, Filipinac, Latvijski, Estonski i Slovenski Više jezicima.

Informacije se temelje na člancima s Wikipedije i drugim projektima Wikimedije i dostupne su pod licencom Creative Commons Imenovanje-Dijeli pod istim uvjetima.

Zaklada Wikimedia ne podržava niti je povezana s Unijapedija.

Google Play, Android i logotip Google Playa zaštitni su znaci tvrtke Google Inc.

Sva prava pridržana

Jezici