An at least partial halt decider based on adapting a UTM <is> a pure function of its inputs.
This adapted UTM would simply simulate the execution of its input until
its input halts on its own or its halt decider determines that its input would never halt on its own and stops simulating it.
In order for the UTM to see what its input does it must keep track of an execution trace of its input. This execution trace <is not> another
input it is merely the internal state of the halt decider / UTM.
http://www.liarparadox.org/Halting_problem_undecidability_and_infinite_recursion.pdf
--I suggest you find something else to work on. The UTM (universal Turing machine) "Halt Decider" referenced in your essay cannot do what it is supposed to do. Presenting some program, even if it is in assembler, does not "solve" the halting problem.
Copyright 2021 Pete Olcott
"Great spirits have always encountered violent opposition from mediocre minds." Einstein
On Tuesday, March 16, 2021 at 9:30:58 AM UTC-7, olcott wrote:Good luck.
An at least partial halt decider based on adapting a UTM <is> a pureI suggest you find something else to work on. The UTM (universal Turing machine) "Halt Decider" referenced in your essay cannot do what it is supposed to do. Presenting some program, even if it is in assembler, does not "solve" the halting problem.
function of its inputs.
This adapted UTM would simply simulate the execution of its input until
its input halts on its own or its halt decider determines that its input
would never halt on its own and stops simulating it.
In order for the UTM to see what its input does it must keep track of an
execution trace of its input. This execution trace <is not> another
input it is merely the internal state of the halt decider / UTM.
http://www.liarparadox.org/Halting_problem_undecidability_and_infinite_recursion.pdf
--
Copyright 2021 Pete Olcott
"Great spirits have always encountered violent opposition from mediocre
minds." Einstein
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 379 |
Nodes: | 16 (4 / 12) |
Uptime: | 20:50:02 |
Calls: | 8,135 |
Calls today: | 8 |
Files: | 13,082 |
Messages: | 5,856,214 |