标签： string turing-machines
显示决定任意图灵机是否接受字符串'bb'的问题是不可判定的。
即使没有图灵机，我觉得这应该是可判定的，因为它是一个有限的字符串。
答案 0 :(得分：0)
了解莱斯的定理，以便快速简便地证明。
考虑一个在输入aa上永远运行的TM。你怎么知道它是否会停止？这就是它不可判断的原因。