Re: simulation trace of DDD

Am Sat, 29 Jun 2024 21:51:51 -0500 schrieb olcott:

On 6/29/2024 3:52 AM, Fred. Zwarts wrote:

Op 28.jun.2024 om 21:01 schreef olcott:

On 6/28/2024 1:48 PM, Fred. Zwarts wrote:

Op 28.jun.2024 om 20:31 schreef olcott:

On 6/28/2024 1:22 PM, Fred. Zwarts wrote:

Op 28.jun.2024 om 18:54 schreef olcott:

On 6/28/2024 10:48 AM, Fred. Zwarts wrote:

Op 28.jun.2024 om 17:32 schreef olcott:

I have proven the verified fact that DDD is correctly emulated by
HHH and HHH correctly emulates itself emulating DDD until the
outer HHH sees that DDD meets the infinite recursion behavior
pattern.

There is no infinite recursion pattern.

All instances of HHH abort what they are simulating.

The simulated HHH runs one cycle behind the simulating HHH. The
simulating HHH aborts the simulated HHH only one cycle before the
simulated HHH would return.
Aborting the simulation at this point makes it incorrect.
So, stop talking about infinite, because apparently do not
understand what it means. Infinite is much more than two.
>

I already proved that Sipser's word do not apply here. You simply
ignore it and repeat the irrelevant text.
 
void Finite_Recursion()
{
   static int Level = 0;
   if (++Level <= 2) Finite_Recursion();
}

This is forbidden.

You can also write this with a parameter:
void finite_recursion(int level) {
    ++level;
    if (level <= 2) {
        finite_recursion(level);
    }
}
finite_recursion(0);

--
Am Fri, 28 Jun 2024 16:52:17 -0500 schrieb olcott:
Objectively I am a genius.