计算理论-第三章丘奇图灵论题.ppt

第3章 丘奇－图灵机 研究内容 图灵机 图灵机的变形 算法的定义 图灵机概述 图灵机与有穷自动机相似，但它具有无限大容量的存储且任意访问内部数据，是一种精确的通用计算机模型，能模拟实际计算机的所有计算行为 图灵机具有以下两个性质 具有有穷描述 过程必须是由离散的、可以机械执行的步骤组成 图灵机基本模型 基本模型包括 一个有穷控制器 一条含有无穷多个带方格的输入带 一个读写头 图灵机的标准 图灵机设计必须满足的三条标准 它们应该是自动机，即在构造和功能等一般特点上应该和前面研究过的装置相同 在描述、形式化定义和讨论方式它们应该尽量简单 就可完成的计算而言它们应该尽量简单 图灵机的动作 当读写头扫描输入带上一格（即输入一个字符）时，结合图灵机的当前状态，在有限控制器的控制下，图灵机将执行以下三个动作 进行状态转移 读写头在带上当前格写下新的符号 决定读写头向右或者向左移一格 与有穷自动机的区别 图灵机在带子上既然读也能写 图灵机的读写头既然向左也能向右移动 图灵机的带子是无限长的 图灵机进入拒绝和接受状态将立即停机 图灵机与语言 对于带上一串输入字符，图灵机从初始状态和带上最左边的字符开始，通过连续不断的扫描和执行相关动作，如果在某个时候进入终止状态，图灵机就接受输入串 被一个图灵机所接受的全部字符串的集合，就是该图灵机所接受的语言 设计图灵机M1，使得如果输入是B={ω#ω|ω∈{0,1}*}的成员，它就接受，否则就拒绝 图灵机的形式化定义 图灵机M是一个7元组(Q,?,?,?,q0,qaccept,qreject)，其中Q、?、?都是有穷集合，并且 Q是状态的有穷集合(相当于程序标号) ?是输入字母表，不包含空白符?(或者B) ?是带符号表，?(或者B)作为?中除?符号之外唯一特殊边界符 q0开始状态，q0∈Q，对于一个给定的输入串，M从状态q0启动，读头正注视着输入带最左端的符号 接受状态qaccept?Q，拒绝状态qreject?Q ? 转移函数?: Q\{qaccept, qreject}???Q???{L,R} 图灵机的形式化定义(1) 状态转移函数 δ：Q×Γ?Q×Γ×{R,L}是，为M的移动函数 δ(q,xi)=(p,y,R)表示M在状态q读入符号X，将状态改为p，并在这个X所在的带方格中印刷符号Y，然后将读头向右移一格 x1?xi-1 q xi?xn?x1?xi-1y p xi+1?xn δ(q,xi)=(p,y,L)表示M在状态q读入符号X，将状态改为p，并在这个X所在的带方格中印刷符号Y，然后将读头向左移一格 x1?xi-1 q xi?xn?x1? p xi-1yxi+1?xn 图灵机所能接受的语言为 L(M)={w∈?*|q0w?M*α1pα2，p∈F} 状态图表示法 如果有 ?(qi，b)=(qj，c，R)， //读b写c，且右移，则可表示为： 图灵机计算过程 开始时，M以最左边的n个 带方格接收输入ω=ω1ω2?ωn∈∑*，带的其余部分保持空白，空白符不在∑中，一旦被M读到则表示输入结束 读写头从最左边的带方格开始运行，开始运行后，计算根据转移函数所描述的规则进行，一直持续到它进入接受或拒绝状态，然后停机 如果二者都不发生，则M将永远运行下去 图灵机的格局表示 图灵机计算过程中以当前状态、当前带内容和读写头当前位置组合在一起称为图灵机的格局(或称为瞬像)，以uqv表示，其q表示当前状态，字符串uv表示当前带内容，读写头的当前位置为v的第一个字符前 例如1011q701111表示格局：当前带内容为101101111，当前状态为q7，读写头当前字符是字符中第二个0 图灵机格局产生 如果图灵机能合法地从C1格局迁移到C2格局，则称格局C1产生格局C2，其形式化表示为 设a，b，c∈Γ，u，v∈Γ*，qi，qj∈Q，uaqibv，uqjacv(或uacqjv)是两个格局 如果δ(qi,b)=(qj,c,L)，则称uaqibv产生uqjacv 或者δ(qi,b)=(qj,c,R)，则称uaqibv产生uacqjv 端点格局 但当格局位于两个端点时会发生特殊变化 M在输入w上的起始格局q0w，表示机器处于起始状态，并且读写头处于带子的最左端 接受格局：uqacceptv；返回true 拒绝格局：uqrejectv；返回false 接受和拒绝状态是停机状态 图灵机与语言 图灵机M接受输入ω，如果存在格局的序列C1，C2，?，Ck，使得 C1是M在输入上的初始格局 每个Ci产生Ci+1 Ck是接受格局 M接受的字符串的集合称为M的语言，或被M识别的语言，记为L(M) 图灵机与语言 一个图灵机M识别一个输入串w，可能会遇到下面三种情况： 进入终止状态，即在格局推导过程中能够进入一个格局x1 ?xi-1qxi?xn，其