From Newsgroup: comp.lang.c

*Context for what Richard Heathfield agreed to*

<Input to LLM systems>
Simulating Termination Analyzer HHH correctly simulates its input until:
(a) Detects a non-terminating behavior pattern:
abort simulation and return 0.
(b) Simulated input reaches its simulated "return" statement:
return 1.

typedef int (*ptr)();
int HHH(ptr P);

int DD()
{
int Halt_Status = HHH(DD);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}

What value should HHH(DD) correctly return?
<Input to LLM systems>

On 8/18/2025 6:05 PM, Richard Heathfield wrote:>

It is an easily verified fact, as you love to say, that if DD calls HHH
(as it does) and HHH calls DD (as, through simulation, it effectively
does) that HHH(DD) can never halt naturally, so it will have to abort
the recursion and report its result as 0 - didn't halt.

Here are three of the five LLM systems that figured
out this same reasoning on their own.

https://claude.ai/share/da9e56ba-f4e9-45ee-9f2c-dc5ffe10f00c

https://chatgpt.com/share/68939ee5-e2f8-8011-837d-438fe8e98b9c

https://grok.com/share/c2hhcmQtMg%3D%3D_810120bb-5ab5-4bf8-af21-eedd0f09e141


ChatGPT 5.0 and Gemini both had to be told DO NOT GUESS.
They are not included in the above three. Systems that
guess by default are inferior.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

On 8/18/2025 9:16 PM, Richard Heathfield wrote:

On 19/08/2025 03:00, olcott wrote:

*Context for what Richard Heathfield agreed to*

Close but no banana.

<Input to LLM systems>
Simulating Termination Analyzer HHH correctly simulates its input

I certainly didn't agree to that.

until:
(a) Detects a non-terminating behavior pattern:
abort simulation and return 0.

I am prepared to accept that this is how you cope with runaway
recursion, yes.

(b) Simulated input reaches its simulated "return" statement:
return 1.

This doesn't happen as far as I'm aware.

typedef int (*ptr)();
int HHH(ptr P);

int DD()
{
   int Halt_Status = HHH(DD);

You know that'll be 0, so memoise it:

      Halt_Status = 0;

   if (Halt_Status)

if(0)... so no...

     HERE: goto HERE;

After skipping that, we get to:

   return Halt_Status;

return 0;

}

What value should HHH(DD) correctly return?

You've already said that it correctly returns 0 - which correctly
describes HHH's action (aborted and concluded non-halting).

*Hence perfect agreement as shown more clearly here*

On 8/18/2025 6:05 PM, Richard Heathfield wrote:

It is an easily verified fact, as you love to say,
that if DD calls HHH (as it does) and HHH calls DD
(as, through simulation, it effectively does) that
HHH(DD) can never halt naturally, so it will have
to abort the recursion and report its result as 0
- didn't halt.

--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
--- Synchronet 3.21a-Linux NewsLink 1.2