【计算理论】图灵机 ( 非确定性图灵机 -＞ 确定性图灵机 | 模仿过程示例 | 算法的数学模型 )
文章目录
- 一、非确定性图灵机 -＞ 确定性图灵机
- 二、确定性图灵机 模仿 非确定性图灵机 过程
- 三、算法的数学模型
一、非确定性图灵机 -＞ 确定性图灵机
给定如下非确定性图灵机 , 设计 确定性图灵机 模仿下面的 非确定性图灵机 ;
上述非确定性图灵机 的计算过程是一个 计算树 ;
二、确定性图灵机 模仿 非确定性图灵机 过程
使用 确定性图灵机 描述上述 非确定性图灵机 ;
设计的 确定性图灵机 有 333 个带子 , 每个带子对应着 非确定性图灵机 计算树 的一个分支 ;
第 111 个带子 ( 输入字符串 ) 上是 图灵机的输入字符串 , 该带子上的内容永不改变 , 不能放其它内容 ;
第 222 个带子 ( 模仿带子 ) 上是 模仿的计算树的一个分支的内容 ;
第 333 个带子 ( 地址带子 ) 上是数字编码 , 该数字编码会不停的更新 , 该编码代表了计算树中计算分支的编码 ,
下图中 第 333 个带子的 1231 2 3123 含义是 ,
在深度为 111 的分支中 , 选择第 111 个分支 ,
在深度为 222 的分支中 , 选择第 222 个分支 ,
在深度为 333 的分支中 , 选择第 333 个分支 , 如下图所示的分支
第 333 个带子是计算分支编码 , 真实的模仿计算分支计算过程在 第 222 个带子上完成 ,
带子的数据变化 :
① 第 111 个带子放输入字符串 , 永不改变 ;
② 第 222 个带子根据 第 333 个带子选择的计算分支加载不同的计算分支对应的字符串 ;
③ 第 333 个带子上的数字会按照字典序的顺序 , 不停的进行更新 , 更新的过程就是宽度有限搜索的顺序 ;
通过 333 个带子中的确定性图灵机 , 可以模仿非确定性图灵机的计算 , 本质是找到非确定图灵机中的接受状态对应的 计算分支 ;
三、算法的数学模型
为算法提供严格的数学模型 , 除了图灵机之外 , 还有其它的 333 种数学模型 :
① 可计算函数 ,数学方向 ;
② Lambda 演算 , 程序语言方向 ;
③ 登记计算机 ( Register Machine ) , 计算理论方向 ;
【计算理论】图灵机 ( 非确定性图灵机 -＞ 确定性图灵机 | 模仿过程示例 | 算法的数学模型 )相关推荐
- 【计算理论】图灵机 ( 非确定性图灵机 与 计算树 | 非确定性 | 非确定性图灵机 与 确定性图灵机 相互模仿 | 非确定性图灵机 -＞ 确定性图灵机 )
文章目录 一.非确定性图灵机 与 计算树 二.非确定性 三.非确定性图灵机 与 确定性图灵机 相互模仿 四.非确定性图灵机 -> 确定性图灵机 一.非确定性图灵机 与 计算树 非确定性图灵机体现 ...
- 【计算理论】图灵机 ( 非确定性图灵机 | 非确定性图灵机指令分析 | 计算过程 | 非确定性指令出现多个分支 | 非确定性图灵机转为计算树 | 计算树 )
文章目录 一.非确定性图灵机 二.非确定性图灵机 指令 三.非确定性图灵机 计算示例 初始状态 四.计算步骤 1 五.计算步骤 2 六.计算步骤 3 ( 出现非确定性分支 ) 七.计算步骤 3-1 ( ...
- 【计算理论】可判定性 ( 非确定性有限自动机的接受问题 | 证明 “非确定性有限自动机的接受问题“ 的可判定性 )
文章目录 一.非确定性有限自动机的接受问题 二.证明 "非确定性有限自动机的接受问题" 可判定性 一.非确定性有限自动机的接受问题 非确定性有限自动机 的 接受问题 , 首先将 计 ...
- 【计算理论】上下文无关语法 CFG ( CFG 设计示例 | CFG 歧义性 | Chomsky 范式 | 上下文无关语法 转为 Chomsky 范式 )
文章目录 一.上下文无关语法 设计 示例 二.上下文无关语法 的歧义性 三.Chomsky 范式 四.上下文无关语法 转为 Chomsky 范式 五.上下文无关语法 转为 Chomsky 范式 示例 ...
- 【计算理论】计算复杂性 ( 非确定性图灵机的时间复杂度 | 非确定性图灵机 与 确定性图灵机 的时间复杂度 之间的关系 )
文章目录 一.非确定性图灵机的时间复杂度 二.非确定性图灵机 与 确定性图灵机 的时间复杂度 之间的指数关系 一.非确定性图灵机的时间复杂度 给定一个非确定性图灵机 , 该图灵机是 判定机 , 在所有 ...
- 【计算理论】计算复杂性 ( 阶段总结 | 计算理论内容概览 | 计算问题的有效性 | 语言与算法模型 | 可计算性与可判定性 | 可判定性与有效性 | 语言分类 ) ★
文章目录 一.计算理论内容概览 二.计算问题的 有效性 三.语言 与 算法模型 四.可计算性 与 可判定性 五.可判定性 与 有效性 六.语言分类 一.计算理论内容概览 计算理论分为 形式语言与自动机 ...
- 【计算理论】计算复杂性 ( 计算理论内容概览 | 计算问题的有效性 | 时间复杂性度量 | 输入表示 | 时间复杂度 )
文章目录 一.计算理论内容概览 二.计算问题的判定性 三.计算问题的 有效性 四.时间复杂性度量 五.算法有效性 数学定义需求 六.输入表示 七.时间复杂度 一.计算理论内容概览 计算理论分为 形式语 ...
- 【计算理论】可判定性 ( 可判定性总结 )
文章目录 一.可判定性总结 二.概览 一.可判定性总结 确定性有限自动机 , 下推自动机 , 图灵机 是目前提到过的计算模型 ; 关于 确定性有限自动机 的所有计算问题都是 可判定的 ; 关于 图灵机 ...
- 【计算理论】计算理论总结 ( 上下文无关文法 CFG 转为下推自动机 PDA 示例 2 ) ★★
文章目录 一.上下文无关文法 CFG 转为下推自动机 PDA 流程 二.上下文无关文法 CFG 转为下推自动机 PDA 示例 2 参考博客 : [计算理论]上下文无关语法 ( 语法组成 | 规则 | ...
最新文章
- 利用bat批量执行脚本文件
- eclipse+ADT 进行android应用签名打包详解
- 【转】登录后自动显示未读快件
- 思科数据中心Nexus 3000
- 蔡高厅老师 - 高等数学阅读笔记 - 14 定积分 -定积分的换元法 - 广义积分和伽马函数（65、66、67）
- js根据已知数组长度创建一个一样长度的数组并初始化值为0
- Eclipse-报错:Could not create the Java virtual machine
- html退出登录_退出登录 0152
- azure 使用_使用Azure Data Studio开始您的旅程
- hive字段乱码问题（解决）
- java 键盘输入密码,(JAVA)从键盘输入一批字符，以@结束，按要求加密并输出
- linux下列目录清单用命令,Linux入门必看的Is命令实用范例!
- PDF加密如何批量解除
- 3、ORBSLAM闭环检测终局之战之sim3计算流程，确定是否检测到闭环
- android自己监听home键,Android中监听Home键的4种方法总结
- Mac最新版书籍分享
- 与“十“俱进 阿里数据库运维10年演进之路
- 积水成渊：用github gist收藏你的代码片段
- HADOOP集群大数据词频统计及设计比较（完整教程）
- Vue 开发必须知道的 36 个技巧