为何该图灵机不是判定器？请解析其非判定性推导逻辑

• 判定器（Decider）：核心要求是对任意输入都必须停机——不管输入是否属于它识别的语言，最终一定会进入「接受状态」或「拒绝状态」，不存在无限循环的情况。
• 非判定器（Recognizer/Acceptor）：只要求对属于目标语言的输入能停机接受；对于不属于的输入，要么停机拒绝，要么无限循环，不强制必须停机。

先明确这台图灵机的状态转移逻辑：

1. 初始状态q0读到空白字符时，进入状态q1
2. q1读到0时，右移磁头并保持在q1；读到1时，右移磁头进入q2
3. q2读到0时，右移磁头并保持在q2；读到1时，右移磁头进入q3（接受状态，双圈标记）
4. q3读到0或1时，都右移磁头并保持在q3

问题出在以下两点：

• 存在无限循环的输入场景：比如输入是全0的字符串，机器会一直停留在q1状态，反复右移磁头读0，永远无法进入接受或拒绝状态，无限循环。
• 无明确的拒绝路径：这台机器没有设置「拒绝状态」，同时对很多非目标输入（比如含0但不含两个连续1的字符串、全0字符串），既不会进入接受状态，也没有机制触发停机拒绝，会一直运行下去。

判定器要求所有输入都必须停机，这台机器做不到，因此不是判定器。

内容的提问来源于stack exchange，提问作者Loren Beer