Liste des Groupes | Revenir à theory |
Op 30.jun.2024 om 19:25 schreef olcott:Unless the outer HHH aborts its simulation after someOn 6/30/2024 3:42 AM, joes wrote:Which indicates that they were aborted too soon, showing that the emulation was incorrect.
>No, I mean: why does the inner simulator repeat instead of aborting,>
the same as the outer one does?
>Technically it is called detecting a repeating state.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.
>
Les messages affichés proviennent d'usenet.