Liste des Groupes | Revenir à theory |
On 7/1/24 8:57 AM, olcott wrote:x86 code remains a static string and thus not a dynamic processOn 7/1/2024 3:27 AM, Fred. Zwarts wrote:But the outer HHH DOES abort its simulation, since you have said it did (and it either does or it doesn't).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?
>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.
>
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 correct emulations or none of the HHH
ever aborts and HHH never stops running.
That means that the simulation of DDD stops, but not the behavior of the machine that it is simulating.
Les messages affichés proviennent d'usenet.