key point:
1.图灵机的组成要点
2.减而治之和分而治之
一、
以下哪项不是图灵机的组成要件?
有限长的纸带
作为一个理想计算模型,图灵机的纸带是两端无线延伸的无限长纸带。
图灵机的组成要件:
1.一条无限长的纸带TAPE。纸带被划分为一个接一个的小格子,每个格子上包含一个来自有限字母表的符号,字母表中有一个特殊的符号 表示空白。纸带上的格子从左到右依此被编号为 0,1,2,… ,纸带的右端可以无限伸展。2.一个读写头 HEAD。该读写头可以在纸带上左右移动,它能读出当前所指的格子上的符号,并能改变当前格子上的符号。
3.一套控制规则 TABLE。它根据当前机器所处的状态以及当前读写头所指的格子上的符号来确定读写头下一步的动作,并改变状态寄存器的值,令机器进入一个新的状态。
4.一个状态寄存器。它用来保存图灵机当前所处的状态。图灵机的所有可能状态的数目是有限的,并且有一个特殊的状态,称为停机状态。
二、
三、
A同学是正确的。
B同学认为“函数中调用sum(A,n-1)时,sum(A,n)仍在执行”,实际上这个想法是错误的。当sum(A,n)调用sum(A,n-1)时,sum(A,n)函数中的数据以“函数帧”的形式被压入一个栈中,并没有处于执行状态。关于递归的底层原理,同学们不妨自行搜索相关资料,以进行深入理解。
四、
答案选D。我的答案是C
五、
减而治之
求解一个大规模的问题,可以将其划分为两个子问题,其一是平凡问题,另一个规模缩减。由子问题的解,得到原问题的解。
分而治之求解一个大规模的问题,可以将其划分为多个(通常情况下为两个)子问题,两个问题的规模大体相同。由子问题的解,得到原问题的解。
分而治之相较于减而治之更为简便。