Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!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 15:15:01 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <0c305528da88d4bf94c1693dcadd704913aa9a46@i2pn2.org>
References: <v6ub4i$3luop$1@dont-email.me>
 <ad93b25297ec232cc5605c0979e3b3fe3c9283f2@i2pn2.org>
 <v6ui6n$3n55j$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 19:15:01 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3137773"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <v6ui6n$3n55j$1@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
Bytes: 2247
Lines: 44

On 7/13/24 2:48 PM, olcott wrote:
> 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, 
> 
> Stupidly false. Its behavior is not affected
> by inputs because it has not inputs is the not
> stupid way to say it.
> 

So, you think its behavior IS affected by th e inputs it doesn't take?

Programs, in general, have inputs.

If they don't use an input, then the set of all possible inputs is just 
the set of one input, the empty input, and all other options are just 
ignored.

I guess you just don't understand how to formally say things, a skill 
you avoided as being clear with your statements boxes you into following 
them.