Path: ...!news.misty.com!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.org>
Newsgroups: comp.theory
Subject: Re: Flat out dishonest or totally ignorant?
Date: Tue, 2 Jul 2024 11:32:30 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <e4ed8ffadcc8172597d07c9786c52a6a664d11c3@i2pn2.org>
References: <v5vkun$1b0k9$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 2 Jul 2024 11:32:30 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1900402"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM";
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a
 git.gnome.org/pan2)
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 1985
Lines: 25

Am Mon, 01 Jul 2024 20:25:40 -0500 schrieb olcott:
> int main()
> {
>    HHH(Infinite_Loop); HHH(Infinite_Recursion);
>    HHH(DDD);
> }
> Every C programmer that knows what an x86 emulator is knows that when
> HHH emulates the machine language of Infinite_Loop, Infinite_Recursion,
> and DDD that it must abort these emulations so that itself can terminate
> normally.
At the cost of not doing the full simulation. If you want it to terminate.

> When this is construed as non-halting criteria then simulating
> termination analyzer HHH is correct to reject these inputs as
> non-halting by returning 0 to its caller.
It gets the decider part right, but not the simulator part.

> Simulating termination analyzers must report on the behavior that their
> finite string input specifies thus HHH must report that DDD correctly
> emulated by HHH remains stuck in recursive simulation.
Of course we want the right answer, which is not whatever HHH makes up,
but what the input DDD does by itself.

-- 
Am Fri, 28 Jun 2024 16:52:17 -0500 schrieb olcott:
Objectively I am a genius.