chapter9-图灵机答题.pptVIP

第九章、图灵机 首先考虑第三个带子上表示的数据。N的每个格局确定一个集合，它是由此格局可能转移到的下一个格局组成，这些下一个格局是由N的转移函数指定的。N的非确定性计算中的每个结点最多有b个子结点，其中：b是上述集合中最大的集合所含的元素个数。对树的每个结点，可以给其分配一个地址，它是字母表 ?b={1，2，…，b}上的一个串。 例如，把地址231分配给按以下方式到达的结点：从根出发走到它的第二个子结点，再由此走到第三个子结点，最后由此走到第一个子结点。此串中的数字告诉我们：在模拟N的非确定计算的一个分支时下一步应做什么。如果一个格局所能有的选择太少，则一个符号可能不对应任何选择。此种倩况下，地址将无效，不对应任何结点。第三个带子上包含?b上的一个串，它代表N的计算树中如下分支：起点是根，终点是此串表示的地址所对应的结点，除非这个地址是无效的。空串是树根的地址。 第九章、图灵机 D的描述如下： （1）、开始时，第一个带子包含输入w，第二和第三个带子都是空的。 （2）、把第一个带子复制到第二个带子上。 （3）、用第二个带子去模拟N在输入w上的非确定性计算的某个分支。在N的每一步动作之前，查询第三个带子上的下一个数字，以决定在N的转移函数所允许的选择中作何选择。如果第三个带子上没有符号剩下，或这个非确定性的选择是无效的，则放弃这个分支，转到第4步。如果遇到拒