计算理论基础章4.pptVIP

* 4.4.2 图灵机的迭代定理 使用通用图灵机转移函数的五元组的描述表示以上的动作： (q0,0,C,R,q1) (q1,0,0,R,q1)(q1,1,1,R,q1) (q1,B,B,R,q2)(q2,B,B,R,q3)……(qx+1,B,B,R,qx+2)(qx+3,B,0,L,p0) (p0,B,B,L,p0)(p0,0,B,R,[p1,0])(p0,1,B,R,[p1,1])(p0,C,C,R,p3) ([p1,0],B,B,R,[p1,0])([p1,0],0,0,L,[p2,0])([p1,0],1,1,L,[p2,0]) ([p1,1],B,B,R,[p1,1])([p1,1],0,0,L,[p2,1])([p1,1],1,1,L,[p2,1]) ([p2,0],B,0,L,p0)([p2,1],B,1,L,p0) (p3,B,1,R,p3)(p3,0,0,L,p4)(p3,1,1,L,p4) (p4,0,0,L,p4)(p4,1,1,L,p4)(p4,C,0,S,p5)B（B，R）x（x，L）B（B，R）x（x，L） * 4.4.2 图灵机的迭代定理 设计S(1)(z,x)的图灵机MS，其初始带模式为 0z0x0，它需要完成以下工作： 步1 将z转变为二进制数，取出其最大的状态编码和字母编码， 步2 在最大状态编码基础上，基于x动态生成x个状态，其它状态数目是固定的，用MS的状态控制就可以生成；字符编码只需生成C的编码。 步3 用新生成的状态编码及字母编码，生成上面的五元组的二进制表示，五元组间加0分隔； 步4 在生成的五元组的后面，加上z的二进制码，后面加“00”表示结束。这个编码是z0的二进制编码； 步5 将上面的z0的二进制编码转变为z0的一进制编码，至此MS的工作完成。 由此可见，函数S(1)(z,x1)是部分图灵可计算函数，且显然它是全函数，所以S(1)(z,x1)是图灵可计算函数。 * 4.4.2 图灵机的迭代定理 设n=k时成立，要证n=k+1时成立，有 Φ(m+k)(z,x1,x2,…,xk,y1,y2,…,ym)= Φ(m)( S(k)( z,x1,x2,…,xk),y1,y2,…,ym) 用n=1的结果有 Φ(m+k+1)(z,x1,x2,…,xk+1,y1,y2,…,ym)=Φ(m+k)( S(1)( z,x1),x2,…,xk+1,y1,y2,…,ym) =Φ(m)( S(k)( S(1)(z,x1) ,x2,…,xn),y1,y2,…,ym) 因为S(k)、 S(1) 都是图灵可计算函数，故若令 S(k+1)( z,x1,x2,…,xn)= S(k)( S(1)( z,x1) ,x2,…,xn) 则S(k+1)也是图灵可计算函数。 * 4.4.2 图灵机的枚举定理 定义4-9 计步谓词STP(n)定义如下： STP(n)(z,x1,x2,…,xn,M) 描述字为z的图灵机程序T对于输入x1,x2,…,xn在M步内停机。其中“一步”定义为完成图灵机T的状态转移函数的一个变换。 定理4-10[计步定理] 对任意n，谓词STP(n)(z,x1,x2,…,xn,M)是图灵可计算的。 [证明] * 4.4.3 图灵机的计算限界 对角化原理 设R是集合A上的二元关系， D={a|a∈A 且(a,a) ∈/R} 称为对角线集合。对于a ∈A, Ra={b|b ∈A且(a,b) ∈R} a∈A,有 D≠Ra * 4.4.3 图灵机的计算限界 * 4.4.3 图灵机的计算限界 1. 域函数和停机函数 * 4.4.3 图灵机的计算限界 * 4.4.3 图灵机的计算限界 * 4.4.3 图灵机的计算限界 * 4.4.3 图灵机的计算限界 定理4-11 对角线停机函数h不是图灵可计算的。 [证明] 定理4-12 空带停机函数h0不是图灵可计算的，其中 [证明] * 4.4.3 图灵机的计算限界 * 4.4.3 图灵机的计算限界 2. 完全性函数 * 4.5 习题 * 4.2.2 多带图灵机 定理4-2 如果一个语言L被一个多带图灵机接受，它就能被一个单带图灵机接受。 证明思想：用单带TM模拟n带TM运行。单带的第i格表示n带TM各带第i格的状态。 单带TM第i格中符号记为： ((ai1,bi1)(ai2,bi2) … (ain,bin)) 其中 （aik,bik)表示n带TM中第k带上第i格的情形 * 4.2.2 多带图灵机 其中 （aik,bik)表示n带TM中第k带上第i格的情形 aik表示n带TM中第k带上第i格的字母， bik表示n带TM中第k带上第i格的读头，0不是读头