Path: ...!news.misty.com!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.com>
Newsgroups: comp.theory
Subject: Re: 195 page execution trace of DDD correctly simulated by HH0
Date: Fri, 28 Jun 2024 13:14:33 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <v5mcvo$1cgj0$3@i2pn2.org>
References: <v4vrfg$2793f$1@dont-email.me> <v58m12$8mmo$1@dont-email.me>
	<v59797$brmn$1@dont-email.me> <v5b7nv$qvrb$1@dont-email.me>
	<v5btf3$v0vb$4@dont-email.me> <v5chru$10816$1@i2pn2.org>
	<v5cn01$149dc$1@dont-email.me> <v5ebvr$1hs89$1@dont-email.me>
	<v5efod$1ikpr$1@dont-email.me> <v5ejau$1iq57$1@dont-email.me>
	<v5eup8$1lar1$2@dont-email.me> <v5f1nm$1lp16$1@dont-email.me>
	<v5f246$1m2fl$1@dont-email.me> <v5f3fg$1lp16$2@dont-email.me>
	<v5f3j8$1m2fl$2@dont-email.me> <v5f54f$1lp16$3@dont-email.me>
	<v5f5sd$1mcif$1@dont-email.me> <v5ght9$21jrt$1@dont-email.me>
	<v5h558$24jbd$7@dont-email.me> <v5jcas$2m18t$2@dont-email.me>
	<v5k7ju$2qsdr$5@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 28 Jun 2024 13:14:33 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1458784"; 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: 2374
Lines: 25

Am Thu, 27 Jun 2024 12:30:38 -0500 schrieb olcott:

> void DDD()
> {
>    H0(DDD);
> }
> 
> int main()
> {
>    H0(Infinite_Loop);
>    H0(Infinite_Recursion);
>    H0(DDD);
> }

> When this is construed as non-halting criteria then simulating
> termination analyzer H0 is correct to reject these inputs as non-halting
> by returning 0 to its caller.
To the caller DDD, which then returns to its own caller H0, which returns
„halting” to main… hold on. 

> Simulating termination analyzers must report on the behavior that their
> finite string input specifies thus H0 must report that DDD correctly
> emulated by H0 remains stuck in recursive simulation.
H0 must not report on itself, only on DDD. Which you’ve proven halts.
We don’t care how H0 deviates (i.e. is incorrect) in its simulation.
That would be main {H0(H0(DDD))}.