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

On 2025-05-09 16:25:12 +0000, olcott said:

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)

That one or more statements of DDD are correctly simulated does not
mean that DDD is correctly simulated.
That one or more cents of a debt is correctly paid does not mean
that the debt is correctly paid.
--
Mikko