Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS

On 5/9/25 12:42 PM, olcott wrote:

On 5/9/2025 11:30 AM, Richard Heathfield wrote:

On 09/05/2025 17:25, olcott wrote:

void DDD()
{
   HHH(DDD);
   return;
}
>
When 1 or more statements of DDD are correctly
simulated by HHH then this correctly simulated
DDD cannot possibly reach its own “return statement”.
(final halt state)

>
You beg the question.
>
You have not shown that HHH correctly simulates anything.
>

 Like I said any competent C programmer can see that
when DDD is correctly simulated by any HHH that DDD
cannot possibly reach its own "return statement".

No any copetent C program will see that your FUNCTION C doesn't have a defined behavior until paired with a specific HHH, and if given just the code of DDD as an input, no pure function emulator can do that emulation.
(And there exists a non-pure function emulator that can emulate the input to the final state),

 This remains true for every case where 1 or more
statements of DDD have been correctly simulated.

Nope. But then it seems you are too stupid to read what people say.

 That you are not a competent C programmer is no rebuttal.
 

That you are so stupid is no excuse either.