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

On 2024-07-10 17:53:38 +0000, olcott said:

On 7/10/2024 12:45 PM, Fred. Zwarts wrote:

Op 10.jul.2024 om 17:03 schreef olcott:

typedef void (*ptr)();
int HHH(ptr P);
 void DDD()
{
   HHH(DDD);
}
 int main()
{
   HHH(DDD);
}

 Unneeded complexity. It is equivalent to:
        int main()
       {
         return HHH(main);
       }
 

  Every time any HHH correctly emulates DDD it calls the
x86utm operating system to create a separate process
context with its own memory virtual registers and stack,
thus each recursively emulated DDD is a different instance.

However, each of those instances has the same sequence of instructions
that the x86 language specifies the same operational meaning.
--
Mikko