Path: ...!news.nobody.at!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: DDD correctly emulated by HHH cannot possibly halt
Date: Wed, 10 Jul 2024 10:02:38 +0300
Organization: -
Lines: 24
Message-ID: <v6lbme$1qdil$1@dont-email.me>
References: <v6ki9s$1iun6$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 10 Jul 2024 09:02:38 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="06d42fd5f52443fbea58dc00da745838";
	logging-data="1914453"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19zxZzsyUxjqf2v7PejgCEx"
User-Agent: Unison/2.2
Cancel-Lock: sha1:E5yY9ARzbls3vvGuAqlZ/287Zo8=
Bytes: 1696

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