Re: HHH(DDD)==0 is correct

On 7/10/2025 4:09 AM, Mikko wrote:

On 2025-07-09 12:45:54 +0000, olcott said:
 

>
*Here is HHH matching that pattern*
executed HHH simulates DDD that calls emulated HHH(DDD)
that simulates DDD that calls emulated emulated HHH(DDD)
>
*Here is the 197 page full execution trace of that*
https://liarparadox.org/HHH(DDD)_Full_Trace.pdf

 That trace is a little long. Where in that trace is the forth level of
recursive simulation statrted?
 

After the non-terminating behavior pattern is matched
on line 996
https://github.com/plolcott/x86utm/blob/master/Halt7.c
HHH rejects DDD as specifying non-halting behavior.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer