Liste des Groupes | Revenir à theory |
*HERE IS THE ACTUAL POINT*If HH is a pure function that halts on input DD, it can return 0 or 1. If it returns 0, then DD halts.
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.
Les messages affichés proviennent d'usenet.