单个磁带图灵机M具有两个状态q0和q1，其中q0是启动状态。 M的磁带字母为{0，1，B}，其输入字母为{0，1}。符号B是用于指示输入字符串结尾的空白符号。下表描述了M的转换函数
| 0 | 1 | B | |
| q0 | q1, 1, R | q1, 1, R | Halt |
| q1 | q1, 1, R | q0, 1, L | q0, B, L |
该表的解释如下所示。
第q0行和第1列中的条目(q1、1，R)表示如果M处于状态q0并在当前磁带方块上读取1，则它将在同一磁带方块上写入1，并将其磁带头移到一个位置。右移到状态q1。
下列关于M的以下哪一项是正确的?
(A) M不会在(0 +1)+中的任何字符串上停止
(B) M不会停止(00 +1)*中的任何字符串
(C) M停止所有以0结尾的字符串
(D)以1结尾的所有字符串停止M答案： (A)
解释：
每当提供B作为输入时，图灵机就会停止。这意味着只有当B作为输入出现时，ε才被接受。在正闭合中，不存在ε。因此，在(0 + 1) +的情况下，图灵机永远不会停止。
因此，选项(A)是正确的。
如果您在以上文章中发现任何错误，请在下面发表评论。
这个问题的测验