证明图灵机接受字符串“ bb”是不确定的

Question

证明确定任意图灵机是否接受字符串“ bb”的问题是不确定的。

我觉得即使没有图灵机，这也应该可以判断，因为它是有限的字符串。

Answer 1

查看赖斯定理，即可快速轻松地证明。

考虑一个永久在输入aa上运行的TM。 您怎么知道它是否会停止？ 这就是为什么它不确定的原因。