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 14:48:24 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <f4577b5c9f6bb8de6f30ee3db4757cd1608b5be0@i2pn2.org>
References: <v5vkun$1b0k9$1@dont-email.me>
	<e4ed8ffadcc8172597d07c9786c52a6a664d11c3@i2pn2.org>
	<v60rgn$1kr1q$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 2 Jul 2024 14:48:24 -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: 2375
Lines: 30

Am Tue, 02 Jul 2024 07:23:50 -0500 schrieb olcott:
> On 7/2/2024 6:32 AM, joes wrote:
>> Am Mon, 01 Jul 2024 20:25:40 -0500 schrieb olcott:

>>> 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.
> This <is> the problem that I am willing to discuss.
So why must a pure simulator 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.
Which is not what DDD does, since the HHH that it calls detects a
recursive simulation and aborts it, returning and terminating.
>> Of course we want the right answer, which is not whatever HHH makes up,
>> but what the input DDD does by itself.
Do you understand the difference?

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