【计算理论】计算理论总结 ( 图灵机设计示例 ) ★★
文章目录
- 一、图灵机设计示例 2
- 二、图灵机设计示例 3
- 三、图灵机设计示例 4
一、图灵机设计示例 2
给定语言 : A={w∣w包含相同个数的0和1}\rm A = \{w | w 包含相同个数的 0 和 1 \}A={w∣w包含相同个数的0和1} , 设计出该语言对应的图灵机 ;
M\rm MM 图灵机算法设计如下 : 算法的描述是双引号 “” 中的内容 , 这是操作意义上的图灵机 , 只描述图灵机读头操作 , 没有必要将图灵机指令整体设计出来 ;
M=\rm M =M= "在长度为 n\rm nn 的字符串 w\rm ww 上进行如下计算 :
① 返回带子最左端 , 从左向右扫描带子 , 找到 未标记的 000 , 标记后 , 转到 ② 继续运行 ; 如果没有找到未标记的 000 , 转到 ③ 运行 ;
② 返回带子最左端 , 从左向右扫描带子 , 找到 未标记的 111 , 标记后 , 转到 ① 继续运行 ; 如果没有找到未标记的 111 , 进入拒绝状态 ;
③ 返回带子最左端 , 从左向右扫描带子 , 找到未标记的 111 , 如果有则 进入拒绝状态 , 如果没有则 进入接受状态 ; "
二、图灵机设计示例 3
给定语言 : A={w∣w包含0的个数是1的个数的两倍}\rm A = \{w | w 包含 0 的个数是 1 的个数的两倍 \}A={w∣w包含0的个数是1的个数的两倍} , 设计出该语言对应的图灵机 ;
M\rm MM 图灵机算法设计如下 : 算法的描述是双引号 “” 中的内容 , 这是操作意义上的图灵机 , 只描述图灵机读头操作 , 没有必要将图灵机指令整体设计出来 ;
M=\rm M =M= "在长度为 n\rm nn 的字符串 w\rm ww 上进行如下计算 :
① 返回带子最左端 , 从左向右扫描带子 , 如果没有发现 000 , 进入拒绝状态 ;
② 返回带子最左端 , 从左向右扫描带子 , 找到 两个未标记的 000 , 标记后 , 转到 ③ 继续运行 ; 如果没有找到未标记的 000 , 转到 ④ 运行 ; 如果发现一个未标记的 000 , 进入拒绝状态 ;
③ 返回带子最左端 , 从左向右扫描带子 , 找到 未标记的 111 , 标记后 , 转到 ② 继续运行 ; 如果没有找到未标记的 111 , 进入拒绝状态 ;
④ 返回带子最左端 , 从左向右扫描带子 , 找到未标记的 111 , 如果有则 进入拒绝状态 , 如果没有则 进入接受状态 ; "
三、图灵机设计示例 4
给定语言 : A={w∣w包含0的个数不是1的个数的两倍}\rm A = \{w | w 包含 0 的个数不是 1 的个数的两倍 \}A={w∣w包含0的个数不是1的个数的两倍} , 设计出该语言对应的图灵机 ;
M\rm MM 图灵机算法设计如下 : 算法的描述是双引号 “” 中的内容 , 这是操作意义上的图灵机 , 只描述图灵机读头操作 , 没有必要将图灵机指令整体设计出来 ;
M=\rm M =M= "在长度为 n\rm nn 的字符串 w\rm ww 上进行如下计算 :
① 返回带子最左端 , 从左向右扫描带子 , 找到 两个未标记的 000 , 标记后 , 转到 ② 继续运行 ; 如果没有找到未标记的 000 , 转到 ③ 运行 ; 如果发现一个未标记的 000 , 进入接受状态 ;
② 返回带子最左端 , 从左向右扫描带子 , 找到 未标记的 111 , 标记后 , 转到 ① 继续运行 ; 如果没有找到未标记的 111 , 进入拒绝状态 ;
③ 返回带子最左端 , 从左向右扫描带子 , 找到未标记的 111 , 如果有则 进入接受状态 , 如果没有则 进入拒绝状态 ; "
【计算理论】计算理论总结 ( 图灵机设计示例 ) ★★相关推荐
- 【计算理论】计算理论总结 ( 图灵机设计 ) ★★
文章目录 一.图灵机 二.图灵机设计 三.图灵机设计示例 1 一.图灵机 图灵机要素 : ① 有限多状态集 , Q\rm QQ ; ② 有限多个字符集 , Σ\rm \SigmaΣ ; ③ 带子字符集 ...
- 【计算理论】图灵机 ( 接受状态作用 | 格局 | 图灵机语言 | 图灵机设计复杂性 )
文章目录 一.接受状态作用 二.格局 三.图灵机语言 四.图灵机设计复杂性 一.接受状态作用 自动机 / 图灵机 与 现实计算 的区别是 现实计算中 没有 接受状态 概念 , 自动机 / 图灵机 的目 ...
- 【计算理论】上下文无关语法 CFG ( CFG 设计示例 | CFG 歧义性 | Chomsky 范式 | 上下文无关语法 转为 Chomsky 范式 )
文章目录 一.上下文无关语法 设计 示例 二.上下文无关语法 的歧义性 三.Chomsky 范式 四.上下文无关语法 转为 Chomsky 范式 五.上下文无关语法 转为 Chomsky 范式 示例 ...
- 【计算理论】图灵机 ( 非确定性图灵机 | 非确定性图灵机指令分析 | 计算过程 | 非确定性指令出现多个分支 | 非确定性图灵机转为计算树 | 计算树 )
文章目录 一.非确定性图灵机 二.非确定性图灵机 指令 三.非确定性图灵机 计算示例 初始状态 四.计算步骤 1 五.计算步骤 2 六.计算步骤 3 ( 出现非确定性分支 ) 七.计算步骤 3-1 ( ...
- 【计算理论】非确定性有限自动机 ( 计算过程 | 计算树 | 确定可接受字符串 | 设计非确定性有限自动机 | 空字符 )
文章目录 一.非确定性自动机 计算过程 ( 计算树 ) 二.判定 非确定性自动机 接受的字符串 三.自动机 设计要求 四.非确定性有限自动机设计 五.非确定性有限自动机 与 确定性 有限自动机 比较 ...
- 计算机制造理论,计算制造
[编辑] 什么是计算制造 计算制造是指利用计算机对制造过程和制造系统的表示.计算.推理和形式处理,包括制造中的几何表示.计算.优化和推理,以及制造过程建模.控制.规划.调度和管理有关的计算问题及其复杂 ...
- 斯蒂芬.沃尔夫勒姆:计算万物的理论
今天看了微博推荐的一个TED视频<计算万物的理论>,被其中演讲者天才的想法深深地震撼到了. 演讲者是斯蒂芬.沃尔夫勒姆,是一位物理学家.他在研究宇宙模型时,不像传统科学家那样先提出模型假设 ...
- 通俗易懂理解几何光学(五)光线的光路计算及像差理论
这里写自定义目录标题 概述 像差分类 光线的光路计算 光路计算 三类主要光线 单色像差 球差 正弦差和彗差 子午彗差 弧矢彗差 像散 场曲 畸变 色差 位置色差 倍率色差 波像差 概述 在几何光学中, ...
- 计算机理论:有限状态机、图灵机到现代计算机
一.有限状态机 引子 让我们先来看几个简单的概念: 状态 - 系统的基本数学特征. 状态机 - 一个离散数学模型.给定一个输入集合,根据对输入的接受次序来决定一个输出集合. ...
最新文章
- Java反射 - 动态类加载和重载
- postman模拟登录接口
- Wannafly挑战赛18C 异或和
- php的冷门但是很实用的函数
- 八皇后时间复杂度_【算法打卡】N皇后
- Linux 内核网络协议栈 ------sk_buff 结构体 以及 完全解释 (2.6.16)
- 转 Hystrix超时实现机制
- MySql数据导入导出及解决ERROR2006(MySQL server has gone away)错误
- $python正则表达式系列(5)——零宽断言
- vuex-token的持久化
- vivado DEBUG使用说明
- 关于新浪微博开放平台第三方登录接口问题
- Java实现支付功能代码
- Material Design 总结
- 海致大数据京信_2018华为全联接大会|海致网聚提出公安大数据个人计算新理念...
- Java游戏吉他英雄_《吉他英雄:现场》《摇滚乐队4》横向对比:各有所长!
- 苹果cms模板_苹果cms怎么做seo?
- 289.南信大知网登录
- css3弹性盒子居中总结1
- python如何攻击网站_GitHub - wuhuanyan/buy_pig_plan_python: 用Python写的『电话攻击,电话轰炸,电话炸弹』...