网站首页 站内搜索

搜索结果

查询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 人评论 次浏览
扫一扫关注最新编程教程