Path: ...!npeer.as286.net!npeer-ng0.as286.net!3.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: HHH(Infinite_Recursion) and HHH(DDD) derive same non-halting execution trace
Date: Tue, 30 Jul 2024 10:04:52 +0300
Organization: -
Lines: 24
Message-ID: <v8a3ak$u91h$1@dont-email.me>
References: <v80h07$2su8m$3@dont-email.me> <0amdndFJSZSzYD77nZ2dnZfqnPednZ2d@brightview.co.uk> <v8102f$2vo8u$1@dont-email.me> <v83fhe$3gihn$1@dont-email.me> <v83hmk$3gvj7$1@dont-email.me> <v8515o$3s6u4$1@dont-email.me> <v88gqr$i7kl$6@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 30 Jul 2024 09:04:52 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="329af3d797696bf444d9a1dc8986292a";
	logging-data="992305"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+08PwuhmFu8E5obwkt1PUM"
User-Agent: Unison/2.2
Cancel-Lock: sha1:4CWtGdcLl/EcpKsuIJgkxN3uPPM=
Bytes: 1963

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