On 5/10/2025 2:33 AM, Mikko wrote: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.On 2025-05-09 16:25:12 +0000, olcott said:It is stipulated that when one or more statements
>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.
>
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.
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.
| Date | Sujet | # | Auteur | |
| 23 Apr 26 |  … |
Les messages affichés proviennent d'usenet.