Deutsch English Français Italiano |
<v6m8qa$1uq86$3@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!2.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott <polcott333@gmail.com> Newsgroups: comp.theory,sci.logic Subject: Re: DDD correctly emulated by HHH is correctly rejected as non-halting. Date: Wed, 10 Jul 2024 10:19:38 -0500 Organization: A noiseless patient Spider Lines: 58 Message-ID: <v6m8qa$1uq86$3@dont-email.me> References: <v6m7si$1uq86$2@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Wed, 10 Jul 2024 17:19:39 +0200 (CEST) Injection-Info: dont-email.me; posting-host="1ca7ba779153ded89a6e04f3275941c5"; logging-data="2058502"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+lapniL0cmDsC1fvQx5VF7" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:JtMaf+ujmS4QIp04rH6yZl25/sg= In-Reply-To: <v6m7si$1uq86$2@dont-email.me> Content-Language: en-US Bytes: 3214 On 7/10/2024 10:03 AM, olcott wrote: > typedef void (*ptr)(); > int HHH(ptr P); > > void DDD() > { > HHH(DDD); > } > > int main() > { > HHH(DDD); > } > > We stipulate that the only measure of a correct emulation > is the semantics of the x86 programming language. By this > measure when 1 to ∞ steps of DDD are correctly emulated by > each pure function x86 emulator HHH (of the infinite set > of every HHH that can possibly exist) then DDD cannot > possibly reach past its own machine address of 0000216b > and halt. > > _DDD() > [00002163] 55 push ebp ; housekeeping > [00002164] 8bec mov ebp,esp ; housekeeping > [00002166] 6863210000 push 00002163 ; push DDD > [0000216b] e853f4ffff call 000015c3 ; call HHH(DDD) > [00002170] 83c404 add esp,+04 > [00002173] 5d pop ebp > [00002174] c3 ret > Size in bytes:(0018) [00002174] > > *This algorithm is used by the simulating termination analyzers* > <MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022> > If simulating halt decider H correctly simulates its input D > until H correctly determines that its simulated D would never > stop running unless aborted then > > H can abort its simulation of D and correctly report that D > specifies a non-halting sequence of configurations. > </MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022> > > Simulating termination analyzer HHH aborts its emulation of DDD > as soon as it correctly detects any non-halting behavior pattern. > At this point it aborts its emulation and returns 0 indicating > that it rejected this input as non-halting. > This is the 63rd rewrite of this 13th revision of the paper. Simulating Termination Analyzer H is Not Fooled by Pathological Input D https://www.researchgate.net/publication/369971402_Simulating_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer