Sujet : Re: HHH(Infinite_Recursion) and HHH(DDD) derive same non-halting execution trace
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 30. Jul 2024, 08:04:52
Autres entêtes
Organisation : -
Message-ID : <v8a3ak$u91h$1@dont-email.me>
References : 1 2 3 4 5 6 7
User-Agent : Unison/2.2
On 2024-07-29 16:43:07 +0000, olcott said:
On 7/28/2024 3:57 AM, Mikko wrote:
On 2024-07-27 19:27:16 +0000, olcott said:
It is a verified fact that HHH get the correct halt
status decision in that HHH exactly matched that same
behavior pattern as this:
No, it is not a verified fact. It is obvious from the code of DDD
that DDD halts if HHH does, and otherwise HHH does not answer.
Therefore, if HHH answers, the correct answer is "halts".
HHH(Infinite_Recursion) and HHH(DDD) derive equivalent
non-halting behavior patterns in the execution trace of
their input.
Doesn't matter but suggests that the tracing system is defective.
What really matters it that DDD halts or HHH is not a decider.
-- Mikko
…