如何制作可识别all words with an even number of a's
但为not a decider
的图灵机图。另外,如何为同一语言制作decider
图灵机图。
答案 0 :(得分:2)
所有带有偶数个a的单词的语言都是常规语言,因此简单的两种状态DFA将接受该语言。同一台机器是两个状态的决定程序TM,碰巧除了读取输入内容外,都不将磁带用于任何其他用途。
要将这样的决定者转变为非决定者(因为所有决定者也是识别者),我们必须使TM显式识别具有奇数个a的字符串,而不是简单地停顿-拒绝,无限循环。只需一个状态即可轻松完成此操作。