Re: HHH(DDD) is correct to reject its input as non-halting --- EVIDENCE THAT I AM CORRECT

On 6/29/2025 5:38 AM, Fred. Zwarts wrote:

Op 28.jun.2025 om 15:02 schreef olcott:

On 6/28/2025 3:50 AM, Fred. Zwarts wrote:

Op 28.jun.2025 om 01:30 schreef olcott:

On 6/26/2025 4:16 AM, Fred. Zwarts wrote:

Op 25.jun.2025 om 16:09 schreef olcott:

On 6/25/2025 2:59 AM, Fred. Zwarts wrote:

Op 24.jun.2025 om 16:06 schreef olcott:

>
None of the code in HHH can possibly cause DDD correctly
simulated by HHH to reach its own simulated "return" statement.

>
Yes, exactly, that is the bug.
>

>
Recursive emulation is only a tiny bit more complicated
than recursion yet no one here seems to have a clue.
Do you know what recursion is?
(If you don't that would explain a lot)

As usual irrelevant claims without evidence. No rebuttal.

>
Ah so you don't know what recursion is.

 As usual a false claim without evidence.
 

>

HHH has a bug that makes that it does not recognise the halting behaviour of the program specified in the input.

>
If you don't even know what recursion is then
you are totally unqualified to review these things.

 And since the condition in the 'if' fails, the conclusion is not true.
 

>

Even a beginner can see that the input is a pointer to code, including the code to abort and halt. But HHH is programmed to ignore the conditional branch instructions, when simulating itself, so it thinks that there is an infinite loop when there are only a finite number of recursions.
But Olcott does not understand that not all recursions are infinite.

>
When the measure is whether or not DDD correctly
simulated by HHH can possibly reach its own "return"
instruction final halt state nothing inside HHH can
possibly have any effect on this.
>
That you don't know this proves that you are unqualified
to review my work.

The failure of HHH is an incorrect measure for the halting behaviour specified in the input.
That you do not understand this explains your invalid claims.
The halting behaviour of the input can be analysed by several other methods and they show that HHH is incorrect in its analysis.
 

What other methods can any software system compute
the mapping from the input x86 code input to HHH to
any other behavior than that reported below?
void DDD()
{
   HHH(DDD);
   return;
}
_DDD()
[00002192] 55             push ebp
[00002193] 8bec           mov ebp,esp
[00002195] 6892210000     push 00002192  // push DDD
[0000219a] e833f4ffff     call 000015d2  // call HHH
[0000219f] 83c404         add esp,+04
[000021a2] 5d             pop ebp
[000021a3] c3             ret
Size in bytes:(0018) [000021a3]
HHH cannot possibly have a bug because the x86 source
code of DDD specifies that this emulated DDD cannot
possibly reach its own emulated "ret" instruction final
halt state when emulated by HHH according to the semantics
of the x86 language.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer