Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: "Fred. Zwarts" <F.Zwarts@HetNet.nl>
Newsgroups: comp.theory
Subject: Re: DDD specifies recursive emulation to HHH and halting to HHH1
Date: Sat, 29 Mar 2025 09:41:24 +0100
Organization: A noiseless patient Spider
Lines: 31
Message-ID: <vs8bnk$sd2j$1@dont-email.me>
References: <vrfuob$256og$1@dont-email.me> <vrpfua$2qbhf$2@dont-email.me>
 <211f9a2a284cb2deaa666f424c1ef826fe855e80@i2pn2.org>
 <vrq330$3dq3n$1@dont-email.me>
 <e7268e8ef47579cacb49b0533d51549a77eb0b96@i2pn2.org>
 <vrqb6f$3k9kh$2@dont-email.me>
 <3f250e699762cfe6fccc844f10eb04f32d470b6a@i2pn2.org>
 <vrrpcl$11a56$4@dont-email.me>
 <8423998561d8feee807509b0ed6335123d35a7c9@i2pn2.org>
 <vrt3gv$264jb$4@dont-email.me>
 <448c82acff6b5fc1d2aa266be92df6f778ec2c6a@i2pn2.org>
 <vru5tp$38ob9$1@dont-email.me>
 <ac61f679d7ddb39b0ceaedd7f562899d36346535@i2pn2.org>
 <vrvccp$aq8m$3@dont-email.me>
 <e166831a8e02332d64ec151f61481e2629e6e53a@i2pn2.org>
 <vrvsh4$p4vd$2@dont-email.me>
 <c93030bbd81fb313c76c256c6e54beb48b07dfdd@i2pn2.org>
 <vs1vuv$2ot1m$1@dont-email.me>
 <d2f86fad6c5823e3c098f30d331576c52263b398@i2pn2.org>
 <vs2fgn$354gv$5@dont-email.me> <vs2u3v$3mcjm$2@dont-email.me>
 <vs434l$mmcb$3@dont-email.me>
 <da8a6b1e9be577b8dce5dd042ce4e7aa65376e85@i2pn2.org>
 <vs6rcv$39556$6@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 29 Mar 2025 09:41:24 +0100 (CET)
Injection-Info: dont-email.me; posting-host="13640222a42b83ce918b512af2679e23";
	logging-data="930899"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19G3iBjMYypWfBiDF9Qioe5"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Yg41oQHB+m8QVpZAGVZI/NccY0s=
In-Reply-To: <vs6rcv$39556$6@dont-email.me>
Content-Language: nl, en-GB
Bytes: 3329

Op 28.mrt.2025 om 19:56 schreef olcott:
> On 3/27/2025 5:01 PM, joes wrote:
>> Am Thu, 27 Mar 2025 12:50:12 -0500 schrieb olcott:
>>> On 3/27/2025 2:18 AM, Fred. Zwarts wrote:
>>>> Op 27.mrt.2025 om 04:09 schreef olcott:
>>>>> On 3/26/2025 8:22 PM, Richard Damon wrote:
>>
>>>>>> Non-Halting is that the machine won't reach its final staste even if
>>>>>> an unbounded number of steps are emulated. Since HHH doesn't do that,
>>>>>> it isn't showing non-halting.
>>>>> DDD emulated by any HHH will never reach its final state in an
>>>>> unbounded number of steps.
>>>>> DDD emulated by HHH1 reaches its final state in a finite number of
>>>>> steps.
>>>> It is not very interesting to know whether a simulator reports that it
>>>> is unable to reach the end of the simulation of a program that halts in
>>>> direct execution.
>>> That IS NOT what HHH is reporting.
> 
>> That is exactly what it does, and you have said so before(tm).
>>
> 
> You are saying that HHH is reporting that HHH is screwing
> up THAT IS FALSE. HHH IS REPORTING THAT DDD IS SCREWING UP.

Does not matter how you call it, but HHH (correctly) reports that it 
could not reach the end of the simulation. Exactly the same finite 
string does not give problems for direct execution or world-class 
simulators to reach this end.