Re: How do simulating termination analyzers work? (V2)

Liste des GroupesRevenir à theory 
Sujet : Re: How do simulating termination analyzers work? (V2)
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 22. Jun 2025, 10:14:23
Autres entêtes
Organisation : -
Message-ID : <1038hhf$eg38$1@dont-email.me>
References : 1 2 3 4
User-Agent : Unison/2.2
On 2025-06-21 20:25:19 +0000, Richard Damon said:

On 6/21/25 10:14 AM, olcott wrote:
On 6/21/2025 5:07 AM, Mikko wrote:
On 2025-06-20 19:08:36 +0000, olcott said:
 
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*
 When there is V2 on the subject line the message should start with
a short description of the main difference from the previous version.
 
 Slightly clearer words.
 
 You mean trying to be better at hiding the lies of equivocation.
Pernhaps an attempt to add or improve some additional deception.
The equivocation is still clearly visible.
--
Mikko

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