Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---

Op 09.aug.2024 om 22:53 schreef olcott:

On 8/9/2024 2:35 PM, Fred. Zwarts wrote:

Op 09.aug.2024 om 18:19 schreef olcott:

 void DDD()
{
   HHH(DDD);
   return;
}
 Each HHH of every HHH that can possibly exist definitely
emulates zero to infinity instructions of DDD correctly.
Every expert in the C language sees that this emulated DDD
cannot possibly reaches its own "return" instruction halt state.

And you don't need to be an expert to see that this proves that all these simulations are incorrect. Those that halt are incorrect, because they are incomplete, skipping the last cycle of the simulation, what makes them incorrect.
A simulation that runs forever is useless as well and will never become correct, because it never ends.
So, what you have done is showing that HHH cannot possibly simulate itself correctly.
DDD is a misleading and unneeded complication. It is easy to eliminate DDD:
        int main() {
          return HHH(main);
        }
This has the same problem. This proves that the problem is not in DDD, but in HHH, which halts when it aborts the simulation, but it decides that the simulation of itself does not halt.
It shows that HHH cannot possibly simulate itself correctly.