Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error

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