Deutsch English Français Italiano |
<vq0064$dfn3$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
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: The actual code of HHH Date: Sat, 1 Mar 2025 16:02:44 -0600 Organization: A noiseless patient Spider Lines: 60 Message-ID: <vq0064$dfn3$1@dont-email.me> References: <f73c3b97590a4d189e33a2cf255ed3337e56d3cf@i2pn2.org> <vpo6v9$2p51t$1@dont-email.me> <vppb4e$323f6$1@dont-email.me> <vpq0cr$35jvb$3@dont-email.me> <vpruu5$3jk6g$1@dont-email.me> <vptn5p$3st19$15@dont-email.me> <vpufdd$4tjp$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sat, 01 Mar 2025 23:02:45 +0100 (CET) Injection-Info: dont-email.me; posting-host="7b4f06e456023699d538e77dba30bc57"; logging-data="442083"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19cvle7ey1aNXGSrEmfWyWQ" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:+FZhls9ZPO5l2PMA9xGXMVnkP/A= In-Reply-To: <vpufdd$4tjp$1@dont-email.me> X-Antivirus-Status: Clean X-Antivirus: Norton (VPS 250301-6, 3/1/2025), Outbound message Content-Language: en-US Bytes: 3532 On 3/1/2025 2:10 AM, Mikko wrote: > On 2025-03-01 01:16:41 +0000, olcott said: > >> On 2/28/2025 3:16 AM, Mikko wrote: >>> On 2025-02-27 15:29:31 +0000, olcott said: >>> >> >>>>> No, it is correct to report that HHH is unable to correctly >>>>> simulate this halting program up to its end. >>>> >>>> In other words you are totally clueless that infinite >>>> recursion HAS NO END. >>> >>> Do you mean that having no end enables the simulation to the end? >> >> see my new post >> DD emulated by HHH cannot possibly terminate normally --- x86 code > > In that post: > >> DD() >> [00002133] 55 push ebp ; housekeeping >> [00002134] 8bec mov ebp,esp ; housekeeping >> [00002136] 51 push ecx ; make space for local >> [00002137] 6833210000 push 00002133 ; push DD >> [0000213c] e882f4ffff call 000015c3 ; call HHH(DD) >> [00002141] 83c404 add esp,+04 >> [00002144] 8945fc mov [ebp-04],eax >> [00002147] 837dfc00 cmp dword [ebp-04],+00 >> [0000214b] 7402 jz 0000214f >> [0000214d] ebfe jmp 0000214d >> [0000214f] 8b45fc mov eax,[ebp-04] >> [00002152] 8be5 mov esp,ebp >> [00002154] 5d pop ebp >> [00002155] c3 ret >> Size in bytes:(0035) [00002155] >> >> When we hypothesize that the code at machine address >> 0000213c is an x86 emulator then we know that DD >> remains stuck in recursive emulation and cannot possibly >> reach its own "ret" instruction and terminate normally. >> >> When we add the additional complexity that HHH also >> aborts this sequence at some point then every level >> of recursive emulation immediately stops. This does >> not enable any DD to ever reach its "ret" instruction. > > The question remains unanswered. If the author cannot tell what he > means we may assume that he didn't mean anything. > Your question applied to my ambiguous verbiage. I cancel that ambiguous verbiage and say that DD emulated by HHH cannot possibly reach its own "ret" instruction. -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer