让决策者决定{<m> | M是TM和| L（M）| = n}，构建决策者决定n-1

Question

这可能吗？ 假设我们有一个决策者决定{| M是TM和| L（M）| = n} 想建立一个决策者决定{| M是TM和| L（M）| = n-1} 如果可能，怎么样？

Answer 1

看到我们可以决定| L（M）| = n-1，想象为语言L（N）= L（M）U {a}构造TM N，其中a是不在语言L（M）的字母表中的符号。 N将完全接受M接受的字符串，以及M无法接受的另一个字符串。因此，当且仅当M接受n - 1个字符串时，N接受n个字符串。决定是否| L（M）| = n - 1，然后，在N上运行我们的决策程序就足够了，看看是否| L（N）| = n。