Liste des Groupes | Revenir à c theory |
Am Tue, 13 Aug 2024 15:43:28 -0500 schrieb olcott:*We can't move on to the next point until after you agree*On 8/13/2024 3:38 PM, joes wrote:Can you actually reply to what I said?Am Tue, 13 Aug 2024 08:30:08 -0500 schrieb olcott:HHH correctly predicts that a correct and unlimited emulation of DDDIf let run, the HHH called by DDD will abort and return.
by HHH cannot possibly reach its own "return" instruction final halt
state.
>H has never ever been required to do an unlimited emulation of aWhich it doesn't fulfill.
non-halting input. H has only ever been required to correctly predict
what the behavior of a unlimited emulation would be.
A simulation of N instructions of DDD by HHH according to the semanticsIt's not about the individual steps, but their number. An incomplete or
of the x86 language is necessarily correct.
aborted simulation is necessarily incorrect.
Les messages affichés proviennent d'usenet.