Path: ...!news.misty.com!weretis.net!feeder9.news.weretis.net!news.quux.org!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: DDD correctly emulated by HHH --- Correct Emulation Defined 2
Date: Fri, 21 Mar 2025 19:02:24 -0500
Organization: A noiseless patient Spider
Lines: 17
Message-ID: <vrkumg$2l2ci$2@dont-email.me>
References: <vrfuob$256og$1@dont-email.me> <vrgme1$2tr56$1@dont-email.me>
 <vri5mn$6nv4$1@dont-email.me>
 <8354fe5751e03a767452a3999818d5c6da714a6b@i2pn2.org>
 <vrigh6$f35v$1@dont-email.me> <vrj6d3$14iuu$1@dont-email.me>
 <vrjog0$1ilbe$6@dont-email.me>
 <db8aa67218b2a0990cd1df38aca29dbd3930e145@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 22 Mar 2025 01:02:25 +0100 (CET)
Injection-Info: dont-email.me; posting-host="8fc5f39d68b90f4b93314cf283c9eb8e";
	logging-data="2787730"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+bqhB6X6kImQV4apKB7ovI"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:6oMBx0ZBiUpF2YiKwfLhOLEE8OM=
Content-Language: en-US
X-Antivirus-Status: Clean
X-Antivirus: Norton (VPS 250321-4, 3/21/2025), Outbound message
In-Reply-To: <db8aa67218b2a0990cd1df38aca29dbd3930e145@i2pn2.org>
Bytes: 2020


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]

For every HHH at machine address 000015d2 that emulates
a finite number of steps of DDD according to the
semantics of the x86 programming language no DDD
ever reaches its own "ret" instruction halt state.