Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: How Partial Simulations correctly determine non-halting ---Mike
 Terry Error
Date: Wed, 5 Jun 2024 18:22:51 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <v3qadr$34b9u$11@i2pn2.org>
References: <v3j20v$3gm10$2@dont-email.me>
	<J_CdnTaA96jxpcD7nZ2dnZfqnPudnZ2d@brightview.co.uk>
	<87h6eamkgf.fsf@bsb.me.uk> <v3kcdj$3stk9$1@dont-email.me>
	<v3l7uo$13cp$8@dont-email.me> <v3lcat$228t$3@dont-email.me>
	<v3mq9j$chc3$1@dont-email.me> <v3mrli$chc4$1@dont-email.me>
	<_gWdnbwuZPJP2sL7nZ2dnZfqn_GdnZ2d@brightview.co.uk>
	<v3nkqr$h7f9$3@dont-email.me> <v3oeh5$jthg$2@dont-email.me>
	<v3of8e$lirl$1@dont-email.me> <v3ofld$jthh$1@dont-email.me>
	<v3oh8l$pi6u$3@dont-email.me> <v3ohkh$jthg$4@dont-email.me>
	<87frtr6867.fsf@bsb.me.uk>
	<p5ydnbxV2pHtF_37nZ2dnZfqn_WdnZ2d@brightview.co.uk>
	<v3q4ut$11tp3$1@dont-email.me> <v3q72l$q84q$1@dont-email.me>
	<v3q7lp$122u1$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 5 Jun 2024 18:22:51 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3288382"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM";
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a
 git.gnome.org/pan2)
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 3055
Lines: 33

Am Wed, 05 Jun 2024 12:35:52 -0500 schrieb olcott:
> On 6/5/2024 12:25 PM, John Smith wrote:
>> On 5/06/24 18:49, olcott wrote:

>>> The only issue left that seems to not matter is that each simulated HH
>>> needs to see if it must initialize its own tape.
>> Why shouldn't it always initialize its own tape?
This.

>>> Since this
>>> has no effect on its halt status decision I don't think it makes any
>>> difference.
>>> I will double check everything to make sure there is no data passed
>>> from the outer simulations to the inner simulations that can possibly
>>> be used for any halt status decision by these inner simulated
>>> instances of HH.
You should look there:
>> The inner DebugStep doesn't work the same as the outer DebugStep.
>> Depending on which kind of viewpoint we use, we can say that the inner
>> DebugStep is using secret information so it knows to work differently,
>> or we can say that the inner DebugStep is normal (if directly
>> executed),
>> but it simulates differently from its direct execution (an incorrect
>> simulation).

> There must be some way that a UTM can pass a portion of its own tape
> down to the simulated instances of itself so that this outer directly
> executed UTM can see what they are doing.
You've got it the wrong way around. The inner machine isn't even really
running, it is only being simulated. The outer machine uses part of its
own tape to represent the inner one's (doesn't have to be contiguous).

-- 
joes