Re: DDD correctly emulated by HHH is correctly rejected as non-halting.

On 2024-07-10 15:03:46 +0000, olcott said:

typedef void (*ptr)();
int HHH(ptr P);
 void DDD()
{
   HHH(DDD);
}
 int main()
{
   HHH(DDD);
}
 We stipulate that the only measure of a correct emulation
is the semantics of the x86 programming language. By this
measure when 1 to ∞ steps of DDD are correctly emulated by
each pure function x86 emulator HHH (of the infinite set
of every HHH that can possibly exist) then DDD cannot
possibly reach past its own machine address of 0000216b
and halt.

For every instruction that the C compiler generates the x86 language
specifies an unambiguous meaning, leaving no room for "can".
--
Mikko