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

Question

如何制作一个图灵机图，它可以识别all words with an even number of a's但它not a decider ，没有别的。 此外，如何为同一语言制作decider图灵机图。

Answer 1

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

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