How do simulating termination analyzers work? (V2)

Liste des GroupesRevenir à s logic 
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)11olcott
21 Jun 25 `* Re: How do simulating termination analyzers work? (V2)10Richard Damon
21 Jun 25  `* Re: How do simulating termination analyzers work? (V2)9olcott
21 Jun 25   +* Re: How do simulating termination analyzers work? (V2)7olcott
21 Jun 25   i`* Re: How do simulating termination analyzers work? (V2)6olcott
22 Jun 25   i `* Re: How do simulating termination analyzers work? (V2)5Richard Damon
22 Jun 25   i  `* Re: How do simulating termination analyzers work? (V2)4olcott
22 Jun 25   i   `* Re: How do simulating termination analyzers work? (V2)3Richard Damon
24 Jun 25   i    `* Re: How do simulating termination analyzers work? (V2)2Richard Heathfield
24 Jun 25   i     `- Re: How do simulating termination analyzers work? (V2)1olcott
21 Jun 25   `- Re: How do simulating termination analyzers work? (V2)1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal