Path: ...!news.nobody.at!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory,sci.logic Subject: Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down Date: Fri, 31 May 2024 09:10:08 -0500 Organization: A noiseless patient Spider Lines: 69 Message-ID: References: <87y17smqnq.fsf@bsb.me.uk> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Fri, 31 May 2024 16:10:10 +0200 (CEST) Injection-Info: dont-email.me; posting-host="08a73d0f9257967986a8324b25ade22a"; logging-data="2385143"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19AiNCTPTCFscRBJJ8GDOxZ" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:4lkfH0lEGmW8+hbdd2m4JSpNUp8= In-Reply-To: Content-Language: en-US Bytes: 4088 On 5/31/2024 6:16 AM, Richard Damon wrote: > On 5/30/24 11:27 PM, olcott wrote: >> Try and show how HH using an x86 emulator can correctly emulate >> the following x86 machine code such that DD reaches its own >> machine address 00001c47. > > Why should I, since that isn't what I was saying. > *To me that looks like you know that* *you have been busted in a lie and are backing down* "...the Turing machine will halt whenever it enters a final state." Linz(1990:234) *You have been denying this* DD correctly simulated by pure function HH cannot possibly reach its own final state at line 06 in any finite number of steps of correct simulation. *Which in x86 is this* DD correctly emulated by HH with an x86 emulator cannot possibly reach its own final state at machine address 00001c47 in any finite number of steps of correct emulation. typedef int (*ptr)(); // ptr is pointer to int function in C 00 int HH(ptr p, ptr i); 01 int DD(ptr p) 02 { 03 int Halt_Status = HH(p, p); 04 if (Halt_Status) 05 HERE: goto HERE; 06 return Halt_Status; 07 } 08 09 int main() 10 { 11 HH(DD,DD); 12 return 0; 13 } _DD() [00001c22] 55 push ebp [00001c23] 8bec mov ebp,esp [00001c25] 51 push ecx [00001c26] 8b4508 mov eax,[ebp+08] [00001c29] 50 push eax ; push DD 1c22 [00001c2a] 8b4d08 mov ecx,[ebp+08] [00001c2d] 51 push ecx ; push DD 1c22 [00001c2e] e80ff7ffff call 00001342 ; call HH [00001c33] 83c408 add esp,+08 [00001c36] 8945fc mov [ebp-04],eax [00001c39] 837dfc00 cmp dword [ebp-04],+00 [00001c3d] 7402 jz 00001c41 [00001c3f] ebfe jmp 00001c3f [00001c41] 8b45fc mov eax,[ebp-04] [00001c44] 8be5 mov esp,ebp [00001c46] 5d pop ebp [00001c47] c3 ret Size in bytes:(0038) [00001c47] Linz, Peter 1990. An Introduction to Formal Languages and Automata. Lexington/Toronto: D. C. Heath and Company. (317-320) -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer