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

Op 10.mei.2025 om 17:25 schreef olcott:

On 5/10/2025 2:33 AM, Mikko wrote:

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.
>

 It is stipulated that when one or more statements
of DDD are correctly simulated that one or more
statements of DDD are correctly simulated.
 It is ridiculously stupid to require a simulating
termination analyzer to continue to simulate a non
terminating input.
 

1) In other words: When the computation of a value diverges, we can not require that it continues, so a wild guess must be correct.
2) If the analyser would continue, it would see that it is a terminating input. The input specifies a buggy halting program, but the buggy simulator does not see the behaviour specified in the input.