文章目录

  • 一、计算模型与语言
  • 二、区分 可计算语言 与 可判定语言
  • 三、证明 ATM\rm A_{TM}ATM​ 语言 可计算
  • 四、通用 ( Universal ) 任务图灵机 与 特殊任务图灵机

一、计算模型与语言

计算模型是逐步进行扩张的 :

自动机 →\to→ 下推自动机 ( 111 个栈 ) →\to→下推自动机 ( 222 个栈 ) ⇔\Leftrightarrow⇔ 图灵机

所对应的语言也是逐步进行扩张的 :

正则语言 →\to→ 上下文无关语言 →\to→ 可计算语言

正则语言 对应的 计算模型 是 确定性有限自动机 ,

上下文无关语言 对应的 计算模型 是 下推自动机 ,

可计算语言 对应的 计算模型 是 图灵机 ,

可判定语言 对应的 计算模型 是 判定机 ,

判定机 是一种 特殊的 图灵机 , 是图灵机的子集 ;

可判定语言 是 可计算语言 的子集 ;

图灵机 的 可计算语言 , 是计算机科学的研究领域 ;

二、区分 可计算语言 与 可判定语言

找一个特例语言 , 区分 可计算语言 与 可判定语言 ;

图灵机的可接受问题 :

将计算问题进行形式化 , M\rm MM 是图灵机 , w\rm ww 是字符串 , 如果 M\rm MM 图灵机 接受 w\rm ww 是字符串 , 将所有的可接受的 w\rm ww 是字符串放在一个集合中 , 组成的语言 称为 ATM\rm A_{TM}ATM​ 语言 ;

ATM={<M,w>∣图灵机M接受w字符串}\rm A_{TM} = \{ <M , w> | 图灵机 M 接受 w 字符串 \}ATM​={<M,w>∣图灵机M接受w字符串}

ATM\rm A_{TM}ATM​ 语言 称为 图灵机可接受的 ;

ATM\rm A_{TM}ATM​ 语言 是可计算的 , 但 不是可判定的 ;

该结论可以区分 可判定语言 与 可计算语言 ;

三、证明 ATM\rm A_{TM}ATM​ 语言 可计算

证明 : ATM\rm A_{TM}ATM​ 语言 是可计算的 , 但 不是可判定的 ;

证明过程 : 构造图灵机 U\rm UU ,

① 字符串 : 给定一个输入字符串 , <M,w>\rm <M , w><M,w> , 即 在 图灵机 M\rm MM 上接受的字符串 w\rm ww ;

② 模仿 : 字符串输入到 图灵机 M\rm MM 之后 , 将自己想象成 U\rm UU , 模仿 图灵机 M\rm MM 在 字符串 w\rm ww 上进行计算 ;

③ 接受 / 拒绝 状态 : 如果 图灵机 M\rm MM 进入接受状态 , 则 图灵机 U\rm UU 也进入接受状态 , 如果图灵机 M\rm MM 进入拒绝状态 , 则 图灵机 U\rm UU 也进入拒绝状态 ;

④ Loop 循环状态 : 图灵机 M\rm MM 在 w\rm ww 字符串上计算时 , 可能有第 333 种可能性 , 即进入 Loop 循环状态 , 永不停机 ; 此时 图灵机 U\rm UU 也只能进入 Loop 状态 ;

现在 图灵机 U\rm UU 模仿的是 图灵机 M\rm MM 在 字符串 w\rm ww 上的计算 , 图灵机 M\rm MM 进入什么状态 , 图灵机 U\rm UU 就进入什么状态 ;

U\rm UU 很显然是 图灵机 , 因此 ATM\rm A_{TM}ATM​ 语言 对应的计算问题是可计算的 ;

证明 ATM\rm A_{TM}ATM​ 语言 不可判定 , 在下一篇博客中证明 ;

四、通用 ( Universal ) 任务图灵机 与 特殊任务图灵机

下面开始证明 ATM\rm A_{TM}ATM​ 语言 对应的计算问题 是 不可判定的 ;

根据 丘奇-图灵 命题 , 图灵机 等于 算法 ;

图灵机 U\rm UU = " 在输入字符串 <M,w>\rm <M , w><M,w> 上 , M\rm MM 是图灵机 , w\rm ww 是字符串 , 则有 ① 模拟 M\rm MM 在 w\rm ww 上进行计算 , ② 如果 M\rm MM 进入接受状态 , 则 U\rm UU 接受 , M\rm MM 拒绝 U\rm UU 拒绝 , M\rm MM Loop U\rm UU 也 Loop "

上述 等号 左侧是 图灵机 U\rm UU , 等号 右侧 是 算法 ;

等号 就是 丘奇-图灵 命题 ;

U\rm UU 是通用 ( Universal ) 图灵机 ,

① 特殊任务图灵机 : 一般情况下 计算模型 是执行一个 特定任务 , 给定一个任务 , 给定一个输入 , 图灵机进行计算 , 然后输出结果 ;

② 通用任务图灵机 :

图灵机 U\rm UU 不是特殊任务图灵机 , 而是一个 一般任务图灵机 , 该图灵机可以执行各种操作 ,

将各种图灵机 , 进行编码 , 输入到通用图灵机 U\rm UU 中 , 通用图灵机 U\rm UU 就会模仿 特殊图灵机 M\rm MM 在字符串 w\rm ww 上进行计算 ;

通用图灵机 U\rm UU 的主要任务就是 模仿所有其它 特殊图灵机 M\rm MM 进行计算 ;

计算机刚出现时 , 每个计算机只能执行特殊的任务 ,

真正的通用任务计算机是 冯诺依曼 设计的 , 可以执行所有的计算任务 ;

【计算理论】可判定性 ( 计算模型与语言 | 区分 可计算语言 与 可判定语言 | 证明 通用图灵机语言是 可计算语言 | 通用任务图灵机 与 特殊任务图灵机 )相关推荐

  1. 【计算理论】计算复杂性 ( NP 完全问题 - 布尔可满足性问题 ★ | 布尔可满足性问题是 NP 完全问题证明思路 ) ★

    文章目录 一.NP 完全问题 - 布尔可满足性问题 ★ 二.布尔可满足性问题是 NP 完全问题证明思路 一.NP 完全问题 - 布尔可满足性问题 ★ 布尔可满足性问题 ( Boolean Satisf ...

  2. 【计算理论】可判定性 ( 对角线方法 | 使用对角线方法证明 通用任务图灵机 语言 不可判定 )

    文章目录 一.存在性证明 二.证明 通用任务图灵机 ATM\rm A_{TM}ATM​ 语言 对应的计算模型一定是 不可判定 ( 对角线法 ) 一.存在性证明 存在性证明 : 肯定存在一些语言 , 不 ...

  3. 计算机理论导引第三版答案第四章,《计算理论导引》第四章：可判定性-学习笔记 | 诟屍...

    第四章:可判定性 4 Decidability 关于其他章节的内容,请点这:<计算理论导引>学习笔记 4.1 Decidable Languages 几个可判定的语言 acceptance ...

  4. 【计算理论】计算理论总结 ( P 、NP 、NPC 总结 ) ★★

    文章目录 一.P 类 二.NP 类 三.NPC 类 ( NP 完全 ) 四.P .NP .NPC 三者关系 一.P 类 P\rm PP 类 : ★ 所有 能够被 确定性 单个带子图灵机 , 在 多项式 ...

  5. 【计算理论】计算复杂性 ( 阶段总结 | 计算理论内容概览 | 计算问题的有效性 | 语言与算法模型 | 可计算性与可判定性 | 可判定性与有效性 | 语言分类 ) ★

    文章目录 一.计算理论内容概览 二.计算问题的 有效性 三.语言 与 算法模型 四.可计算性 与 可判定性 五.可判定性 与 有效性 六.语言分类 一.计算理论内容概览 计算理论分为 形式语言与自动机 ...

  6. 【计算理论】可判定性 ( 通用图灵机和停机问题 | 可判定性 与 可计算性 | 语言 与 算法模型 )

    文章目录 一.通用图灵机和停机问题 二.可判定性 与 可计算性 三.语言 与 算法模型 一.通用图灵机和停机问题 利用 图灵 的结论 , 证明 有哪些 计算问题 是找不到 算法 进行判定的 ; 如 停 ...

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

    文章目录 一.丘奇-图灵论题 二.可判定性引入 三.图灵机语言 四.图灵机结果 五.判定机 五.部分函数与全部函数 六.可判定性定义 一.丘奇-图灵论题 为算法提供严格的数学模型 , 除了图灵机之外 ...

  8. 【计算理论】可判定性 ( 可判定性总结 )

    文章目录 一.可判定性总结 二.概览 一.可判定性总结 确定性有限自动机 , 下推自动机 , 图灵机 是目前提到过的计算模型 ; 关于 确定性有限自动机 的所有计算问题都是 可判定的 ; 关于 图灵机 ...

  9. 【计算理论】可判定性 ( 非确定性有限自动机的接受问题 | 证明 “非确定性有限自动机的接受问题“ 的可判定性 )

    文章目录 一.非确定性有限自动机的接受问题 二.证明 "非确定性有限自动机的接受问题" 可判定性 一.非确定性有限自动机的接受问题 非确定性有限自动机 的 接受问题 , 首先将 计 ...

最新文章

  1. 我的家庭私有云计划-13
  2. 网络应用 axIos的基本使用
  3. 揭秘人工智能背后鲜为人知的人工力量——数据标注
  4. 我们究竟还要学习哪些Android知识？面试真题解析
  5. 解决LiteIDE 中的error process failed to start.
  6. usb转rj45_笔记本接口不够怎么办？先看USB-A接口能转谁
  7. 值得一看的PCB接地设计规范！
  8. 检测输入路径是否存在错误_为什么存在用户输入错误
  9. LeetCode MySQL 1398. 购买了产品A和产品B却没有购买产品C的顾客
  10. 在Windows平台使用SSH连接Linux服务器
  11. activiti表单设计器_可拖拽的表单设计布局器-echarts-vue-jquery-可视化图表
  12. 笔试题：简述以下两个for循环的优缺点
  13. 电磁场仿真原理——5. 有限元法（FEM）
  14. 腾达u2无线网卡驱动Linux,腾达u2网卡驱动下载
  15. 人脸识别 | AI产品经理需要了解的CV通识（二）
  16. kappa系数简介---一致性与分类准确度指标
  17. HTKbook翻译之第十二章网络、词典及语言模型
  18. BTRFS - what makes BTRFS different?
  19. 计算机国二通过率,2021计算机二级考试通过率是多少 含金量如何
  20. Excel中的数字格式与文本格式进行转换

热门文章

  1. SWFLibrary类加载外部资源库
  2. Vmware中安装RHEL5
  3. 我看team work
  4. Felx布局基础教程
  5. SQL Server会话KILL不掉，一直处于KILLED /ROLLBACK状态情形浅析
  6. 操作系统 chapter 12 死锁
  7. OpenCV学习：Mat结构中的数据共享机制
  8. 从CMOS到触发器（一）
  9. 几个书本上不常见到的C语言函数
  10. 牛津剑桥古怪面试题：美女与经济学