Re: DDD emulated by HHH diverges from DDD emulated by HHH1

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.