On 2022-03-22 17:07, olcott wrote:
On 3/22/2022 5:57 PM, Richard Damon wrote:
The problem you have is that that the simulation that shows it wouldSo basically when the simulated input has had it simulation aborted it
never reach a final state requries that H/embedded_H NEVER abort its
simulation.
continues on and reaches its final state even though it was aborted.
As usual, you are horrendously confused.
If a TM acting on some input halts after 125 steps and I simulate it in
some partial simulator which simulates 100 steps and then aborts its simulation, the simulation never reaches a final state, but the
computation is still a halting computation.
When you abort a simulation after N steps, all that tells us is that the computation either doesn't halt or halts after more than N steps.
André
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 365 |
Nodes: | 16 (0 / 16) |
Uptime: | 09:43:03 |
Calls: | 7,758 |
Calls today: | 1 |
Files: | 12,897 |
Messages: | 5,744,446 |