一、图灵机图示

下图是图灵机的简单示意图 : 图灵机由无穷长的带子 , 读头 , 状态组成 ;

带子 :

无穷长度 , 每个格子有一个字符 ;

读头 :

上图中的箭头是读头 , 用于读写数据 ;

读头作用是读取带子上的字符 , 然后擦掉该字符 , 写入新的字符 ;

然后该读头可以向左或向右移动一格单位 ;

状态 :

箭头上的矩形框中表示当前的状态 , 状态个数是有限多个 , 其作用是指挥图灵机如何进行计算 ;

上述图灵机是理想的图灵机 , 带子是无穷长的 , 带子上的字符是有限多个 , 状态是有限多个 , 指令也是有限多个 ;

二、图灵机形式定义

图灵机要素 :

① 有限多状态集 , Q\rm QQ ;

② 有限多个字符集 , Σ\rm \SigmaΣ ;

③ 带子字符集 , Γ\rm \GammaΓ , 包含 Σ\rm \SigmaΣ ;

④ 转换函数 , 即指令集 , δ\deltaδ ;

⑤ 开始状态 , q0\rm q_0q0 , 包含在 Q\rm QQ 中 ;

⑥ 空白字符 , u\rm uu , 包含在 Γ−Σ\rm \Gamma - \SigmaΓ−Σ ( 相对补集 ) 集合中 ;

⑦ 一些接受状态 , F\rm FF , 其中 F⊆Q\rm F \subseteq QF⊆Q ;

指令与转换函数 : 图灵机是根据指令进行计算的 , 指令是一个转换函数 δ\rm \deltaδ ;

转换函数 δ\rm \deltaδ 两个输入参数 :

参数一 : 状态 q\rm qq , 该状态是 Q\rm QQ 中的元素 , q∈Qq \in\rm Qq∈Q ;
参数二 : 带子字符 ZZZ , 该字符是 Γ\rm \GammaΓ 集合中的元素 , Z∈Γ\rm Z \in \GammaZ∈Γ ;

转换函数 δ\rm \deltaδ 输出是一个三元组 :

输出一 : 状态 p\rm pp ;
输出二 : 带子字符 Y\rm YY ;
输出三 : 方向 D\rm DD , 向左或向右 , 读取头下面要移动的方向 ;

指令 δ\rm \deltaδ 表示的含义解析 :

δ(q,Z)=(p,Y,D)\rm \delta(q, Z) = (p, Y, D)δ(q,Z)=(p,Y,D) 转换函数 , 其中 q,Z\rm q,Zq,Z 是两个输入 , p,Y,D\rm p, Y, Dp,Y,D 是三个输出 ,

开始时图灵机的状态是 q\rm qq 状态 , 读取头指向的字符是 Z\rm ZZ ,

执行该转换函数 δ\rm \deltaδ , 会将状态转变为 p\rm pp 状态 , 将读取头指向的带子上的字符 Z\rm ZZ 擦除 , 并改为 Y\rm YY , 然后沿着 D\rm DD 方向 , 移动一格单位 ;

其中 D\rm DD 方向可以是 L\rm LL 向左移动 , 也可以是 R\rm RR 向右移动 ;

【计算理论】图灵机 ( 图灵机图示 | 图灵机形式定义 )相关推荐

【计算理论】不可判定性 ( 停机问题 | 图灵机语言是否空集问题 | 图灵机是否等价问题 | 是否存在自动机接受图灵机语言问题 | 莱斯定理 Rice‘s Theorem )
文章目录一.不可判定性 ( Undecidability ) 二."停机问题" 不可判定三."图灵机语言是否空集问题" 不可判定四."图灵机是否 ...
【计算理论】可判定性 ( 丘奇-图灵论题 | 可判定性引入 | 图灵机语言 | 图灵机结果 | 判定机 | 部分函数与全部函数 | 可判定性定义 )
文章目录一.丘奇-图灵论题二.可判定性引入三.图灵机语言四.图灵机结果五.判定机五.部分函数与全部函数六.可判定性定义一.丘奇-图灵论题为算法提供严格的数学模型 , 除了图灵机之外 ...
【计算理论】图灵机 ( 图灵机引入 | 公理化 | 希尔伯特纲领 | 哥德尔不完备定理 | 原始递归函数 )
文章目录一.图灵机引入二.公理化三.希尔伯特纲领四.哥德尔不完备定理五.哥德尔原始递归函数一.图灵机引入计算理论分为形式语言与自动机 , 可计算部分 , 计算复杂性部分 ; 之前博客 ...
计算理论导引-图灵机
复习使用定义图灵机形式定义: TMm=(Q,Σ,Γ,δ,q0,qaccept,qreject)TM m=(Q,\Sigma,\Gamma,\delta,q_{0},q_{accept},q_{re ...
【计算理论】计算复杂性 ( 证明非确定性图灵机与确定性图灵机的时间复杂度之间的指数关系 )
文章目录证明非确定性图灵机与确定性图灵机的时间复杂度之间的指数关系证明非确定性图灵机与确定性图灵机的时间复杂度之间的指数关系在上一篇博客 [计算理论]计算复杂性 ( 非确定性 ...
【计算理论】计算复杂性 ( 非确定性图灵机的时间复杂度 | 非确定性图灵机与确定性图灵机的时间复杂度之间的关系 )
文章目录一.非确定性图灵机的时间复杂度二.非确定性图灵机与确定性图灵机的时间复杂度之间的指数关系一.非确定性图灵机的时间复杂度给定一个非确定性图灵机 , 该图灵机是判定机 , 在所有 ...
【计算理论】计算复杂性 ( 两个带子的图灵机的时间复杂度 | 证明多个带子图灵机时间复杂度 )
文章目录一.确定性模型的计算复杂性关系二.证明 "多个带子图灵机时间复杂度是 O(n2)\rm O(n^2)O(n2)" 一.确定性模型的计算复杂性关系计算的复杂性取决于 ...
【计算理论】计算复杂性 ( 两个带子的图灵机的时间复杂度 )
文章目录一.两个带子的图灵机的时间复杂度一.两个带子的图灵机的时间复杂度讨论两个带子的图灵机的时间复杂度 ; 计算问题如下 : 给定语言 : A={0k1k:k≥0}\rm A = \{ 0^k ...
【计算理论】可判定性 ( 对角线方法 | 使用对角线方法证明通用任务图灵机语言不可判定 )
文章目录一.存在性证明二.证明通用任务图灵机 ATM\rm A_{TM}ATM 语言对应的计算模型一定是不可判定 ( 对角线法 ) 一.存在性证明存在性证明 : 肯定存在一些语言 , 不 ...

【计算理论】图灵机 ( 图灵机图示 | 图灵机形式定义 )

文章目录

一、图灵机图示

二、图灵机形式定义

【计算理论】图灵机 ( 图灵机图示 | 图灵机形式定义 )相关推荐

最新文章

热门文章