一、不可判定性 ( Undecidability )

不可判定 ( Undecidability ) 是正常的 , 绝大多数的计算问题都是不可判定的 ;

可判定的计算问题只占计算问题中的一小部分 ;

证明思路 :

不可数无穷 : 语言与计算问题的个数是无穷的 , 其个数与实数一样多 , 是不可数无穷 ;

可数无穷 : 图灵机个数也是无穷的 , 其个数与自然数一样多 , 是可数无穷的 ;

语言的个数要远远多于图灵机个数 ;

二、“停机问题” 不可判定

停机问题是不可判定的 ;

停机问题 : 设计一个程序 , 帮助判定 “给定一个程序 , 该程序是否会停机” ;

① 如果知道该程序不会停机 , 就强制停止该程序 ;

② 如果知道该程序会停机 , 就耐心等待该程序执行完毕 ;

上述 “能判定程序是否会停机” 的程序 , 是不存在的 ;

三、“图灵机语言是否空集问题” 不可判定

判定图灵机所认识的语言是否是空集的问题 , 也是不可判定的 ;

四、“图灵机是否等价问题” 不可判定

图灵机的等价问题 , 即判定两个图灵机是否是相互等价的 , 也是不可判定的 ;

五、“是否存在自动机接受图灵机语言问题” 不可判定

图灵机所认识的语言 , 是否能够找到一个自动机认识 , 是不可判定的 ;

六、莱斯定理 ( Rice’s Theorem )

莱斯定理 ( Rice’s Theorem ) :

任何一个关于图灵机的计算问题 , 都是不可判定的 ;

【计算理论】不可判定性 ( 停机问题 | 图灵机语言是否空集问题 | 图灵机是否等价问题 | 是否存在自动机接受图灵机语言问题 | 莱斯定理 Rice‘s Theorem )相关推荐

【计算理论】可判定性 ( 通用图灵机和停机问题 | 可判定性与可计算性 | 语言与算法模型 )
文章目录一.通用图灵机和停机问题二.可判定性与可计算性三.语言与算法模型一.通用图灵机和停机问题利用图灵的结论 , 证明有哪些计算问题是找不到算法进行判定的 ; 如停 ...
【计算理论】可判定性 ( 丘奇-图灵论题 | 可判定性引入 | 图灵机语言 | 图灵机结果 | 判定机 | 部分函数与全部函数 | 可判定性定义 )
文章目录一.丘奇-图灵论题二.可判定性引入三.图灵机语言四.图灵机结果五.判定机五.部分函数与全部函数六.可判定性定义一.丘奇-图灵论题为算法提供严格的数学模型 , 除了图灵机之外 ...
【计算理论】可判定性 ( 对角线方法 | 使用对角线方法证明通用任务图灵机语言不可判定 )
文章目录一.存在性证明二.证明通用任务图灵机 ATM\rm A_{TM}ATM 语言对应的计算模型一定是不可判定 ( 对角线法 ) 一.存在性证明存在性证明 : 肯定存在一些语言 , 不 ...
【计算理论】可判定性 ( 计算模型与语言 | 区分可计算语言与可判定语言 | 证明通用图灵机语言是可计算语言 | 通用任务图灵机与特殊任务图灵机 )
文章目录一.计算模型与语言二.区分可计算语言与可判定语言三.证明 ATM\rm A_{TM}ATM 语言可计算四.通用 ( Universal ) 任务图灵机与特殊任务图灵机一 ...
【计算理论】图灵机 ( 接受状态作用 | 格局 | 图灵机语言 | 图灵机设计复杂性 )
文章目录一.接受状态作用二.格局三.图灵机语言四.图灵机设计复杂性一.接受状态作用自动机 / 图灵机与现实计算的区别是现实计算中没有接受状态概念 , 自动机 / 图灵机的目 ...
【计算理论】计算复杂性 ( 阶段总结 | 计算理论内容概览 | 计算问题的有效性 | 语言与算法模型 | 可计算性与可判定性 | 可判定性与有效性 | 语言分类 ) ★
文章目录一.计算理论内容概览二.计算问题的有效性三.语言与算法模型四.可计算性与可判定性五.可判定性与有效性六.语言分类一.计算理论内容概览计算理论分为形式语言与自动机 ...
【计算理论】计算复杂性 ( 两个带子的图灵机的时间复杂度 | 证明多个带子图灵机时间复杂度 )
文章目录一.确定性模型的计算复杂性关系二.证明 "多个带子图灵机时间复杂度是 O(n2)\rm O(n^2)O(n2)" 一.确定性模型的计算复杂性关系计算的复杂性取决于 ...
【计算理论】计算复杂性 ( 两个带子的图灵机的时间复杂度 )
文章目录一.两个带子的图灵机的时间复杂度一.两个带子的图灵机的时间复杂度讨论两个带子的图灵机的时间复杂度 ; 计算问题如下 : 给定语言 : A={0k1k:k≥0}\rm A = \{ 0^k ...
【计算理论】图灵机 ( 非确定性图灵机 -＞确定性图灵机 | 模仿过程示例 | 算法的数学模型 )
文章目录一.非确定性图灵机 -> 确定性图灵机二.确定性图灵机模仿非确定性图灵机过程三.算法的数学模型一.非确定性图灵机 -> 确定性图灵机给定如下非确定性图灵机 , 设计 ...

【计算理论】不可判定性 ( 停机问题 | 图灵机语言是否空集问题 | 图灵机是否等价问题 | 是否存在自动机接受图灵机语言问题 | 莱斯定理 Rice‘s Theorem )

文章目录