Path: ...!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: What is the correct halt status for HHH(DDD) ?
Date: Sun, 14 Jul 2024 11:00:23 +0300
Organization: -
Lines: 43
Message-ID: <v700in$29qc$1@dont-email.me>
References: <ad93b25297ec232cc5605c0979e3b3fe3c9283f2@i2pn2.org> <v6ug87$3mpsd$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 14 Jul 2024 10:00:23 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9a92efa79bf89cf93bddcd1bb941165c";
	logging-data="75596"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+3qmOGS38XXjP/pCyaSBhq"
User-Agent: Unison/2.2
Cancel-Lock: sha1:nvUc4HHIyz3Xr9dtrygUSAbv0NI=
Bytes: 1875

On 2024-07-13 18:15:35 +0000, olcott said:

> On 7/13/2024 12:25 PM, Richard Damon wrote:
>> 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
> 
> You are stupidly saying that Infinite_Loop() will halt because
> it has no inputs.

> void Infinite_Loop()
> {
>    HERE: goto HERE;
> }

You are stupidly saying that Infinite loop is executed as a part of HHH.

-- 
Mikko