Inačica od 24. studenoga 2012. u 19:40 uredi 31.47.13.198 (razgovor) →‎Formalna definicija jednotračnog Turingovog stroja ← Starija izmjena		Inačica od 24. studenoga 2012. u 19:52 uredi ukloni ovu izmjenu Tulkas Astaldo (razgovor \| doprinosi) Automatski ophođeni suradnici, IP blok iznimke, Ophoditelji, Administratori 39.689 edits Uklanjanje izmjene 3767889 što ju je unio/unijela 31.47.13.198 (Razgovor sa suradnikom:31.47.13.198) Novija izmjena →
Redak 3: 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]]. Hipoteza 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'. [[--[[Posebno:Doprinosi/31.47.13.198\|31.47.13.198]] 18:40, 24. studenog 2012. (CET)Datoteka:Aleyna\|okvir\|središte\|Gonjanin--[[Posebno:Doprinosi/31.47.13.198\|31.47.13.198]] 18:40, 24. studenog 2012. (CET)]]ÁáÀèĞħÍĦ௵௸௺ௐ ovo nije neka posebna stranica-#$%%&/()=?*=)(/&%$#"![[Američki dolar]]Čč == Formalna definicija jednotračnog Turingovog stroja ==

Turingov stroj: razlika između inačica