Path: ...!2.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Fred. Zwarts" <F.Zwarts@HetNet.nl>
Newsgroups: comp.theory
Subject: Re: 197 page execution trace of DDD correctly simulated by HHH
Date: Tue, 2 Jul 2024 10:45:29 +0200
Organization: A noiseless patient Spider
Lines: 69
Message-ID: <v60ena$1ib5p$3@dont-email.me>
References: <v4vrfg$2793f$1@dont-email.me> <v5eup8$1lar1$2@dont-email.me>
 <v5f1nm$1lp16$1@dont-email.me> <v5f246$1m2fl$1@dont-email.me>
 <v5f3fg$1lp16$2@dont-email.me> <v5f3j8$1m2fl$2@dont-email.me>
 <v5f54f$1lp16$3@dont-email.me> <v5f5sd$1mcif$1@dont-email.me>
 <v5ght9$21jrt$1@dont-email.me> <v5h558$24jbd$7@dont-email.me>
 <v5jcas$2m18t$2@dont-email.me> <v5k7ju$2qsdr$5@dont-email.me>
 <v5mcvo$1cgj0$3@i2pn2.org> <v5mklg$3cibm$7@dont-email.me>
 <v5mo8a$1d3t3$2@i2pn2.org> <v5mqge$3e4fd$2@dont-email.me>
 <v5msjt$1d3t3$9@i2pn2.org> <v5mtba$3elj0$1@dont-email.me>
 <v5n2ah$1d3t3$10@i2pn2.org> <v5n2sk$3fm1k$1@dont-email.me>
 <v5po6i$1h5u1$1@i2pn2.org> <v5pp9m$2jk8$1@dont-email.me>
 <v5r5p4$1irrf$1@i2pn2.org> <v5s4f4$jvgt$3@dont-email.me>
 <v5tp92$vsqr$2@dont-email.me> <v5u94l$12udb$5@dont-email.me>
 <v5uec2$12qkb$2@dont-email.me> <v5uesa$145ld$2@dont-email.me>
 <v5ujbj$1na1q$2@i2pn2.org> <v5ujk7$152mc$1@dont-email.me>
 <v5urlj$16atu$2@dont-email.me> <v5usj6$16k0l$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 02 Jul 2024 10:45:30 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="53ee6a76ae1277aa2fa0ccc5a0217e91";
	logging-data="1649849"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/xWkNCiV8hgs/0aF3Rm8W9"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:HvoDz6MDUiOnEKwtDvG6biM82Qw=
In-Reply-To: <v5usj6$16k0l$2@dont-email.me>
Content-Language: en-GB
Bytes: 4874

Op 01.jul.2024 om 20:29 schreef olcott:
> On 7/1/2024 1:14 PM, Fred. Zwarts wrote:
>> Op 01.jul.2024 om 17:56 schreef olcott:
>>> On 7/1/2024 10:52 AM, joes wrote:
>>>> Am Mon, 01 Jul 2024 09:35:54 -0500 schrieb olcott:
>>>>> On 7/1/2024 9:27 AM, Fred. Zwarts wrote:
>>>>>> Op 01.jul.2024 om 14:57 schreef olcott:
>>>>>>> On 7/1/2024 3:27 AM, Fred. Zwarts wrote:
>>>>>>>> Op 30.jun.2024 om 19:25 schreef olcott:
>>>>>>>>> On 6/30/2024 3:42 AM, joes wrote:
>>>>
>>>>>>> Unless the outer HHH aborts its simulation after some fixed 
>>>>>>> number of
>>>>>>> correct emulations or none of the HHH ever aborts and HHH never 
>>>>>>> stops
>>>>>>> running.
>>>>>> But that does not make the result of the abort correct.
>>>>>> Not aborting will loop infinitely.
>>>>>       If simulating halt decider H correctly simulates its input D 
>>>>> until
>>>>>       H correctly determines that its simulated D would never stop
>>>>>       running unless aborted
>>>> If. D does stop running though, because the H that it calls aborts the
>>>> recursive emulation in order to be a decider.
>>>>
>>>
>>> *In each of the following cases the abort criteria has been met*
>>
>> Again a claim without evidence.
>> If true, the abort criteria are incorrect.
> 
> The #1 best selling author of theory of computation textbooks is wrong?
> The #1 best selling author of theory of computation textbooks is wrong?
> The #1 best selling author of theory of computation textbooks is wrong?

No, *you* are wrong because you cite Sipser talking about a correct 
simulation, whereas your simulation is incorrect, so his words do not 
apply here. This has been pointed out already many times to you. You 
seem to be a slow learner.

> 
> https://www.amazon.com/Introduction-Theory-Computation-Michael-Sipser/dp/113318779X/
> 
> <MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
>      If simulating halt decider H correctly simulates its input D
>      until H correctly determines that its simulated D would never
>      stop running unless aborted then
> 
>      H can abort its simulation of D and correctly report that D
>      specifies a non-halting sequence of configurations.
> </MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
> 
> 
> So you don't even know what an infinite loop is?

I do, but since you think that two equals infinite, it is clear that you 
do not understand it.
HHH simulates only two cycles. Two does not equal infinite.
This has been pointed out to you many times, as well.
You seem to be a slow learner, forgetting many verified facts.

void Finite_Recursion (int N) {
   if (N != 0) Finite_Recursion (N - 1);
}

This is equivalent to you HHH that simulates N cycles.
No abort needed.
But you keep saying that it is an infinite loop.