Is it possible to change the definition of a Turing machine so that a particular class of total Turing machines, computing all the total computable functions, can be found?
Može li se definicija Turingovog stroja izmjeniti tako da se može pronaći istaknuta klasa Turingovih strojeva koja izračunava sve totalno izračunljive funkcije?