Liste des Groupes | Revenir à theory |
On 3/8/2025 10:40 PM, olcott wrote:*This is all you get from me until this point is fully addressed*On 3/8/2025 9:24 PM, dbush wrote:such that DD reaches its own "ret" instructionOn 3/8/2025 10:20 PM, olcott wrote:>>>
*WHEN YOU UNDERSTAND THIS THEN YOU KNOW YOU WERE WRONG*
Replacing the code of HHH with an unconditional simulator and subsequently running HHH(DD) cannot possibly reach
its own "ret" instruction and terminate normally
because DD calls HHH(DD) in recursive emulation.
>
And when that code is not replaced HHH does a partial simulation of a computation that halts, as demonstrated by DD halting when executed directly.
That Straw-man deception looks ridiculously stupid
when I challenge you to provide the line-by-line
machine code addresses of Replacing the code of HHH with an unconditional simulator and subsequently running HHH(DD)and terminates normally.Obviously when the code of HHH is replaced with an unconditional simulator then DD will not halt. But without that replacement, HHH does a partial simulation of a halting computation, as demonstrated by DD halting when executed directly.
>
_DD()
[00002133] 55 push ebp ; housekeeping
[00002134] 8bec mov ebp,esp ; housekeeping
[00002136] 51 push ecx ; make space for local
[00002137] 6833210000 push 00002133 ; push DD
[0000213c] e882f4ffff call 000015c3 ; call HHH(DD)
[00002141] 83c404 add esp,+04
[00002144] 8945fc mov [ebp-04],eax
[00002147] 837dfc00 cmp dword [ebp-04],+00
[0000214b] 7402 jz 0000214f
[0000214d] ebfe jmp 0000214d
[0000214f] 8b45fc mov eax,[ebp-04]
[00002152] 8be5 mov esp,ebp
[00002154] 5d pop ebp
[00002155] c3 ret
Size in bytes:(0035) [00002155]
>
Les messages affichés proviennent d'usenet.