Sujet : Re: What is the correct halt status for HHH(DDD) ?
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 13. Jul 2024, 19:48:55
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v6ui6n$3n55j$1@dont-email.me>
References : 1 2
User-Agent : Mozilla Thunderbird
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.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
…