Re: Flat out dishonest or totally ignorant?

Am Mon, 01 Jul 2024 20:25:40 -0500 schrieb olcott:

int main()
{
   HHH(Infinite_Loop); HHH(Infinite_Recursion);
   HHH(DDD);
}
Every C programmer that knows what an x86 emulator is knows that when
HHH emulates the machine language of Infinite_Loop, Infinite_Recursion,
and DDD that it must abort these emulations so that itself can terminate
normally.

At the cost of not doing the full simulation. If you want it to terminate.

When this is construed as non-halting criteria then simulating
termination analyzer HHH is correct to reject these inputs as
non-halting by returning 0 to its caller.

It gets the decider part right, but not the simulator part.

Simulating termination analyzers must report on the behavior that their
finite string input specifies thus HHH must report that DDD correctly
emulated by HHH remains stuck in recursive simulation.

Of course we want the right answer, which is not whatever HHH makes up,
but what the input DDD does by itself.

--
Am Fri, 28 Jun 2024 16:52:17 -0500 schrieb olcott:
Objectively I am a genius.