一、接受状态作用

自动机 / 图灵机与现实计算的区别是现实计算中没有接受状态概念 ,

自动机 / 图灵机的目的是将计算转为一个集合 , 从数学角度研究计算 ;

设置了接受状态概念 , 可以将字符串分为接受字符串 , 非接受字符串 , 两部分 ;

接受字符串可以组成一个集合 , 集合组成的语言 , 刚好对应计算模型 ;

此时就可以将计算转为集合 , 方便进行数学证明 ;

图灵机一旦达到接受状态 , 自动停机 ;

自动机即使达到了接受状态 , 也要将所有输入字符读取完毕 , 然后才停机 ;

二、格局

格局 Configuration , 格局是给图灵机照一个快照 , 下图就是图灵机在计算过程中 , 某一个时刻的快照 ;

将图灵机计算过程 , 每个步骤都照一份快照 , 通过轨迹将这些快照联系到一起 , 就可以得到一个数据结构 ,

上述格局可以记作 00q1B\rm 00q1B00q1B , 该写法表示与某个格局 ( 快照 ) 一一对应 ;

在图灵机中 , 读头指向 111 , 就将状态写在 111 的左边 ;

三、图灵机语言

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

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

将图灵机 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字符串 }

四、图灵机设计复杂性

图灵机设计是一个很复杂的工程 , 与设计电路等同 , 需要注意很多微妙的地方 ;

图灵给算法提供了一个严格的数学定义 , 如果要给一个算法提供一个严格的数学证明 , 必须将该算法写出来 , 即写出该算法对应的图灵机 , 设计一个简单算法对应的图灵机很复杂 ;

这里希望严格证明算法 , 但尽量避免设计图灵机 ;

设计一个图灵机 M2\rm M2M2 , 认识一种特定语言 , 该语言由 000 组成 , 字符串的长度是 2n\rm 2^n2n 个 , n=0,1,2,⋯\rm n = 0, 1, 2, \cdotsn=0,1,2,⋯ ;

设计一个图灵机 , 认识一种特定语言 , B={w#w∣w是0和1组成的字符串}\rm B= \{ w \# w | w 是 0 和 1 组成的字符串\}B={w#w∣w是0和1组成的字符串} ;

设计一个图灵机 , 作乘法运算 , 语言为 C={aibjck:i×j=k}\rm C= \{ a^i b^j c^k : i \times j = k \}C={aibjck:i×j=k} ;

【计算理论】图灵机 ( 接受状态作用 | 格局 | 图灵机语言 | 图灵机设计复杂性 )相关推荐

【计算理论】计算复杂性 ( 两个带子的图灵机的时间复杂度 | 证明多个带子图灵机时间复杂度 )
文章目录一.确定性模型的计算复杂性关系二.证明 "多个带子图灵机时间复杂度是 O(n2)\rm O(n^2)O(n2)" 一.确定性模型的计算复杂性关系计算的复杂性取决于 ...
【计算理论】计算复杂性 ( 两个带子的图灵机的时间复杂度 )
文章目录一.两个带子的图灵机的时间复杂度一.两个带子的图灵机的时间复杂度讨论两个带子的图灵机的时间复杂度 ; 计算问题如下 : 给定语言 : A={0k1k:k≥0}\rm A = \{ 0^k ...
计算理论——正则语言，上下文无关文法，图灵机，可判定性，可规约性
目录第一章正则语言状态图自动机的形式化定义非确定性正则表达式泵引理使用泵引理证明某个语言非正则的方法第二章上下文无关文法上下文无关文法概述 1.上下文无关文法形式化定义 2.上下 ...
【计算理论】计算复杂性 ( 时间复杂度时间单位 : 步数 | 算法分析 | 算法复杂性分析 )
文章目录一.时间复杂度时间单位二.算法分析三.算法复杂性分析一.时间复杂度时间单位图灵机计算时间是根据步数进行定义的 , 图灵机走 111 步 , 时间加一 , 每一步的时间可能不一致 ...
【计算理论】下推自动机 PDA ( 上下文无关语言 CFL 的泵引理 | 泵引理反证示例 | 自动机扩展 )
文章目录 I . 上下文无关语言 ( CFL ) 的泵引理 ( Pumping Lemma ) II . 上下文无关语言 ( CFL ) 的泵引理 ( Pumping Lemma ) 示例 III ...
【计算理论】计算理论总结 ( 上下文无关文法 CFG 转为下推自动机 PDA 示例 2 ) ★★
文章目录一.上下文无关文法 CFG 转为下推自动机 PDA 流程二.上下文无关文法 CFG 转为下推自动机 PDA 示例 2 参考博客 : [计算理论]上下文无关语法 ( 语法组成 | 规则 | ...
【计算理论】计算理论总结 ( 上下文无关文法 CFG 转为下推自动机 PDA 示例 1 ) ★★
文章目录一.上下文无关文法 CFG 转为下推自动机 PDA 流程二.上下文无关文法 CFG 转为下推自动机 PDA 示例 1 参考博客 : [计算理论]上下文无关语法 ( 语法组成 | 规则 | ...
【计算理论】计算理论总结 ( 下推自动机计算过程 | 上下文无关文法 CFG 转为下推自动机 PDA ) ★★
文章目录一.下推自动机计算过程二.上下文无关文法 CFG 转为下推自动机 PDA 流程参考博客 : [计算理论]上下文无关语法 ( 语法组成 | 规则 | 语法 | 语法示例 | 约定的简写形式 ...
贪吃蛇c语言课程设计报告下载,c语言课程设计-贪吃蛇游戏
c语言课程设计-贪吃蛇游戏 C 语言课程设计 1 山东交通学院 C 语言课程设计贪吃蛇游戏院(系)别交通与物流工程学院班级物联 131 学号 130516122 姓名王赛指导教师 ...

【计算理论】图灵机 ( 接受状态作用 | 格局 | 图灵机语言 | 图灵机设计复杂性 )

文章目录

一、接受状态作用

二、格局

三、图灵机语言

四、图灵机设计复杂性

【计算理论】图灵机 ( 接受状态作用 | 格局 | 图灵机语言 | 图灵机设计复杂性 )相关推荐

最新文章

热门文章