第七章 图灵机.pptVIP

定理7.3.3　如果L被一个非确定的图灵机M1接受，那么L将被某个确定的图灵机M2接受。 证　对于M1的任何状态和带符号，有有限多个关于次动作的选择，它们可以用1，2，…加以编号，设r是对于任何状态――带符号偶来说的最大选择数。于是任何有限的选择序列都可以表成一个由数字1到r组成的序列，并不是所有这样的序列都表示一个动作选择序列，因为在某些情况下，可能只有少于r个的选择。 M2将有三条带，第一条保存输入，在第二条上，M2将以一种系统的方式产生数字1到r的序列。具体地讲，先产生短的序列，等长序列则按数值大小顺序产生。 对于在带2上产生的每个序列，M2都把输入复制到带3上，然后在带上3上模拟M1，同时使用带2上的序列来指明M1的各动作。如果M1进入一个接受状态，M2也将接受，如果存在一个导致接受的选择序列，那么它终穷会在带2上产生出来。在模拟时，M2将会接受。但若M1没有选择序列导致接受，M2 不会接受。 7.3.4多维图灵机 让我们考虑图灵机的另一种修改――多维图灵机，它也不增加额外的能力。这种装置具有通常的有限控制器，但带却由k维　（对于某个固定的k）单元阵列组成，这里在所有2k个方向都是无限的。根据状态和所扫视的符号，该装置改变状态，打印一个新符号，在2k个方向之一上移动它的带头，即沿着k轴中的一轴，作正向或负向移动。开始时，输入沿着一个轴排列，带头在输入的左端。 任何时刻，在任何一维中，只有有穷多行包含非空白符号，其中每一行只有有穷多个非空白符号。例如，考虑图7．7(a)中的二维TM的带格局。仍如图7．7(a)所示，画一个关于非空符号的矩形。该矩形能够如图7．7（b）那样，一行接一行地表示在一条带上，＊用来分隔各行，第二道可以用来指出二维TM的带头位置。 定理7.3.4　如果L被一个二维TM M2接受，那么L将被一个一维TM M1接受。 证　M1如图7．7（b）那样表示M2的带。M1还有第二条带，下面我们将描述它的用途，这些带都是双向无穷的，假设M2做了一个动作，在该动作中，带头不会离开已被M1的带表示好的矩形。 B B B a1 B B B B B a2 a3 a4 a5 B a6 a7 a8 a9 B a10 B B a11 a12 a13 B a14 a15 B B a16 a17 B B B (a) **BBBa1BBB*BBa2a3a4a5B*a6a7a8a9Ba10B*Ba11a12a13Ba14a15*BBa16a17BBB** (b) 图7.7　用一维对二维的模拟 （a）两维带（b）一维模拟 如果动作是水平方向的，那么M1打印一个新符号，改变记录在M1的控制器中的M2状态，然后，简单地将带头记录向左或向右移一个单元。如果动作是垂直方向的M1，就用它的第二带来统计它的带头位置与其左边＊之间单元的个数。如果动作是向下的，M1就向右边＊移动，如果动作是向上的，M1就向左边＊移动，最后，使用第二带上的计数，将带头记号置于新段（两个＊之间的区域）的相应位置上。 现在考虑M1的带头移出被M1表示好的矩形的情况。如果动作是垂直方向的，那么增加一个新的空白符号行到左边或右边，并用第二带来统计原来段的当前长度。如果动作是水平方向，M1就运用“移动”技术，适当地在每个段的左端或右端加一个空白符。注意，双＊标志着包含各段的整个区域的两端，故M1能够知道它何时已经加长了所有的段，腾出空间来作动作后，M1就可以如上述那样来模拟M1的动作。 7.3.5多头图灵机 一个k头图灵机有k（某个固定数目）个带头。带头从1到k编号，TM的一个动作依赖于状态和被每个带头所扫视的符号。在一个动作中，每个带头都可独立地左移、右移或保持不动。 定理7.3..5　如果L被某个k头TM　M1接受，那么它能被一个单头TM　M2接受。 证　这个证明类似于多带TM的定理7.3.2的证明。M2在其带上有k+1道，最后一道保存M1的带，第i道保存一个记号，用以指出第i个带头（1?i?k）的位置。我们把此证明的细节留作练习。 7.3.6离线图灵机 离线图灵机是具有一条只读输入带的多带图灵机，如图7.8所示。它有一条输入带和k条工作带，输入带的带头只读不写，工作带的带头和普通多带图灵机的带头一样。给定输入x，计算开始时把#x$存放在输入带上，其中#和$是两个特殊的带符号，分别表示输入带的左端和右端。当输入带的带头扫描#时只能右移，扫描$时只能左移，使得带头不会移出输入带。由于输入带的带头只读不写，输入带的内容#x$在计算机中保持不变。 有限控制器 图7.8 基本图灵机 … a1 … … a2 … … a3