DDD correctly emulated by HHH cannot possibly halt

Liste des GroupesRevenir à s logic 
Sujet : DDD correctly emulated by HHH cannot possibly halt
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 10. Jul 2024, 06:19:25
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v6l24d$1oqjv$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14
User-Agent : Mozilla Thunderbird
On 7/9/2024 11:01 PM, joes wrote:
 > That means that HHH doesn't return, in particular
 > that it doesn't abort.
 >
_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)
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ steps of DDD can't make it
past the above line of code no matter what.
*DDD NEVER HALTS* *DDD NEVER HALTS* *DDD NEVER HALTS*
[00002170] 83c404     add esp,+04
[00002173] 5d         pop ebp
[00002174] c3         ret
Size in bytes:(0018) [00002174]
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
21 Sep 24 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal