热门标签
更多>
搜索结果
查询Tags标签: decide,共有 2条记录-
可判定性读书笔记 (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 人评论 次浏览