Stroj koji uvijek staje: razlika između inačica
Izbrisani sadržaj Dodani sadržaj
m RpA: WP:NI, WP:HRV |
m →Odnosi s parcijalnim Turingovim strojevima: pravopis |
||
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
Odgovor na oba pitanja je negativan.
|