构建决策者而不是决策者图灵机

Question

如何制作识别all words with an even number of a's 但它是not a decider 的图灵机图，仅此而已。另外，如何为同一语言制作decider 图灵机图。

Answer 1

带有偶数个 a 的所有单词的语言都是常规语言，因此简单的二态 DFA 将接受该语言。同一台机器是一个两态判定器 TM，它碰巧不将磁带用于读取输入之外的任何事情。

要将这样的判定器变成识别器-非判定器（因为所有判定器也是识别器），我们必须让 TM 显式识别具有奇数个 a 的字符串，而不是简单地停止拒绝，进入无限循环。这可以通过单个状态轻松完成。