Deutsch English Français Italiano |
<v5k7ju$2qsdr$5@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!news.mixmin.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: 195 page execution trace of DDD correctly simulated by HH0 Date: Thu, 27 Jun 2024 12:30:38 -0500 Organization: A noiseless patient Spider Lines: 70 Message-ID: <v5k7ju$2qsdr$5@dont-email.me> References: <v4vrfg$2793f$1@dont-email.me> <v58m12$8mmo$1@dont-email.me> <v59797$brmn$1@dont-email.me> <v5b7nv$qvrb$1@dont-email.me> <v5btf3$v0vb$4@dont-email.me> <v5chru$10816$1@i2pn2.org> <v5cn01$149dc$1@dont-email.me> <v5ebvr$1hs89$1@dont-email.me> <v5efod$1ikpr$1@dont-email.me> <v5ejau$1iq57$1@dont-email.me> <v5eup8$1lar1$2@dont-email.me> <v5f1nm$1lp16$1@dont-email.me> <v5f246$1m2fl$1@dont-email.me> <v5f3fg$1lp16$2@dont-email.me> <v5f3j8$1m2fl$2@dont-email.me> <v5f54f$1lp16$3@dont-email.me> <v5f5sd$1mcif$1@dont-email.me> <v5ght9$21jrt$1@dont-email.me> <v5h558$24jbd$7@dont-email.me> <v5jcas$2m18t$2@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Thu, 27 Jun 2024 19:30:39 +0200 (CEST) Injection-Info: dont-email.me; posting-host="d7b6b7ddfe8775f34f568700240d9d1b"; logging-data="2978235"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/+A5VR74mc6VW8j6xpVgw2" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:0pdan+gV+pTwyAkHQQatiB4AatE= In-Reply-To: <v5jcas$2m18t$2@dont-email.me> Content-Language: en-US Bytes: 3667 On 6/27/2024 4:45 AM, Fred. Zwarts wrote: > Op 26.jun.2024 om 15:30 schreef olcott: >> On 6/26/2024 3:01 AM, Fred. Zwarts wrote: >>> Op 25.jun.2024 om 21:30 schreef olcott: >>>> On 6/25/2024 2:17 PM, Fred. Zwarts wrote: >>>>> >>>>> It might be true, but it is irrelevant, because the simulated H0 is >>>>> aborted prematurely. The simulating H0 aborts after two cycles, >>>> >>>> *I am not even talking about a simulating halt decider yet dumbo* >>> >>> Neither am I. Why do you mention a simulating halt decider? (Who is >>> the dumbo?) >>> >> >> Simulated H0 is never aborted. >> Only termination analyzers do that. > > So, you change subject again. When you prove that you are totally overwhelmed and confused by the original issue I break it down into simpler steps. If you don't have a slight clue about the C programming language then the first step is you must learn this language otherwise it is like trying to talk to someone about differential calculus that does not know how to count to ten. typedef void (*ptr)(); int H0(ptr P); void Infinite_Loop() { HERE: goto HERE; } void Infinite_Recursion() { Infinite_Recursion(); } void DDD() { H0(DDD); } int main() { H0(Infinite_Loop); H0(Infinite_Recursion); H0(DDD); } Every C programmer that knows what an x86 emulator is knows that when H0 emulates the machine language of Infinite_Loop, Infinite_Recursion, and DDD that it must abort these emulations so that itself can terminate normally. When this is construed as non-halting criteria then simulating termination analyzer H0 is correct to reject these inputs as non-halting by returning 0 to its caller. Simulating termination analyzers must report on the behavior that their finite string input specifies thus H0 must report that DDD correctly emulated by H0 remains stuck in recursive simulation. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer