Re: 197 page execution trace of DDD correctly simulated by HHH

Am Mon, 01 Jul 2024 07:57:57 -0500 schrieb olcott:

On 7/1/2024 3:27 AM, Fred. Zwarts wrote:

Op 30.jun.2024 om 19:25 schreef olcott:

On 6/30/2024 3:42 AM, joes wrote:
>

No, I mean: why does the inner simulator repeat instead of aborting,
the same as the outer one does?

Yeah, I know. My point is: all recursive calls both enter and detect
a repeating state.

The inner ones always see one less execution trace than the next outer
one, thus could only meet their abort criteria after they have already
been aborted.

Which indicates that they were aborted too soon, showing that the
emulation was incorrect.

Unless the outer HHH aborts its simulation after some fixed number of
emulations or none of the HHH ever aborts and HHH never stops
running.

All of them abort at some point, but the emulation of the inner ones is
aborted before getting there.

There is no passing the guy in front of you if you both continue to run
at the exact same speed, he will always be ahead of you.

Not looking where she is going does not make you come out ahead.

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