Liste des Groupes | Revenir à theory |
On 8/13/2024 4:34 PM, joes wrote:H is required to report on itself, by being nested in D. H itself aborts,Am Tue, 13 Aug 2024 15:43:28 -0500 schrieb olcott: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.
YOU can't just post your next step.*We can't move on to the next point until after you agree*A simulation of N instructions of DDD by HHH according to theIt's not about the individual steps, but their number. An incomplete or
semantics of the x86 language is necessarily correct.
aborted simulation is necessarily incorrect.
A simulation of N instructions of DDD by HHH according to the semanticsAn aborted simulation is never correct.
of the x86 language is necessarily correct.
(1) Yes you agree (2) No you want to be stuck in an infinite loop untilI will never agree. So you are stuck.
you agree
Les messages affichés proviennent d'usenet.