Sujet : Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 15. Jul 2024, 09:09:08
Autres entêtes
Organisation : -
Message-ID : <v72lf4$k738$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
User-Agent : Unison/2.2
On 2024-07-14 14:00:55 +0000, olcott said:
According to the theory of computation the DDD that calls
HHH(DDD) is not in the domain of HHH.
The theory of computation does not say what the domain of HHH is.
Unless the specificaiton of HHH says otherwise HHH should be able
to handle every input that can be given to it, at least to the
extent that it says that the given input cannot be processed.
-- Mikko
…