Re: How do simulating termination analyzers work? (in C and C++) --- Kaz

On 6/19/2025 3:41 PM, Kaz Kylheku wrote:

On 2025-06-19, olcott <polcott333@gmail.com> wrote:

On 6/19/2025 1:55 PM, Bonita Montero wrote:

Am 19.06.2025 um 20:32 schrieb olcott:
>

On 6/19/2025 1:20 PM, Bonita Montero wrote:

>

Am 19.06.2025 um 19:07 schrieb olcott:
That's not ad hominem. Anyone who asks the same question
thousands of times in a forum is mentally ill.

>

Not when one understands the importance of the question.
The importance of the question is off-topic for this
group.
>

>
You really need a doctor.

>
If that was true then you could point to an actual
error in my work.

 If that wasn't true, you would /believe/ it when someone pointed
out an actual error in your work. I've not seen evidence that
you are prepared to receive such a report in good faith.
 

My views and work have progressed quite a bit since
your last review: On 5/25/2021 11:56 AM, Kaz Kylheku
*HHH can and does simulate itself simulating DDD/DD*
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