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

Question

我刚刚开始阅读一些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，而不会在磁带上留下任何空白。但是因为在打印之后我们总是向右移动两次，这意味着我们总是在磁带上留下一个空白方块。有人能帮助我理解我做错了什么吗？