Path: ...!feeds.phibee-telecom.net!weretis.net!feeder8.news.weretis.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: Mon, 1 Jul 2024 16:27:14 +0200
Organization: A noiseless patient Spider
Lines: 36
Message-ID: <v5uec2$12qkb$2@dont-email.me>
References: <v4vrfg$2793f$1@dont-email.me> <v5btf3$v0vb$4@dont-email.me>
 <v5chru$10816$1@i2pn2.org> <v5cn01$149dc$1@dont-email.me>
 <v5ebvr$1hs89$1@dont-email.me> <v5efod$1ikpr$1@dont-email.me>
 <v5ejau$1iq57$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 01 Jul 2024 16:27:14 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="1534dac1c532bab719c9b21f66b1f90c";
	logging-data="1141387"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/a6KhRvT5axsXU5t3UNAWK"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:X7o/Gaf8vKIfClsvU4IN9SQ2WNk=
Content-Language: en-GB
In-Reply-To: <v5u94l$12udb$5@dont-email.me>
Bytes: 3273

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:
>>>
>>>> No, I mean: why does the inner simulator repeat instead of aborting,
>>>> the same as the outer one does?
>>>>
>>>>> Technically it is called detecting a repeating state.
>>>> Yeah, I know. My point is: all recursive calls both enter and detect
>>>> a repeating state.
>>>>
>>>
>>> The inner ones always see one less execution trace
>>> than the next outer one, thus could only meet their
>>> abort criteria after they have already been aborted.
>>>
>>
>> Which indicates that they were aborted too soon, showing that the 
>> emulation was incorrect.
> 
> 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. Aborting will abort too soon. Both 
cases are incorrect.

> 
> There is no passing the guy in front of you if you both
> continue to run at the exact same speed, he will always
> be ahead of you.
> 

But shooting his tyres is also incorrect.