Inačica od 11. ožujka 2013. u 14:56 uredi Addbot (razgovor \| doprinosi) 113.398 edits m Bot: brisanje 50 međuwiki poveznica premještenih u stranicu d:q163310 na Wikidati ← Starija izmjena		Inačica od 27. lipnja 2016. u 12:40 uredi ukloni ovu izmjenu El hombre (razgovor \| doprinosi) Automatski ophođeni suradnici, Ophoditelji 17.446 edits m sit. Novija izmjena →
Redak 1: '''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). Opisao ih je 1936. [[Alan Turing]]. Turingovi strojevi ne koriste se u praktične svrhe, već u misaonim eksperimentima, gdje najvažniju primjenu nalaze u istraživanju granica mogućnosti izračunavanja računalnim algoritmima. Proučavanje njihovih svojstava pruža dalekosežne uvide u pitanja [[računalna znanost\|računalne znanosti]] i [[teorija složenosti\|teorije složenosti]]. Turingov stroj koji može simulirati bilo koji drugi Turingov stroj se zove [[Univerzalni Turingov stroj]] ('''UTS''' ili jednostavno '''univerzalni stroj'''). Više matematički orijentiranu definiciju sa sličnom "univerzalnom" prirodom je uveo [[Alonzo Church]], čiji se rad na [[lambda račun]]u isprepleo sa Turingovim u formalnoj teoriji [[izračunljivost]]i poznatoj kao [[Church-Turingova ~~hipoteza~~teza]]. ~~Hipoteza~~Teza povezuje strogu formalnu definiciju Turingovog stroja i intuitivne ideje izračunljivosti, te na taj način pruža preciznu definiciju [[algoritam\|algoritma]] ili 'mehaničkog postupka'. == Formalna definicija jednotračnog Turingovog stroja ==

Turingov stroj: razlika između inačica