Stroj koji uvijek staje: razlika između inačica

Izbrisani sadržaj Dodani sadržaj
m RpA: WP:NI, WP:HRV
 
Redak 15:
Općenito Turingov stroj izračunava neku parcijalnu funkciju. Dva se krucijalna pitanja mogu postaviti o odnosu parcijalnih Turingovih strojeva i totalnih Turingovih strojeva:
# Može li se domena svake funkcije izračunljive na parcijalnom Turingovom stroju proširiti tako da postane totalno izračunljiva funkcija?
# Može li se definicija Turingovog stroja izmjenitiizmijeniti tako da se može pronaći istaknuta klasa Turingovih strojeva koja izračunava sve totalno izračunljive funkcije?
Odgovor na oba pitanja je negativan.