Sujet : Re: DDD correctly emulated by HHH cannot possibly halt
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 10. Jul 2024, 09:02:38
Autres entêtes
Organisation : -
Message-ID : <v6lbme$1qdil$1@dont-email.me>
References : 1
User-Agent : Unison/2.2
On 2024-07-09 23:49:16 +0000, olcott said:
_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.
[00002170] 83c404 add esp,+04
[00002173] 5d pop ebp
[00002174] c3 ret
Size in bytes:(0018) [00002174]
The subject line is misleading. There is only one DDD so "DDD correctly
emulated by HHH" should simply mean DDD and nothing else. But apparently
the author intends to mean that HHH cannot fully emulate DDD.
-- Mikko
DDD correctly emulated by HHH cannot possibly halt
Re: DDD correctly emulated by HHH cannot possibly halt ---Eternal-September-Failure