建筑决策者而非决策者图灵机

Question

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

Answer 1

所有带有偶数个a的单词的语言都是常规语言，因此简单的两种状态DFA将接受该语言。同一台机器是两个状态的决定程序TM，碰巧除了读取输入内容外，都不将磁带用于任何其他用途。

要将这样的决定者转变为非决定者（因为所有决定者也是识别者），我们必须使TM显式识别具有奇数个a的字符串，而不是简单地停顿-拒绝，无限循环。只需一个状态即可轻松完成此操作。