计算引论3计算模型2.pptVIP

计算引论 第二章 计算模型 2.4 图灵机 这个装置由下面几个部分组成：一个无限长的纸带，一个读写头（中间那个大盒子），内部状态（盒子上的方块，比如A, B, E, H），另外，还有一个程序对这个盒子进行控制。这个装置就是根据程序的命令以及它的内部状态进行磁带的读写、移动。 2.4 图灵机 当前内部状态s 输入数值i 输出动作o 下一时刻的内部状态s B 1 前移 C A 0 往纸带上写1 B C 0 后移 A … … … … 2.4 图灵机 2.4 图灵机 程序1： 2.4 图灵机 程序2： 2.4 图灵机 程序2 2.4 图灵机 程序3 2.4 图灵机 2.4 图灵机 2.4 图灵机 2.4 图灵机 组成： 1、线性带（读写介质） 2、基本符号表（表示信息） 3、信息处理状态 4、信息处理动作（静止，左、右移） 5、信息处理方法（规则，即程序） 2.4 图灵机 图灵机模型M如下表示： M＝(Q, ?, I, ?, B, q0, qf ) 其中： Q为状态的有限集合； ?为线性带符号集； I为输入符号集，有I为?的子集； ?为Q×?? Q×(?×{L, R})。?为映射，×为笛卡尔积。?可称为动作函数?(Q, ?)，其中，L、R分别表示读写头左移、右移； B为null(空白)，长度为0。有B?? ，但B?I； q0 ,qf ?Q分别称为初始状态和终止状态； 2.4 图灵机 例1：?(q, a) = (p, (b, L)) 说明：当前状态为q，读写头读取a，经过?动作后，图灵机状态改为p，线性带上a改变为b，同时读写头左移一格。 ? 例2： ?(q, a) = (p, (a, R)) 说明：当前状态为q，读写头读取a，经过δ动作后，图灵机状态改为p，线性带上a不改变，同时读写头右移一格。? 2.4 图灵机 例3：?(q, a) = (q, (B, L)) 说明：当前状态为q，读写头读取a，经过?动作后，图灵机状态不改变，仍为q，线性带上a被清空为null，同时读写头向左移动。 2.4 图灵机 ?格局 (xqy) 读头左边信息串用x表示， 右边用y表示。 初始格局：q0?； 终止格局：x qfy 格局转换：D1├D2 设D1=xqy，y的第一个符号是a， ?(q, a) = (p, (b, A))； D2=x’py’ 2.4 图灵机 设x=x1?c，y=a?y1，D1=xqy (1) 若A=L, 则D2= x’py’（左移） 其中x’=x去掉最后一个符号所得的串 x’=x1， y’=x最后一个符号+b+(y减去第一个符号)， 即y’=c?b?y1 (因为y中的第一个a被改写为b, ?(q, a) = (p, (b, A))) 2.4 图灵机 (2) 若A=R, 则D2=x’py’，其中x’=x?b，y’=y1 满足上述两种情况的D1和D2称为具有格局转换关系，记为D1┣D2。 2.4 图灵机 如果用 X1X2… Xi-1qXiXi+1…Xn 来表示格局，其中 1、q是图灵机的状态； 2、读写头正在扫描左起第i个符号； 3、 X1X2…Xn是带的最左边与最右边非空格之间的部分。 2.4 图灵机 那么假设 ?(q,Xi)=(p,(Y,L))， 即下一步移动是向左的，则： X1X2…Xi-1qXiXi+1…Xn┣X1X2…Xi-2pXi-1YXi+1…Xn 2.4 图灵机 1、如果i=1，则读写头移动到X1左边的空格 qX1X2…Xn┣pBYX2…Xn 2、如果i=n且Y=B，则在Xn上写下的符号B加入后面空格的无穷序列，并且不出现在下一个格局中 X1X2…Xn-1qXn┣X1X2…Xn-2pXn-1 2.4 图灵机 转换关系的闭包┣*表示多步转换，即如D┣*E，则存在D1…Dk，使得 D┣D1，D1┣D2，…，Dk┣E 定义：q0?┣*xqfy称为一个以?为输入，x?y为输出的计算，即一个计算是格局转换序列，是从初始格局到终止格局按照动作函数规定的规则进行的一系列转换。 2.4 图灵机 例：设计一台接受0与1出现次数相同且0先出现的串的Turing机。 基本思路是：读头将第一个