Sujet : Re: D correctly simulated by H cannot possibly reach its own line 06 and halt
De : news (at) *nospam* immibis.com (immibis)
Groupes : comp.theoryDate : 31. May 2024, 19:53:06
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v3d2q2$2b0jm$5@dont-email.me>
References : 1 2 3 4 5 6 7 8 9
User-Agent : Mozilla Thunderbird
On 31/05/24 19:01, olcott wrote:
*HERE IS THE ACTUAL POINT*
Whether HH is a pure simulator that never halts on input DD or a pure
function that halts on input DD there are no cases where DD correctly
simulated by HH reach their own simulated final state at line 06.
If HH is a pure function that halts on input DD, it can return 0 or 1. If it returns 0, then DD halts.
…