Turingov stroj: razlika između inačica

Izbrisani sadržaj Dodani sadržaj
EmxBot (razgovor | doprinosi)
čišćenje (AWB)
Redak 1:
'''Turingovi strojevi''' su iznimno jednostavni uređaji za manipulaciju znakovima (simbolima) koji - unatoč jednostavnosti dizajna - mogu biti prilagođeni da simuliraju logiku iza bilo kojeg [[računalo|računala]] koje ikad može biti konstruirano. Opisao ih je 1936. [[Alan Turing]]. Premda je izvorna namjera bila tehnička ostvarivost, Turingovi strojevi nisu namijenjeni kao praktična računska tehnologija, već kao misaoni eksperiment o granicama mehaničkih izračuna, te stoga i nisu stvarno i konstruirani. Proučavanje njihovih apstraktnih svojstava pruža uvid u teoretsko [[računarstvo]] i [[teorija složenosti|teoriju 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|lambda računu]]u isprepleo sa Turingovim u formalnoj teoriji [[izračunljivost|izračunljivosti]]i poznatoj kao [[Church-Turingova hipoteza]]. Hipoteza povezuje strogu formalnu definiciju Turingovog stroja i intuitivne notacije ''efektivne izračunljivosti'', te na taj način pruža preciznu definiciju [[algoritam|algoritma]] ili 'mehaničkog postupka'.
 
== Formalna definicija jednotračnog Turingovog stroja ==
Redak 41:
 
{{Formalni jezici i gramatike}}
[[Kategorija:Računski modeli]]
 
[[Kategorija:Teoretsko Računski modeliračunarstvo]]
[[Kategorija: Teoretsko računarstvo]]
 
[[ar:آلة تورنج]]
[[be:Машына Т'юрынга]]
[[bs:Turingova mašina]]
[[bg:Машина на Тюринг]]
[[bs:Turingova mašina]]
[[ca:Màquina de Turing]]
[[cs:Turingův stroj]]
[[da:Turingmaskine]]
[[de:Turingmaschine]]
[[et:Turingi masin]]
[[en:Turing machine]]
[[es:Máquina de Turing]]
[[eo:Maŝino de Turing]]
[[es:Máquina de Turing]]
[[et:Turingi masin]]
[[fi:Turingin kone]]
[[fr:Machine de Turing]]
[[fur:Machine di Turing]]
[[ko:튜링 기계]]
[[he:מכונת טיורינג]]
[[hu:Turing-gép]]
[[id:Mesin Turing]]
[[it:Macchina di Turing]]
[[he:מכונת טיורינג]]
[[ja:チューリングマシン]]
[[ko:튜링 기계]]
[[lb:Turingmaschinn]]
[[lt:Tiuringo mašina]]
[[hu:Turing-gép]]
[[nl:Turingmachine]]
[[ja:チューリングマシン]]
[[pl:Maszyna Turinga]]
[[pt:Máquina de Turing]]
Line 77 ⟶ 75:
[[sl:Turingov stroj]]
[[sr:Тјурингова машина]]
[[fi:Turingin kone]]
[[sv:Turingmaskin]]
[[th:เครื่องจักรทัวริง]]