Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC

On 24/05/2025 17:13, olcott wrote:

No HHH can report on the behavior of its caller

 From Halt7.c:
void DDD()
{
   HHH(DDD);
   return;
}
Since (as you say) no HHH can report on the behaviour of its caller, and since (as your code shows) DDD is HHH's caller, we deduce that HHH cannot report on DDD.
So HHH is not (according to you) a halt analyser for DDD.
I'm not sure you've left anything to discuss, have you?
--
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within