Liste des Groupes | Revenir à s logic |
Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> immediately detects that is about to simulate aAnd what about Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <H> ?
copy of itself with a copy of its own input thus immediately
detects recursive simulation just like H(D,D).
H ⟨Ĥ⟩ ⟨Ĥ⟩ <H> immediately detects that is NOT about to simulate a
copy of itself with a copy of its own input thus immediately
rejects recursive simulation just like H1(D,D).
Les messages affichés proviennent d'usenet.