搜索结果
查询Tags标签： 可判定性，共有 4条记录-
可判定性读书笔记 (3)
「 图灵机识别语言是否正则 」不可判定 所有证明都偷自 《计算理论导引》(Micheal Sipser) 正则图灵机不可判定 \(REGULAR_{TM}~is~undecidable\) \[REGULAR_{TM} = \{ \lang M \rang ~|~ L(M) ~is~regular\} \]证明思路：假设 \(R\) 判定 \(REGULAR_{TM}\) ，构造一个 \(…
2021/7/28 23:05:57 人评论 次浏览 -
可判定性读书笔记 (3)
「 图灵机识别语言是否正则 」不可判定 所有证明都偷自 《计算理论导引》(Micheal Sipser) 正则图灵机不可判定 \(REGULAR_{TM}~is~undecidable\) \[REGULAR_{TM} = \{ \lang M \rang ~|~ L(M) ~is~regular\} \]证明思路：假设 \(R\) 判定 \(REGULAR_{TM}\) ，构造一个 \(…
2021/7/28 23:05:57 人评论 次浏览 -
可判定性读书笔记 (2)
「 图灵机识别语言是否为空 」不可判定 所有证明都偷自 《计算理论导引》(Micheal Sipser) \[E_{TM} = \{ \lang M \rang ~|~ L(M) = \empty \} \]$ E_{TM}$ 是不可判定的，证明思路还是反证，假设存在 \(R~decide~E_{TM}\)，用 \(R\) 构造 \(S\) 使得 \(S~decide~A_{TM}\…
2021/7/28 23:05:56 人评论 次浏览 -
可判定性读书笔记 (2)
「 图灵机识别语言是否为空 」不可判定 所有证明都偷自 《计算理论导引》(Micheal Sipser) \[E_{TM} = \{ \lang M \rang ~|~ L(M) = \empty \} \]$ E_{TM}$ 是不可判定的，证明思路还是反证，假设存在 \(R~decide~E_{TM}\)，用 \(R\) 构造 \(S\) 使得 \(S~decide~A_{TM}\…
2021/7/28 23:05:56 人评论 次浏览
