有限自动机理论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_en