标签： turing-machines reduction decidable
L = {＆lt; T＆gt; | T是识别{00,01}}
证明L是不可判定的。
我真的很难理解在这里使用的减少量。
我不是要求免费午餐，只是朝着正确的方向前进。
答案 0 :(得分：0)
赖斯定理的直接应用将让你在不做任何工作的情况下证明这一点。
一些图灵机识别{00,01}。有些人没有。差异在于语义，因为它与接受的字符串有关，而不是自动机的结构。因此，根据赖斯的定理，这个集合是不可判定的。