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

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.
Mike Terry, on the other hand, has shown that it fails to correctly simulate DDD.
--
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