Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)

On 08/05/2025 23:50, olcott wrote:

On 5/8/2025 5:26 PM, Keith Thompson wrote:

<snip>

No, the problem Richard was pointing out with olcott's Halt7.c is that
*it's not valid C".
>

<snip>

 void DDD()
{
   HHH(DDD);
   return;
}
 If you are a competent C programmer

Keith Thompson is a highly-respected and very competent C programmer. You, however, are not.

then you
know that DDD correctly simulated by HHH cannot
possibly each its own "return" instruction.

Assumes facts not in evidence. Whether HHH correctly simulates DDD is disputed by a number of people. Your C code has a number of issues, and Mike Terry has pointed out exactly how the simulator fails to simulate.
What's left standing? Anything?
--
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