Binary 描述图灵机的动作

我试图回答以下问题的第三部分：

我绘制了以下状态图：

根据解决方案，该机器“将1添加到二进制数中，其最低有效位位于磁带最左边的位置”。我不确定这意味着什么，也不明白为什么会这样

对于输入111，图灵机输出0001。在这种情况下，上述解决方案意味着机器将1添加到111，因为其最低有效位1（？）位于磁带上最左侧的位置。然而，这将给1000。如果这个解决方案是正确的，那么它一定意味着000+1，但我不明白这是怎么回事

---

我如何解释这个图灵机器

车削机执行二进制加法。数字仅在LSB位于最左侧位置时写入（即向后）。所以111==1110不是0111，111+1==0001不是1000

在q0中，磁带头位于0上（或为空），则它只需将0替换为1，然后转到磁带的末尾并接受。这显然增加了1

在q0中，如果磁带包含1，我们将用0替换该1。从q2到q2的转换携带1。从q2到q3以及从q2到q1的转换“结束”了携带操作（您的图表缺少从q2到q3的形式为；1，R的转换）

所以答案是正确的