Deutsch English Français Italiano |
<v41imt$2jqdk$4@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!weretis.net!feeder8.news.weretis.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: Proof that DD correctly simulated by HH provides the correct halt status criteria Date: Sat, 8 Jun 2024 07:27:09 -0500 Organization: A noiseless patient Spider Lines: 48 Message-ID: <v41imt$2jqdk$4@dont-email.me> References: <v3vv8a$287qb$1@dont-email.me> <v40rl0$2g7gn$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sat, 08 Jun 2024 14:27:10 +0200 (CEST) Injection-Info: dont-email.me; posting-host="99ea1b6838dd1404bad406fc122dbf0f"; logging-data="2746804"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19qTbHI6JCQMYOkgVad+kdS" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:WBn7asiE6baHOwRGfEMorwKPUA0= In-Reply-To: <v40rl0$2g7gn$1@dont-email.me> Content-Language: en-US Bytes: 2487 On 6/8/2024 12:53 AM, Mikko wrote: > On 2024-06-07 21:48:57 +0000, olcott said: > >> *That no counter-example to the following exists proves that it is true* > > Not wihout a proof that no counter-example exists. > I incorporate by reference (a) The x86 language (b) The notion of an x86 emulator (c) I provide this complete function void DDD(int (*x)()) { HH(x, x); } _DDD() [00001de2] 55 push ebp [00001de3] 8bec mov ebp,esp [00001de5] 8b4508 mov eax,[ebp+08] [00001de8] 50 push eax ; push DD [00001de9] 8b4d08 mov ecx,[ebp+08] [00001dec] 51 push ecx ; push DD [00001ded] e890f5ffff call 00001382 ; call HH [00001df2] 83c408 add esp,+08 [00001df5] 5d pop ebp [00001df6] c3 ret Size in bytes:(0021) [00001df6] Then I state that No DDD correctly emulated by any x86 emulator H can possibly reach its own [00001df6] instruction. To anyone having this mandatory prerequisite knowledge (perhaps not you) every x86 emulation of DDD by any x86 emulator H continually repeats the first seven lines of DDD until it crashes due to out-of-memory error. Try and show that the above sequence is incorrect, you cannot because it is correct. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer