形式语言与自动机讲述.ppt

第八章 图灵机的其它模型 1.带不动选择图灵机 在标准图灵机定义中,读写头要么向左移动要么向右移动,而有时为了方便,我们引入第三种选择,即在读写头重写带上单元后位置保持不动,于是人们可以修改标准图灵机得到新的带不动选择的图灵机(Turing machine with stay-option)的定义,办法是将标准图灵机定义中的δ替换为: δ:Q×Г→Q × Г × {L,R,S} S表示读写头位置保持不动.这一改动并没有增强标准图灵机的能力. 定理:带不动选择的图灵机类与标准图灵机类等价. 证明:因为带不动选择图灵机显然是标准图灵机的扩展,于是任何标准图灵机无疑可以被带不动选择图灵机模拟. 为了证明逆命题,我们令M=（Q,Σ,Г,δ,q0,□,F)为一带不动选择图灵机.用一个标准图灵机M’=（Q’,Σ,Г,δ’,q0’,□,F’)模拟它.对于M的每一步,模拟机M’做如下工作:如果M的读写头向左移动或向右移动,则M’的读写头也相应地向左或向右移动;如果M执行了动作S,则M’执行两步动作:读写头首先重写单元格并向右移动,然后对新移动到的单元格不做任何修改并向左移动.这一模拟机可以爱过定义δ’由M构造如下: 对于每一步转移 δ（qi,a)=(qj,b,L or R) 我们把δ’解释为: δ’ （qi’,a)=(qj’, b, L or R) 对于读写头不动的转移 δ（qi,a)=(qj,b,S) 我们把读写头δ’解释为相应的两步转移: δ’ （qi’,a)=(qjs’, b, R) δ’ （qjs’,c)=(qj’, c, L) 其中c∈Г 很显然,对M的每一个计算,都有对应的M’的一个计算,因此M’可以模拟M. 模拟是证明自动机等价的一种标准技术. 在介绍其他模型之前,我们对标准图灵机做一点修改,每个带符号可以是一些符号的组合体,而不仅仅是单个符号.在下图中每个带符号都是三个较简单的字母构成的三元组.带上的每个单元划分为三个部分,每部分称为道(track),每个道包含三元组的一个成员.基于这一直观认识,这样的图灵机有时称为多道图灵机(Turing machine with multiple tracks).但这一观点并没有扩展标准图灵机的定义,因为我们所要做的只是将Г改为一个新的字母表,其中每个符号包含几个部分. a 第一道 b 第二道 c 第三道 2.单向无穷带图灵机 单向无穷带图灵机器(Turing machine with semi-infinite tape) 可以直观地理解为带只有左边界.这一模型与标准模型同样等价的,区别在于当读写头位于带的左边界时不能向左移动. 不难看出,这一限制并没有影响村准图灵机的能力. 为了用单向无穷带图灵机M1模拟标准图灵机M,我们采用下图所示的带: 模拟带M1有一条双带道,在上道中保存位于M带上某一点右侧单元的内容,如可以选择计算开始时读头的位置作为参考点.在下道中,我们以逆序保存位于M带上参考点左侧的内容.我们可以可以对M1编程.使得当M的读写头位于参考点右侧时, M1使用上道信息; 当M的读写头位于参考点左侧时, M1使用下道信息;M的读写头是否位于参考点右侧可以通过M1的状态分为两部分以辅助进行判断,比如设两类状态分别为QU和QL:当M1处于上道时使用前者,否则使用后者.左边界处的上下道中均包含特殊的结束符#,以便于两个道间的切换. 第一道模拟标准带的右部 第二道模拟标准带的左部 如:被模拟的图灵机M和模拟机M1分别位于下图所示的格局,并且将要模拟的 迁移由δ（qi,a)=(qj,c,L)生成.模拟机M1先通过转移δ1（q1i,a)=(q1j,(c,b),L) 来进行迁移,其中q1i∈ QU,所以此处只考虑上道信息.此时模拟机在状态q1j ∈ QU.因为q1i∈ QU,所以此处只考虑上道信息,此时模拟机在状态q1i∈ QU,看到 了符号(#,#),接下来作转移: δ1（q1j,(#,#))=(p1j,(#,#),R),其中p1j ∈ QL a b c 参考点 q1i qi # a # b # a # c # c # b # b # b q1i q1j p1j 3.离线图灵机 如果我们在模型中加入输入文件,我们所得到的就是离线图灵机(off-line Turing machine).在这类图灵机中,每一步转换都是由内部状态,从输入文件当前读到的符号以及读写头所见到的带上的符号控制的.离线图灵机如下图所示.其