Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory Subject: Re: DDD correctly emulated by HHH --- Correct Emulation Defined 2 Date: Sat, 22 Mar 2025 08:08:55 -0500 Organization: A noiseless patient Spider Lines: 29 Message-ID: References: <8354fe5751e03a767452a3999818d5c6da714a6b@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sat, 22 Mar 2025 14:08:56 +0100 (CET) Injection-Info: dont-email.me; posting-host="0ec9c516aeb6faf287a21f372f67aa5c"; logging-data="34622"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18wvYblhR85N8KOxgd3AdUq" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:rO8aRrAUkRwNHHHAjk8lTMbdzkg= X-Antivirus: Norton (VPS 250322-2, 3/22/2025), Outbound message X-Antivirus-Status: Clean Content-Language: en-US In-Reply-To: Bytes: 2597 On 3/22/2025 4:54 AM, Mikko wrote: > On 2025-03-22 00:02:24 +0000, olcott said: > >> 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. > > When you mark your earlier post as erronous with the number 2 (or any > other way) on the subject line you should tell in the message which > error you found in your ealier posting and how the new posting is > better. > There was no error The words were not clear enough for Richard. -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer