有限自动机理论06章图灵机-简化答案.ppt

使用TM实现正整数的乘法运算 TM的输入带上存放串0m10n， 处理后，使得带上的串变为0m*n形式 处理该问题的一般的方法为： 当从1的左边消去一个0后，在0n的后面增加n个0(补1作为分隔标记)； 当1左边的所有的0（共有m个）消完后，再消去多余的符号（两个1和原来的0n），就得到了0m*n形式。 在0n后面添加n个0的过程是重复的， 可以使用子程序技术。 在某个时刻，TM输入带上的符号为： Bh0m-h10n10h*n 已经完成(1+1+1+…+1)*n h个 ＴM的状态函数分为3部分： 1)初始化： 将第一个0变为B，并在最后一个0后面设置标记为1 该标记表明了增加0的开始位置 使得增加的0在第二个1的后面；并将读/写头移动到n个0中的第一个处。 则格局变换为： q00m10n=* B0m-11sub_start0n1 此时，只是消去了第一个0 设置标记1； 但还没有在后面增加0 即将扫描0n的第一个0 2)主控程序： 初始化后，状态变为sub_start。 sub_start是子程序图灵机的开始状态， 调用子程序，将n个0增加到第二个1的后面。 当退出子程序时，状态为sub_end sub_end就是子程序图灵机的结束状态 然后将读/写头移动到前面m个0中剩余0左边第一个0处 并将这个0改为B，准备进入下次循环 对应的格局转换为： Bhq00m-h10n10(h-1)×n =*Bh0m-h1sub_start0n10(h-1)×n … 进入子程序 复制n个0 Bh0m-h1sub_end0n10h×n =*Bh+1q00m-h-110n10h×n 当找不到前面m个0中剩余的0时，表示乘法计算工作已经结束，需要消去多余的符号（两个1和原来的0n）， 得到最后的结果串。对应的格局转换 Bmdelete_110n10m×n =*Bm+n+1+1end0m×n 其中，状态end是接收状态 3)子程序： 将n个0增加到原来0n的后面。 子程序TM从它的开始状态sub_start启动， 进入接收状态sub_end时完成一次工作，并返回到主控程序。 进入图灵机子程序时，输入带上符号串的形式情况及读/写头位置为： Bh0m-h1000…010(h-1)×n ? sub_start 读/写头指向0n的第一个0 子程序对应的格局转换为： Bh0m-h1sub_start0n10(h-1)×n =*Bh0m-h1sub_end0n10h × n 整个图灵机的格局转换情况： 初始化： q00m10n=* B0m-11sub_start0n1 主程序和子程序： Bhq00m-h10n10(h-1)×n=* Bh0m-h1sub_start0n10(h-1)×n =* Bh0m-h1sub_end0n10h×n =* Bh+1q00m-h-110n10h×n … Bmdelete_110n10m×n =*Bm+n+1+1end0 m×n 主程序消除多余符号 初始化(不止执行一次)： q0，0，seek_1，B，R seek_1，0，seek_1，0，R seek_1，1，seek_B_or_1，1，R seek_B_or_1，0，seek_B_or_1，0，R seek_B_or_1，B，ready_sub，1，L 在最后增加标记1 seek_B_or_1，1，ready_sub，1，L 控制在串的最后只能放一个1 ready_sub，0，ready_sub，0，L ready_sub ，1，sub_start，1，R 此时，将扫描原来0n的第一个0 子程序： sub_start，0，seek_B，2，R 将0标记为2，以方便复制0n seek_B，0，seek_B，0，R 向右找B seek_B，1， seek_B ，1，R 遇到标记‘1’（第二个1） seek_B，B，seek_2，0，L 复制0 向左寻找0n中剩余的0（寻找标记’2’） seek_2，0，seek_2，0，L seek_2，1，seek_2，1，