Sujet : Re: DDD emulated by HHH diverges from DDD emulated by HHH1
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 05. Jun 2025, 02:08:53
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <101qqn5$14gff$4@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28
User-Agent : Mozilla Thunderbird
On 6/4/2025 7:41 PM, dbush wrote:
On 6/4/2025 8:32 PM, olcott wrote:
>
Show me this side-by-side trace and I will point out your mistake.
See below, which shows that the simulations performed by HHH and HHH1 are identical up to the point that HHH aborts, as you have agreed on the record.
It seems you think that 8 is more than 15.
On 6/2/2025 10:58 PM, Mike Terry wrote:
> HHH1 Simulation of DD (HHH1 never aborts) HHH Simulation of DD
> ==========================================
> ==========================================
> S machine machine assembly S machine machine assembly
> D address code language D address code language
> = ======== ============== ============= = ====================== =============
> ### HHH1 simulates DDD ### HHH simulates DDD
> [1][00002183] 55 push ebp [1][00002183] 55 push ebp
> [1][00002184] 8bec mov ebp,esp [1][00002184] 8bec mov ebp,esp
> [1][00002186] 6883210000 push 00002183 ; DDD [1][00002186] 6883210000 push 00002183 ; DDD
> [1][0000218b] e833f4ffff call 000015c3 ; HHH [1][0000218b] e833f4ffff call 000015c3 ; HHH
> ### HHH simulates DDD... ### HHH simulates DDD...
> [2][00002183] 55 push ebp [2][00002183] 55 push ebp
> [2][00002184] 8bec mov ebp,esp [2][00002184] 8bec mov ebp,esp
> [2][00002186] 6883210000 push 00002183 ; DDD [2][00002186] 6883210000 push 00002183 ; DDD
> [2][0000218b] e833f4ffff call 000015c3 ; HHH [2][0000218b] e833f4ffff call 000015c3 ; HHH
> ### HHH simulates DDD... ### OUTER HHH aborts
> [3][00002183] 55 push ebp
> [3][00002184] 8bec mov ebp,esp
> [3][00002186] 6883210000 push 00002183 ; DDD
> [3][0000218b] e833f4ffff call 000015c3 ; HHH
> ### HHH[1] aborts
> ### DDD[1] returns
> [1][00002190] 83c404 add esp,+04
> [1][00002193] 5d pop ebp
> [1][00002194] c3 ret
>
> [SD column is simulation depth]
That is what I expected from someone that cannot count to three.
*Here is the correct side-by-side analysis*
*These two exactly match*
*DDD emulated by HHH1 DDD emulated by HHH*
[00002183] push ebp [00002183] push ebp
[00002184] mov ebp,esp [00002184] mov ebp,esp
[00002186] push 00002183 ; DDD [00002186] push 00002183 ; DDD
[0000218b] call 000015c3 ; HHH [0000218b] call 000015c3 ; HHH
*This one one that is left over that HHH1 never gets to*
*DDD emulated by HHH emulating itself*
[00002183] push ebp ; ONE
[00002184] mov ebp,esp ; TWO
[00002186] push 00002183 ; DDD THREE instructions of divergence.
[0000218b] call 000015c3 ; HHH
-- Copyright 2025 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
…