Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: DDD specifies recursive emulation to HHH and halting to HHH1
Date: Thu, 27 Mar 2025 19:11:07 -0500
Organization: A noiseless patient Spider
Lines: 41
Message-ID: <vs4per$1c1ja$5@dont-email.me>
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>
 <61f821b5a18046ab36ddb6c52a003b574cf34de6@i2pn2.org>
 <vs2hnm$38lvq$1@dont-email.me>
 <9be1ff2af6bbf405565b27bc8211adf9f353e9f2@i2pn2.org>
 <vs44b6$qjc3$1@dont-email.me>
 <3ff8345ef2ddb51594c67cf7f5cbb81f696afbc5@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 28 Mar 2025 01:11:08 +0100 (CET)
Injection-Info: dont-email.me; posting-host="c3826c8f357adb38be8b9ef5898c2054";
	logging-data="1443434"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+ce+yYv1B9bt5Eu01o2QjL"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:esXJ2Qt7QhRv5qMRdr3KC453Av8=
Content-Language: en-US
X-Antivirus-Status: Clean
X-Antivirus: Norton (VPS 250327-8, 3/27/2025), Outbound message
In-Reply-To: <3ff8345ef2ddb51594c67cf7f5cbb81f696afbc5@i2pn2.org>
Bytes: 3818

On 3/27/2025 4:56 PM, joes wrote:
> Am Thu, 27 Mar 2025 13:10:46 -0500 schrieb olcott:
>> On 3/27/2025 6:02 AM, Richard Damon wrote:
>>> On 3/26/25 11:47 PM, olcott wrote:
>>>> On 3/26/2025 10:28 PM, Richard Damon wrote:
>>>>> On 3/26/25 11:09 PM, olcott wrote:
>>>>>> 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.
>>>>> But DDD emulated by an actually correct emulator will,
>>>> If you were not intentionally persisting in a lie you would
>>>> acknowledge the dead obvious that DDD emulated by HHH according to the
>>>> semantics of the x86 language cannot possibly correctly reach its
>>>> final halt state.

_DDD()
[00002172] 55         push ebp      ; housekeeping
[00002173] 8bec       mov  ebp,esp  ; housekeeping
[00002175] 6872210000 push 00002172 ; push DDD
[0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
[0000217f] 83c404     add  esp,+04
[00002182] 5d         pop  ebp
[00002183] c3         ret
Size in bytes:(0018) [00002183]

> Yes, HHH is not a correct simulator.
> 

You say that it is not a correct simulator on the basis
of your ignorance of the x86 language that conclusively
proves that HHH does correctly simulate the first four
instructions of DDD and correctly simulates itself
simulating the first four instructions of DDD.

-- 
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer