Deutsch English Français Italiano |
<vb99qf$3plip$3@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!.POSTED!not-for-mail From: "Fred. Zwarts" <F.Zwarts@HetNet.nl> Newsgroups: comp.theory Subject: Re: Defining a correct simulating halt decider Date: Wed, 4 Sep 2024 11:38:22 +0200 Organization: A noiseless patient Spider Lines: 30 Message-ID: <vb99qf$3plip$3@dont-email.me> References: <vb4plc$2tqeg$1@dont-email.me> <vb4u1g$2u7sn$4@dont-email.me> <vb59cg$3057o$1@dont-email.me> <f0ff8a5345087a3b89853b26af12e38d433afc7b@i2pn2.org> <vb7l68$3efl8$1@dont-email.me> <e31c9b03d979de12131d3043f3f09dcd94273e7e@i2pn2.org> <vb7rbl$3fd42$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Wed, 04 Sep 2024 11:38:23 +0200 (CEST) Injection-Info: dont-email.me; posting-host="ed9ea28463654a537184d56af58bea5f"; logging-data="3987033"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18NSH6uDMoHA63CdLY003MD" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:/L1EX7H+MvlSkFUoPImKKhLVcRI= Content-Language: en-GB In-Reply-To: <vb7rbl$3fd42$1@dont-email.me> Bytes: 2700 Op 03.sep.2024 om 22:25 schreef olcott: > On 9/3/2024 2:01 PM, joes wrote: >> Am Tue, 03 Sep 2024 13:40:08 -0500 schrieb olcott: >>> On 9/3/2024 9:42 AM, joes wrote: >>>> Am Mon, 02 Sep 2024 16:06:24 -0500 schrieb olcott: >>>>> On 9/2/2024 12:52 PM, Fred. Zwarts wrote: >>>>>> Op 02.sep.2024 om 18:38 schreef olcott: >>>>>>> A halt decider is a Turing machine that computes the mapping from >>>>>>> its finite string input to the behavior that this finite string >>>>>>> specifies. >>>>>>> If the finite string machine string machine description specifies >>>>>>> that it cannot possibly reach its own final halt state then this >>>>>>> machine description specifies non-halting behavior. >>>> Which DDD does not. >>> DDD emulated by HHH cannot possibly reach its final halt state no matter >>> what HHH does. >> But DDD halts, so it „specifies halting behaviour”. >> HHH can’t simulate itself. >> > > HHH does simulate itself simulating DDD > why do you insist on lying about this? > > https://github.com/plolcott/x86utm/blob/master/Halt7.c HHH *tries* to simulate itself, but it fails to reach the end of its simulation of the halting program. This is a failure of the simulator, which Olcott uses to claim that the input has changed its behaviour. But it is clear that the behaviour of the program described by the finite string is completely fixed by the semantics of the x86 language and does not change by incorrect simulations.