图灵机具有非平凡的状态和过渡

Question

请告诉我如何解决这个问题

绘制图灵机（使用Sipser符号），其具有至少4个非平凡（即非注入）状态和至少6个非平凡（即，不是拒绝状态）转换。

Answer 1

图灵机有：

• 有限数量的状态，其中一个接受，一个拒绝。这项任务显然需要五个州（四个非注入（其中一个必须接受）和一个拒绝）。状态通常被绘制为圆形，每个状态内都有一个标签（州名）。其中一个状态是起始状态;它标有指向它的箭头。
• 有限输入字母。 {0,1}或{a，b}是典型的选择。
• 有限的磁带字母，其中包含一个特殊的空白符号，输入字母表中的所有符号，以及可能包含更多符号（但这不是必需的）。
• 转换函数，它为状态和磁带符号的每个组合分配状态，磁带符号和方向。方向可以是L（左）或R（右）。过渡被绘制为从一个状态到另一个状态的箭头（或者可能是从状态回到自身的圆形箭头），并且箭头标有两个带符号和L或R.显然，您需要六个这样的箭头。 / LI>

该机器还有一个无限的磁带，它被分成单元格。在每个单元格中，可以有磁带字母表中的符号。最初位于磁带上的符号称为计算机的输入。机器有一个读头，它始终位于其中一个单元上。假设您有一个从状态A到状态B的过渡箭头，其上带有符号a，b和R.这意味着：“如果机器处于状态A并且磁带头下的符号是a，那么我们应该用b替换该符号，转到状态B，并将读头移动到右边一个单元格。”