一、丘奇-图灵论题

为算法提供严格的数学模型 , 除了图灵机之外 , 还有其它的 333 种数学模型 :

① 可计算函数 ,数学方向 ;

② Lambda 演算 , 程序语言方向 ;

③ 登记计算机 ( Register Machine ) , 计算理论方向 ;

所有的数学模型都为算法提供了严格的数学模型 , 这些数学模型之间是相互等价的 , 这是一个论题 , 不需要证明 ;

图灵机为算法提供了严格的数学定义 , 不需要证明 ;

丘奇-图灵论题 : 图灵机是计算的极限 , 是算法的严格的数学定义 ;

二、可判定性引入

经典的计算理论有 333 个基本概念 , 算法 ( Algorithm ) , 可判定性 ( Decidability ) , 有效性 ( Efficiency ) ;

之前讲的都是算法 ( Algorithm ) 范畴的 ;

同时希尔伯特纲领中 , 也要求了判定算法 , 希望存在一个算法 , 帮助判定任何一个数学命题的真假 ;

参考博客 : 【计算理论】图灵机 ( 图灵机引入 | 公理化 | 希尔伯特纲领 | 哥德尔不完备定理 | 原始递归函数 )

三、图灵机语言

给定一个字符串 , 将字符串写在带子上 , 让图灵机从开始状态 , 开始位置进行计算 ,

如果在计算过程中的某个时刻 , 图灵机进入接受状态 , 那么称该图灵机是接受这个字符串的 ;

将图灵机 M\rm MM 所接受的所有字符串 w\rm ww 都放在一起 , 组成一个集合 L\rm LL , 则该集合就是图灵机 MMM 的语言 ;

使用符号化表示为 : L(M)={w∣M接受w字符串}\rm L(M) = \{ \ w \ | \ M 接受 w 字符串 \ \}L(M)={ w ∣ M接受w字符串 }

图灵机计算模型 , 可以转换成语言 ;

四、图灵机结果

图灵机在字符串 w\rm ww 上进行计算 , 可能有 333 种不同的结果 :

① 图灵机进入接受状态 , 接受该字符串

② 图灵机进入拒绝状态 , 不接受该字符串

③ 图灵机进入 Loop\rm LoopLoop 不停机状态 , 出现循环

停机问题 , 在计算机科学中很重要 , 尽量避免出现 Loop 不停机状态 ;

五、判定机

简化图灵机 , 只研究特殊图灵机 , 该特殊图灵机在所有的字符串上 , 都会停机 , 任意给一个字符串 , 图灵机在该字符串上进行计算 , 要么进入接受状态 , 要么进入拒绝状态 ;

这种特殊的图灵机 , 被称为 “判定机” ;

五、部分函数与全部函数

部分函数 : 任意给定一个图灵机 , 对应一个部分函数 , 给这个函数一个输入值 , 不会有结果 ; 图灵机进入接受 / 拒绝状态就有结果 , 进入 Loop 状态就不会有结果 ;

全部函数 : 任意给定一个输入值 , 都有唯一的输出值与之对应 , 这是函数 ; 这种函数称为全部函数 ;

这里研究的特殊的图灵机 “判定机” , 判定机只会进入接受 / 拒绝状态 , 因此判定机对应的是一个全部函数 ;

六、可判定性定义

如果一个语言是图灵-可判定的 , 那么一定存在一个判定机判定该语言 ;

【计算理论】可判定性 ( 丘奇-图灵论题 | 可判定性引入 | 图灵机语言 | 图灵机结果 | 判定机 | 部分函数与全部函数 | 可判定性定义 )相关推荐

【计算理论】计算复杂性 ( 多项式等价 | P 类 | 丘奇-图灵论题延伸 )
文章目录一.多项式等价二.P 类三.丘奇-图灵论题延伸一.多项式等价多项式等价 : 所有的确定性的计算模型之间是相互等价的 , 两个带子图灵机与单个带子图灵机 , 计算相同的问题 ...
图灵机不能解决的问题现有计算机也不能解决,科学网—电脑人心之计算机能思维吗？（二）图灵的机器（5）丘奇-图灵论题 - 罗军的博文...
上回我们看到,停机问题这个良定义的问题,不能由图灵机来解决.那么像停机问题这样的图灵机不可解或者说"不可计算"的问题,究竟是有很多呢,还是只是个别呢? 其实,有另外一种论证,可以说 ...
【计算理论】图灵机 ( 接受状态作用 | 格局 | 图灵机语言 | 图灵机设计复杂性 )
文章目录一.接受状态作用二.格局三.图灵机语言四.图灵机设计复杂性一.接受状态作用自动机 / 图灵机与现实计算的区别是现实计算中没有接受状态概念 , 自动机 / 图灵机的目 ...
【计算理论】计算复杂性 ( 阶段总结 | 计算理论内容概览 | 计算问题的有效性 | 语言与算法模型 | 可计算性与可判定性 | 可判定性与有效性 | 语言分类 ) ★
文章目录一.计算理论内容概览二.计算问题的有效性三.语言与算法模型四.可计算性与可判定性五.可判定性与有效性六.语言分类一.计算理论内容概览计算理论分为形式语言与自动机 ...
【计算理论】可判定性 ( 通用图灵机和停机问题 | 可判定性与可计算性 | 语言与算法模型 )
文章目录一.通用图灵机和停机问题二.可判定性与可计算性三.语言与算法模型一.通用图灵机和停机问题利用图灵的结论 , 证明有哪些计算问题是找不到算法进行判定的 ; 如停 ...
【计算理论】可判定性 ( 可判定性总结 )
文章目录一.可判定性总结二.概览一.可判定性总结确定性有限自动机 , 下推自动机 , 图灵机是目前提到过的计算模型 ; 关于确定性有限自动机的所有计算问题都是可判定的 ; 关于图灵机 ...
【计算理论】图灵机 ( 图灵机引入 | 公理化 | 希尔伯特纲领 | 哥德尔不完备定理 | 原始递归函数 )
文章目录一.图灵机引入二.公理化三.希尔伯特纲领四.哥德尔不完备定理五.哥德尔原始递归函数一.图灵机引入计算理论分为形式语言与自动机 , 可计算部分 , 计算复杂性部分 ; 之前博客 ...
【计算理论】计算理论考前学习总结
计算理论学习总结第一章正则语言有穷自动机的形式定义(理解部分) DFA计算的形式化定义(理解部分) 设计确定的有穷自动机(理解部分) 非确定的有穷自动机(理解部分) 正则语言(记忆部分+理解部分 ...
【计算理论】可判定性 ( 计算模型与语言 | 区分可计算语言与可判定语言 | 证明通用图灵机语言是可计算语言 | 通用任务图灵机与特殊任务图灵机 )
文章目录一.计算模型与语言二.区分可计算语言与可判定语言三.证明 ATM\rm A_{TM}ATM 语言可计算四.通用 ( Universal ) 任务图灵机与特殊任务图灵机一 ...

【计算理论】可判定性 ( 丘奇-图灵论题 | 可判定性引入 | 图灵机语言 | 图灵机结果 | 判定机 | 部分函数与全部函数 | 可判定性定义 )

文章目录