图灵的可计算数字 - 我无法理解如何重现示例

问题描述 投票:1回答:1

我刚刚开始阅读一些CS论文,其中一篇是图灵的“可计算数字”,在那里他提供了打印010101序列的机器配置示例。我理解它应该如何工作,但我很难理解为什么它在这些操作中有两个R移动:

m-config | symbol | operations | final m-config
         |  None  |     P0     |       b
    b    |   0    |   R, R, P1 |       b
         |   1    |   R, R, P0 |       b

如果我开始讨论这个问题,那么这里有几个第一步:

Step 1: P0

结果:

0

Step 1: R, R, P1

0 1

Step 2: R, R, P0

0 1 0

Step 3: R, R, P1

0 1 0 1

所以基本上它工作得很好,但是论文明确指出这台机器应该打印出010101,而不会在磁带上留下任何空白。但是因为在打印之后我们总是向右移动两次,这意味着我们总是在磁带上留下一个空白方块。有人能帮助我理解我做错了什么吗?

computer-science turing-machines
1个回答
© www.soinside.com 2019 - 2024. All rights reserved.