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

Dodana 2 bajta ,  prije 11 godina
m
Netočna slika uklonjena, uređene netočnosti i nejasnosti uvodnog dijela članka
m (Netočna slika uklonjena, uređene netočnosti i nejasnosti uvodnog dijela članka)
'''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]]. Premda je izvorna namjera bila tehnička izvedba, 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 [[rečunarskaračunarska znanost|računarske 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]]. 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'.
6

uređivanja