• Re: DDD incorrectly emulated by HHH is inCorrectly rejected as non-halt

    From Richard Damon@21:1/5 to olcott on Wed Jul 17 19:57:08 2024
    On 7/17/24 9:02 AM, olcott wrote:
    On 7/17/2024 1:48 AM, Mikko wrote:
    On 2024-07-16 15:57:04 +0000, olcott said:


    New slave_stack at:1038c4
    Begin Local Halt Decider Simulation   Execution Trace Stored at:1138cc >>>>> [00002172][001138bc][001138c0] 55         push ebp      ; housekeeping
    [00002173][001138bc][001138c0] 8bec       mov ebp,esp   ; housekeeping
    [00002175][001138b8][00002172] 6872210000 push 00002172 ; push DDD
    [0000217a][001138b4][0000217f] e853f4ffff call 000015d2 ; call
    HHH(DDD)
    New slave_stack at:14e2ec
    [00002172][0015e2e4][0015e2e8] 55         push ebp      ; housekeeping
    [00002173][0015e2e4][0015e2e8] 8bec       mov ebp,esp   ; housekeeping
    [00002175][0015e2e0][00002172] 6872210000 push 00002172 ; push DDD
    [0000217a][0015e2dc][0000217f] e853f4ffff call 000015d2 ; call
    HHH(DDD)
    Local Halt Decider: Infinite Recursion Detected Simulation Stopped

    The trace does not show that HHH returns so there is no basis to
    think that HHH is a decider.


    The trace shows the data of the executed program of HHH that
    does halt.

    It shows some of the data, not all, and in particular, not the halting.


    _DDD()
    [00002163] 55         push ebp      ; housekeeping
    [00002164] 8bec       mov ebp,esp   ; housekeeping
    [00002166] 6863210000 push 00002163 ; push DDD
    [0000216b] e853f4ffff call 000015c3 ; call HHH(DDD)
    [00002170] 83c404     add esp,+04
    [00002173] 5d         pop ebp
    [00002174] c3         ret
    Size in bytes:(0018) [00002174]

    DDD emulated by HHH according to the semantic meaning of
    its x86 instructions never stop running unless aborted.



    No, the emulation by HHH according to the semantic meaning of the x86 insruction set will not reach the final state, but if ANY instance of
    the HHH that DDD calls returns, then DDD will return.

    You are just playing word games, showing your INTENT to deceive.

    That PROVES you are nothing but a stupid LIAR.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)