Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: DDD specifies recursive emulation to HHH and halting to HHH1
Date: Sat, 29 Mar 2025 14:48:19 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <8b2766bd81124c8c2545093158631f191ecce31f@i2pn2.org>
References: <vrfuob$256og$1@dont-email.me> <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> <vs8bnk$sd2j$1@dont-email.me>
 <vs9428$1fccq$8@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 29 Mar 2025 18:48:39 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2290707"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <vs9428$1fccq$8@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0

On 3/29/25 11:36 AM, olcott wrote:
> On 3/29/2025 3:41 AM, Fred. Zwarts wrote:
>> 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.
>>
> 
> _DDD()
> [00002163] 55         push ebp      ; housekeeping
> [00002164] 8bec       mov ebp,esp   ; housekeeping
> [00002166] 6863210000 push 00002163 ; push DDD
> [0000216b] e853f4ffff call 000015c3 ; call HHH(DDD)
> [00002170] 83c404     add esp,+04
> [00002173] 5d         pop ebp
> [00002174] c3         ret
> Size in bytes:(0018) [00002174]

Not a program, as doesn't include all of its code, thus your "logic" is 
based on a CATEGORY ERROR.

> 
>> Does not matter how you call it, 
> 
> It 100% totally does matter that DDD specifies non-halting
> behavior when emulated by HHH according to the semantics of
> the x86 language. That HHH DOES CORRECTLY DECIDE NON HALTING
> MATTERS THE MOST.

But it doesn't, since HHH doesn't do an emulation that determines 
"non-halting behavior", and it does correctly emulate per the x86 
language, and thus it doesn't "correctly" decide anything.

You are just showing you don't understand the words you say, but are 
just a pathological lying idiot.

> 
>> 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.
>>
>>
> 
>