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