Deutsch   English   Français   Italiano  
<ad93b25297ec232cc5605c0979e3b3fe3c9283f2@i2pn2.org>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: What is the correct halt status for HHH(DDD) ?
Date: Sat, 13 Jul 2024 13:25:20 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <ad93b25297ec232cc5605c0979e3b3fe3c9283f2@i2pn2.org>
References: <v6ub4i$3luop$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 13 Jul 2024 17:25:21 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3137774"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <v6ub4i$3luop$1@dont-email.me>
Bytes: 1897
Lines: 34

On 7/13/24 12:48 PM, olcott wrote:
> What is the correct halt status for an input to
> a simulating termination analyzer that calls its
> own termination analyzer?
> 
> typedef void (*ptr)();
> int HHH(ptr P);
> 
> void DDD()
> {
>    HHH(DDD);
> }
> 
> int main()
> {
>    HHH(DDD);
> }
> 

Halting.

Since HHH defined to be a termination analyzer, by that definition it 
must return to its caller.

Since DDD has no inputs, its behavior isn't affected by any inputs, and 
thus DDD will halt for ALL input conditions, so for HHH to be a correct 
termination analysizer it needs to return the value to indicate Halting.

Your version can't do that, so either fails to be a proper decider, or 
gets the wrong answer.

The Flibble version could get this correct, if the structure allows it 
to properly detect that DDD is actually calling HHH, which puts us 
outside of the Turing Equivalency rules, but can be done in that C code.