Deutsch English Français Italiano |
<v8e9vu$1oqd7$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!3.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 Subject: Re: Hypothetical possibilities --- Correct emulation has been proven for three years Date: Wed, 31 Jul 2024 16:23:09 -0500 Organization: A noiseless patient Spider Lines: 57 Message-ID: <v8e9vu$1oqd7$1@dont-email.me> References: <v7gl30$3j9fi$1@dont-email.me> <v7led6$kacj$1@dont-email.me> <v7lsg5$luh0$5@dont-email.me> <v7nm9m$1433k$1@dont-email.me> <v7ofe7$17h8r$6@dont-email.me> <v7qfu0$1m6vf$1@dont-email.me> <v7r040$1onhe$3@dont-email.me> <v7vlbj$2ofet$1@dont-email.me> <v80a2u$2rabc$4@dont-email.me> <v825jo$39i9l$1@dont-email.me> <v82u9d$3dftr$3@dont-email.me> <v8306v$3c7$1@news.muc.de> <v83161$3dftr$11@dont-email.me> <v84udt$3rp4t$1@dont-email.me> <v8bc6j$159av$1@dont-email.me> <ea673a5b4ed43fbddf938c69bd013b0cf2ca325d@i2pn2.org> <v8c6kb$1de3l$1@dont-email.me> <9f3112e056ad6eebf35f940c34b802b46addcad4@i2pn2.org> <v8cde0$1ecgo$1@dont-email.me> <v8ctgt$1gbu7$4@dont-email.me> <v8dkc3$1kii7$3@dont-email.me> <v8e55v$1nrnh$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Wed, 31 Jul 2024 23:23:10 +0200 (CEST) Injection-Info: dont-email.me; posting-host="d6c56e3cc0e766a5f243fbbf3db0d44a"; logging-data="1862055"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/W0D19VyoQ3tsYG5B0cgBC" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:K99BXe+soyOtXwfyIf9blF+nMMk= Content-Language: en-US In-Reply-To: <v8e55v$1nrnh$1@dont-email.me> Bytes: 3999 On 7/31/2024 3:01 PM, Fred. Zwarts wrote: > Op 31.jul.2024 om 17:14 schreef olcott: >> On 7/31/2024 3:44 AM, Fred. Zwarts wrote: >>> Op 31.jul.2024 om 06:09 schreef olcott: >>>> >>>> machine stack stack machine assembly >>>> address address data code language >>>> ======== ======== ======== ========= ============= >>>> [00002192][00103820][00000000] 55 push ebp >>>> [00002193][00103820][00000000] 8bec mov ebp,esp >>>> [00002195][0010381c][00002172] 6872210000 push 00002172 ; push DDD >>>> [0000219a][00103818][0000219f] e833f4ffff call 000015d2 ; call HHH(DDD) >>>> New slave_stack at:1038c4 >>>> >>>> We don't show any of HHH and show the execution trace of >>>> of just DDD assuming that HHH is an x86 emulator. >>> >>> This assumption is incorrect if it means that HHH is an unconditional >>> simulator that does not abort. >> This algorithm is used by all 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> > > So, Sipser only agreed to a correct simulation, not with an incorrect > simulation that violates the semantics of the x86 language by skipping > the last few instructions of a halting program. > int DD() { int Halt_Status = HHH(DD); if (Halt_Status) HERE: goto HERE; return Halt_Status; } int main() { HHH(DD); } DD correctly emulated by HHH cannot possibly reach its own second line. I switched to DDD correctly emulated by HHH because only C experts understood the above example and we never had any of those here. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer