Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory Subject: Re: Every sufficiently competent C programmer knows --- posthumous reviewers Date: Sat, 15 Mar 2025 16:54:31 -0500 Organization: A noiseless patient Spider Lines: 57 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sat, 15 Mar 2025 22:54:32 +0100 (CET) Injection-Info: dont-email.me; posting-host="442a9ec1ae8b0ed609e933f76503e6e9"; logging-data="381848"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+sry0hLLq4rRnhHrq6vzAG" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:Xn+8jTq3JRC0xwegk115jhq/TbM= In-Reply-To: X-Antivirus: Norton (VPS 250315-4, 3/15/2025), Outbound message Content-Language: en-US X-Antivirus-Status: Clean On 3/15/2025 5:24 AM, Mikko wrote: > On 2025-03-13 20:56:22 +0000, olcott said: > >> On 3/13/2025 4:22 AM, Mikko wrote: >>> On 2025-03-13 00:36:04 +0000, olcott said: >>> >>>> >>>> void DDD() >>>> { >>>>    HHH(DDD); >>>>    return; >>>> } >>>> >>>> int DD() >>>> { >>>>    int Halt_Status = HHH(DD); >>>>    if (Halt_Status) >>>>      HERE: goto HERE; >>>>    return Halt_Status; >>>> } >>>> >>>> When HHH correctly emulates N steps of the >>>> above functions none of them can possibly reach >>>> their own "return" instruction and terminate normally. >>> >>> Nevertheless, assuming HHH is a decider, Infinite_Loop and >>> Infinite_Recursion >>> specify a non-terminating behaviour, DDD specifies a terminating >>> behaviour >> >> _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] >> >> What is the sequence of machine language >> instructions of DDD emulated by HHH such that DDD >> reaches its machine address 00002183? >> >> Any failure to answer with the sequence of machine >> addresses will be construed as >> YOU KNOW THAT YOU ARE LYING OR DON'T UNDERSTAND THE QUESTON > > That a question is not answered is not a lie. It is when the claim that I am incorrect is repeated many many times with many requests for supporting reasoning showing how I am wrong are totally ignored. -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer