Sujet : Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 15. Jul 2024, 22:03:30
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v742r2$s48s$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
User-Agent : Mozilla Thunderbird
On 7/15/2024 3:58 PM, joes wrote:
Am Mon, 15 Jul 2024 10:52:34 -0500 schrieb olcott:
On 7/15/2024 9:04 AM, joes wrote:
Am Mon, 15 Jul 2024 07:23:57 -0500 schrieb olcott:
On 7/15/2024 3:59 AM, joes wrote:
Am Sun, 14 Jul 2024 22:35:03 -0500 schrieb olcott:
On 7/14/2024 10:02 PM, Mike Terry wrote:
>
Any input that must be aborted to prevent the non termination of
simulating termination analyzer HHH necessarily specifies
non-halting behavior or it would never need to be aborted.
It's just that the input HHH halts and does not need to be aborted.
At the point that it is aborted it did need to be aborted
Because it hadn't halted yet?
Because HHH has seen a repeating state that proves that DDD correctly
emulated by HHH cannot possibly ever stop running unless aborted.
Which state is it that repeats forever?
void Infinite_Loop()
{
HERE: goto HERE;
}
*It had never been which state DOES repeat forever*
*It has always been which state WOULD repeat forever if not aborted*
Infinite_Loop() doesn't even repeat forever because it is aborted.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
…