Re: How do simulating termination analyzers work?

On 6/19/2025 6:40 PM, Richard Damon wrote:

On 6/18/25 10:11 PM, olcott wrote:

On 6/18/2025 8:20 PM, Richard Damon wrote:

On 6/18/25 9:46 AM, olcott wrote:

On 6/18/2025 5:12 AM, Fred. Zwarts wrote:

Op 18.jun.2025 om 03:54 schreef olcott:

On 6/17/2025 8:19 PM, Richard Damon wrote:

On 6/17/25 4:34 PM, olcott wrote:

void Infinite_Recursion()
{
   Infinite_Recursion();
   return;
}
>
void Infinite_Loop()
{
   HERE: goto HERE;
   return;
}
>
void DDD()
{
   HHH(DDD);
   return;
}
>
When it is understood that HHH does simulate itself
simulating DDD then any first year CS student knows
that when each of the above are correctly simulated
by HHH that none of them ever stop running unless aborted.

>
WHich means that the code for HHH is part of the input, and thus there is just ONE HHH in existance at this time.
>
Since that code aborts its simulation to return the answer that you claim, you are just lying that it did a correct simulation (which in this context means complete)
>

>
*none of them ever stop running unless aborted*

>
All of them do abort and their simulation does not need an abort.
>

>
*It is not given that any of them abort*
>

>
>
>
But it either does or it doesn't, and different HHHs give different DDD so you can't compare their behavior.
>

>
My claim is that DDD correctly simulated by any
termination analyzer HHH that can possibly exist
will never stop running unless aborted.
*No one has ever been able to refute this*
>

 But the only HHH that DOES simulate any part of THIS DDD, is THIS HHH, and if it aborts to answer, it doesn't correctly simulate this input, so you LIE that it does.
 

The only rebuttal to my actual point would be to
show how DDD simulated by any simulating termination
analyzer HHH would stop running if never aborted.
*Everything else is a dishonest*
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer