How do simulating termination analyzers work? (V2)

Liste des GroupesRevenir à theory 
Sujet : How do simulating termination analyzers work? (V2)
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic comp.ai.philosophy
Date : 20. Jun 2025, 20:08:36
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <1034bjk$6kj0$2@dont-email.me>
User-Agent : Mozilla Thunderbird
void Infinite_Recursion()
{
   Infinite_Recursion();
   return;
}
void Infinite_Loop()
{
   HERE: goto HERE;
   return;
}
void DDD()
{
   HHH(DDD);
   return;
}
int Sipser_D()
{
   if (HHH(Sipser_D) == 1)
     return 0;
   return 1;
}
int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}
My claim is that each of the above functions correctly
simulated by any termination analyzer HHH that can possibly
exist will never stop running unless aborted by HHH.
*No one has ever provided a correct rebuttal to that*
*In the several years that it has been reviewed*
--
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
20 Jun 25 * How do simulating termination analyzers work? (V2)22olcott
21 Jun 25 +* Re: How do simulating termination analyzers work? (V2)16Richard Damon
21 Jun 25 i`* Re: How do simulating termination analyzers work? (V2)15olcott
21 Jun 25 i +* Re: How do simulating termination analyzers work? (V2)7olcott
21 Jun 25 i i`* Re: How do simulating termination analyzers work? (V2)6olcott
22 Jun 25 i i `* Re: How do simulating termination analyzers work? (V2)5Richard Damon
22 Jun 25 i i  `* Re: How do simulating termination analyzers work? (V2)4olcott
22 Jun 25 i i   `* Re: How do simulating termination analyzers work? (V2)3Richard Damon
24 Jun 25 i i    `* Re: How do simulating termination analyzers work? (V2)2Richard Heathfield
24 Jun 25 i i     `- Re: How do simulating termination analyzers work? (V2)1olcott
21 Jun 25 i +- Re: How do simulating termination analyzers work? (V2)1Richard Damon
22 Jun 25 i `* Re: How do simulating termination analyzers work? (V2)6Mikko
22 Jun 25 i  `* Re: How do simulating termination analyzers work? (V2)5olcott
23 Jun 25 i   `* Re: How do simulating termination analyzers work? (V2)4Mikko
23 Jun 25 i    `* Re: How do simulating termination analyzers work? (V2)3olcott
24 Jun 25 i     `* Re: How do simulating termination analyzers work? (V2)2Mikko
24 Jun 25 i      `- Re: How do simulating termination analyzers work? (V2)1olcott
21 Jun 25 `* Re: How do simulating termination analyzers work? (V2)5Mikko
21 Jun 25  `* Re: How do simulating termination analyzers work? (V2)4olcott
21 Jun 25   +* Re: How do simulating termination analyzers work? (V2)2Richard Damon
22 Jun 25   i`- Re: How do simulating termination analyzers work? (V2)1Mikko
22 Jun 25   `- Re: How do simulating termination analyzers work? (V2)1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal