Liste des Groupes | Revenir à c theory |
Am Wed, 14 Aug 2024 08:42:33 -0500 schrieb olcott:Please go read how Mike corrected you.On 8/14/2024 2:30 AM, Mikko wrote:What do we care about a complete simulation? HHH isn't doing one.On 2024-08-13 13:30:08 +0000, olcott said:A complete emulation is not required to correctly predict that aOn 8/13/2024 6:23 AM, Richard Damon wrote:>On 8/12/24 11:45 PM, olcott wrote:A complete emulation of a non-terminating input has always been a>Which is only correct if HHH actuallly does a complete and correct
*DDD correctly emulated by HHH cannot possibly reach its* *own
"return" instruction final halt state, thus never halts*
>
emulation, or the behavior DDD (but not the emulation of DDD by HHH)
will reach that return.
>
contradiction in terms.
HHH correctly predicts that a correct and unlimited emulation of DDD
by HHH cannot possibly reach its own "return" instruction final halt
state.
That is not a meaningful prediction because a complete and unlimited
emulation of DDD by HHH never happens.
>
complete emulation would never halt.
Les messages affichés proviennent d'usenet.