学习笔记

摘要： 「 图灵机识别语言是否正则 」不可判定 所有证明都偷自 《计算理论导引》(Micheal Sipser) 正则图灵机不可判定 \(REGULAR_{TM}~is~undecidable\) \[ REGULAR_{TM} = \{ \lang M \rang ~|~ L(M) ~is~regular 阅读全文

摘要： 「 图灵机识别语言是否为空 」不可判定 所有证明都偷自 《计算理论导引》(Micheal Sipser) \[ E_{TM} = \{ \lang M \rang ~|~ L(M) = \empty \} \] $ E_{TM}$ 是不可判定的，证明思路还是反证，假设存在 \(R~decide~E_ 阅读全文