Razlika između inačica stranice »Turingov stroj«

Dodano 311 bajtova ,  prije 7 godina
m (r2.7.1) (robot Dodaje: eu:Turingen makina)
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 ==
 
Anonimni suradnik