Deutsch   English   Français   Italiano  
<vslabb$c58$1@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: DDD specifies recursive emulation to HHH and halting to HHH1
Date: Thu, 3 Apr 2025 09:37:31 +0300
Organization: -
Lines: 27
Message-ID: <vslabb$c58$1@dont-email.me>
References: <vrfuob$256og$1@dont-email.me> <vs9gcg$20g2j$3@dont-email.me> <vs9h9o$23cav$2@dont-email.me> <vs9hh3$20g2j$6@dont-email.me> <vs9jie$23cav$4@dont-email.me> <vs9kb1$26cg5$2@dont-email.me> <vs9pni$27rl4$9@dont-email.me> <vs9r1b$28tqg$2@dont-email.me> <vs9t45$2f6n5$1@dont-email.me> <9f2ff3ab9b99a7bb6dfa0885f9757f810ce52e66@i2pn2.org> <vsaam4$2sfhq$1@dont-email.me> <vsbi7e$1hblk$1@dont-email.me> <vsc6qi$27lbo$2@dont-email.me> <8a3e7e93e6cad20b29d23405a0e6dbd497a492ac@i2pn2.org> <vscegq$2fv3s$2@dont-email.me> <26f33bb039fda7d28ae164cfc4d0f582d4698f31@i2pn2.org> <vsclsb$2n4jc$1@dont-email.me> <36a4c76730b23cf78ddde73c723116b5380973a1@i2pn2.org> <vsctnm$2ub5m$2@dont-email.me> <72d003704b5bacf77110750e8c973d62869ad204@i2pn2.org> <vsf402$1crun$4@dont-email.me> <vsf49v$1adee$1@dont-email.me> <vsf520$1crun$5@dont-email.me> <vsf6fp$1adee$2@dont-email.me> <vsf8pp$1i673$1@dont-email.me> <ffcb54a249b2a4de848e6191cb7f4cb0078b39ef@i2pn2.org> <vsksp2$378kj$13@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 03 Apr 2025 08:37:31 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="6df5713ce06bce9517b6ce5a28cb5963";
	logging-data="12456"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19Ackmv/L+r+3pIIOukK/DS"
User-Agent: Unison/2.2
Cancel-Lock: sha1:oU1Hm3Dm883m4imfZ0TlKSriCQM=

On 2025-04-03 02:45:53 +0000, olcott said:

> On 4/2/2025 9:10 AM, joes wrote:
>> Am Mon, 31 Mar 2025 18:34:17 -0500 schrieb olcott:
>>> On 3/31/2025 5:54 PM, dbush wrote:
>>>> No, it is YOUR misconception.  The algorithm DDD consists of the
>>>> function DDD, the function HHH, and everything that HHH calls down to
>>>> the OS level.
>>>> 
>>> We have already been over this.
>>> HHH(DDD) and HHH1(DDD) have the same inputs all the way down to the OS
>>> level. The ONLY difference is that DDD does not call HHH1(DDD) in
>>> recursive emulation.
> 
>> That is actually not a difference but the same that DDD calls HHH.
> 
> That DDD calls HHH(DDD) instead of HHH1(DDD)
> causes the behavior of DDD emulated by HHH and
> DDD emulated by HHH1 to differ.

However, the correct answer is the same in both cases. Both DDD that
calls HHH and DDD1 that calls HHH1 halt. The only difference is which
one of HHH and HHH1 gives the right answer and which one the wrong one.

-- 
Mikko