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

Liste des GroupesRevenir à c theory 
Sujet : What is the best way for termination analyzers to handle pathological inputs?
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 09. Jun 2025, 22:14:58
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <1027isi$on4i$1@dont-email.me>
User-Agent : Mozilla Thunderbird
The official "received view" of this is that the best
we can possibly do is to do nothing and give up.
void DDD()
{
   HHH(DDD);
   return;
}
The *input* to simulating termination analyzer HHH(DDD)
specifies recursive simulation that can never reach its
*simulated "return" instruction final halt state* because
this input specifies that HHH simulates itself simulating DDD.
*Every rebuttal to this changes the words*
--
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