Re: What is the best way for termination analyzers to handle pathological inputs?

Liste des GroupesRevenir à c theory 
Sujet : Re: What is the best way for termination analyzers to handle pathological inputs?
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 11. Jun 2025, 15:18:25
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <102c37h$20jl4$7@dont-email.me>
References : 1 2 3 4
User-Agent : Mozilla Thunderbird
On 6/11/2025 3:42 AM, Mikko wrote:
On 2025-06-10 17:14:58 +0000, olcott said:
 
On 6/10/2025 2:33 AM, Mikko wrote:
On 2025-06-09 21:14:58 +0000, olcott said:
>
The official "received view" of this is that the best
we can possibly do is to do nothing and give up.
>
There is no official view about "the best". What is the best
depends on what one needs and wants. Some may think that the
best they can do is to waste their life in trying to do the
impossible.
>
Certainly doiing nothing and giving up
are not the best thing to do in this case.
 
void DDD()
{
   HHH(DDD);
   return;
}
We could just go by the easily verified fact that DDD
correctly simulated by HHH cannot possibly reach its
own "return" instruction final halt state conclusively
proving that the input to HHH(DDD) specifies non-halting
behavior.
int main()
{
   DDD(); // calls HHH(DDD)
}
The whole idea that HHH(DDD) must report on the behavior
of its caller is just nutty.

It is at least a valid way. Another valid way is to run forever, i.e.
until the user gives up and aborts the analyzer.
 For a particular purpose something else could be better if it does
not cost too much more.
 Often it is useful to have an analysis of the problem so that the
user of the analyzer can continue the analysis with other tools
or change the program so that the analyzer can analyze more of it.
 It is not necessary that the analyzer identifies the input as
"pathological" but that identification may be useful in some cases.
 
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
9 Jun 25 * What is the best way for termination analyzers to handle pathological inputs?22olcott
10 Jun 25 +- Re: What is the best way for termination analyzers to handle pathological inputs?1Richard Damon
10 Jun 25 `* Re: What is the best way for termination analyzers to handle pathological inputs?20Mikko
10 Jun 25  +* Re: What is the best way for termination analyzers to handle pathological inputs?6olcott
10 Jun 25  i+- Re: What is the best way for termination analyzers to handle pathological inputs?1Richard Damon
11 Jun 25  i`* Re: What is the best way for termination analyzers to handle pathological inputs?4Mikko
11 Jun 25  i `* Re: What is the best way for termination analyzers to handle pathological inputs?3olcott
11 Jun 25  i  +- Re: What is the best way for termination analyzers to handle pathological inputs?1Richard Damon
13 Jun 25  i  `- Re: What is the best way for termination analyzers to handle pathological inputs?1Mikko
10 Jun 25  `* Re: What is the best way for termination analyzers to handle pathological inputs?13olcott
10 Jun 25   +* Re: What is the best way for termination analyzers to handle pathological inputs?11Richard Damon
10 Jun 25   i+* Re: What is the best way for termination analyzers to handle pathological inputs?2olcott
11 Jun 25   ii`- Re: What is the best way for termination analyzers to handle pathological inputs?1Richard Damon
11 Jun 25   i`* Re: What is the best way for termination analyzers to handle pathological inputs?8Richard Damon
11 Jun 25   i +* Re: What is the best way for termination analyzers to handle pathological inputs?2olcott
11 Jun 25   i i`- Re: What is the best way for termination analyzers to handle pathological inputs?1Richard Damon
11 Jun 25   i `* Re: What is the best way for termination analyzers to handle pathological inputs?5Richard Damon
12 Jun 25   i  +* Re: What is the best way for termination analyzers to handle pathological inputs?2olcott
12 Jun 25   i  i`- Re: What is the best way for termination analyzers to handle pathological inputs?1Richard Damon
12 Jun 25   i  +- Re: What is the best way for termination analyzers to handle pathological inputs?1joes
12 Jun 25   i  `- Re: What is the best way for termination analyzers to handle pathological inputs?1Richard Damon
11 Jun 25   `- Re: What is the best way for termination analyzers to handle pathological inputs?1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal