Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!news.quux.org!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.org>
Newsgroups: comp.theory
Subject: Re: DDD emulated by HHH diverges from DDD emulated by HHH1
Date: Tue, 3 Jun 2025 18:48:57 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <975d2896f82b6e2f11ef67a0bb31efef16d256f4@i2pn2.org>
References: <101khcl$3bfvj$6@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 3 Jun 2025 18:48:57 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3144802"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM";
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a
 git.gnome.org/pan2)
X-Spam-Checker-Version: SpamAssassin 4.0.0

Am Mon, 02 Jun 2025 10:52:53 -0500 schrieb olcott:

> DDD correctly emulated by HHH diverges from DDD correctly emulated by
> HHH1 as soon as HHH begins emulating itself emulating DDD, marked below.
> *HHH1 never emulates itself emulating DDD*
No, it simulates HHH simulating DDD, just like HHH does. Of course
"itself" refers to a different program, but they're simulating the
same code. Is that all you're getting at?


>   machine   stack     stack     machine    assembly address   address  
>   data      code       language ========  ========  ========  ==========
>   =============
> [000021a3][0010382d][00000000] 55         push ebp      ; main()
> [000021a4][0010382d][00000000] 8bec       mov ebp,esp   ; main()
> [000021a6][00103829][00002183] 6883210000 push 00002183 ; push DDD
> [000021ab][00103825][000021b0] e843f3ffff call 000014f3 ; call HHH1 New
> slave_stack at:1038d1
> 
> Begin Local Halt Decider Simulation   Execution Trace Stored at:1138d9
> [00002183][001138c9][001138cd] 55         push ebp      ; DDD of HHH1
> [00002184][001138c9][001138cd] 8bec       mov ebp,esp   ; DDD of HHH1
> [00002186][001138c5][00002183] 6883210000 push 00002183 ; push DDD
> [0000218b][001138c1][00002190] e833f4ffff call 000015c3 ; call HHH New
> slave_stack at:14e2f9
> 
> Begin Local Halt Decider Simulation   Execution Trace Stored at:15e301
> [00002183][0015e2f1][0015e2f5] 55         push ebp      ; DDD of HHH[0]
> [00002184][0015e2f1][0015e2f5] 8bec       mov ebp,esp   ; DDD of HHH[0]
> [00002186][0015e2ed][00002183] 6883210000 push 00002183 ; push DDD
> [0000218b][0015e2e9][00002190] e833f4ffff call 000015c3 ; call HHH
> 
> *This is the beginning of the divergence of the behavior*
> *of DDD emulated by HHH versus DDD emulated by HHH1*

Here we are where HHH has simulated DDD calling HHH simulating DDD about
to call HHH again, which is where the outermost simulator stops
simulating further, so there is no more trace. HHH1 of course continues
simulating.
What else do you think HHH is simulating from here on?

> New slave_stack at:198d21 [00002183][001a8d19][001a8d1d] 55         push
> ebp      ; DDD of HHH[1]
> [00002184][001a8d19][001a8d1d] 8bec       mov ebp,esp   ; DDD of HHH[1]
> [00002186][001a8d15][00002183] 6883210000 push 00002183 ; push DDD
> [0000218b][001a8d11][00002190] e833f4ffff call 000015c3 ; call HHH Local
> Halt Decider: Infinite Recursion Detected Simulation Stopped
> 
> [00002190][001138c9][001138cd] 83c404     add esp,+04 ; DDD of HHH1
> [00002193][001138cd][000015a8] 5d         pop ebp     ; DDD of HHH1
> [00002194][001138d1][0003a980] c3         ret         ; DDD of HHH1
> [000021b0][0010382d][00000000] 83c404     add esp,+04 ; main()
> [000021b3][0010382d][00000000] 33c0       xor eax,eax ; main()
> [000021b5][00103831][00000018] 5d         pop ebp     ; main()
> [000021b6][00103835][00000000] c3         ret         ; main()
> Number of Instructions Executed(352831) == 5266 Pages
-- 
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.