chapter 9-图灵机.pptVIP

第九章、图灵机 首先考虑第三个带子上表示的数据。N的每个格局确定一个集合，它是由此格局可能转移到的下一个格局组成，这些下一个格局是由N的转移函数指定的。N的非确定性计算中的每个结点最多有b个子结点，其中：b是上述集合中最大的集合所含的元素个数。对树的每个结点，可以给其分配一个地址，它是字母表 ?b={1，2，…，b}上的一个串。 例如，把地址231分配给按以下方式到达的结点：从根出发走到它的第二个子结点，再由此走到第三个子结点，最后由此走到第一个子结点。此串中的数字告诉我们：在模拟N的非确定计算的一个分支时下一步应做什么。如果一个格局所能有的选择太少，则一个符号可能不对应任何选择。此种倩况下，地址将无效，不对应任何结点。第三个带子上包含?b上的一个串，它代表N的计算树中如下分支：起点是根，终点是此串表示的地址所对应的结点，除非这个地址是无效的。空串是树根的地址。 第九章、图灵机 D的描述如下： （1）、开始时，第一个带子包含输入w，第二和第三个带子都是空的。 （2）、把第一个带子复制到第二个带子上。 （3）、用第二个带子去模拟N在输入w上的非确定性计算的某个分支。在N的每一步动作之前，查询第三个带子上的下一个数字，以决定在N的转移函数所允许的选择中作何选择。如果第三个带子上没有符号剩下，或这个非确定性的选择是无效的，则放弃这个分支，转到第4步。如果遇到拒绝格局也转到第4步。如果遇到接受格局，则接受这个输入。 （4）、在第二个带子上，用字典顺序下的下一个串来替代原有的串。转到第2步，以模拟N的计算的下一个分支。 第九章、图灵机 推论2、一个语言是图灵可识别的，当且仅当存在非确定型图灵机识别它。 确定型图灵机自然是一个非确定型图灵机，此定理的一个方向由此立刻得证。另个方向可内定理3得证。 推论3、一个语言是可判定的，当且仅当存在非确定型图灵机判定它。 第九章、图灵机 4、枚举器 它是图灵机的一种变形。粗略地说，枚举器是带有打印机的图灵机，图灵机把打印机当作输出设备，从而可以打印串。每当图灵机想在打印序列中增加一个串时，就把此串送到打印机。 枚举器以空白输入带开始运行，如果不停机，它可能会打印出串的一个无限序列。枚举器 E 所枚举的语言是最终打印出的串的集合。而且 E 可能以任意顺序生成这个语言中的串，甚至还会有重复。 控制器 打印机 aa baba abba 0 1 0 0 □ … 工作带 第九章、图灵机 定理4、一个语言是图灵可识别的，当且仅当存在枚举器可枚举它。 首先证明，如果有枚举器 E 枚举语言 A，则有 TM M 识别 A。 TM M如下运行： M=“对于输入w： 1)运行E。每当E输出一个串时，将之与w比较。 2)如果w曾经在E的输出中出现过，则接受。” 显然，M接受在E的输出序列中出现过的那些串。 现在证明另一个方向。设s1， s2， s3，…是?*中的所有串。如果有TM M识别语言A，为A构造枚举器E如下： E＝“忽略输入。 1)对i＝1，2，3，…，重复下列步骤。 2)对s1， s2， s3，… ，si中的每一个，M以其作为输入运行i步 3)如果有计算接受，则打印出相应的sj 。” 如果M接受串s，它终将出现在E生成的打印列表中。 第九章、图灵机 总结：图灵机的作用和意义，本质特征是可以无限制的访问无限的存储器，这个完全区别于有穷自动机和下推自动机。同时，已经证明，所有的有此特点的模型在能力上是等价的。 丘奇—图灵论题 实际上是给出图灵机的形式化定义、构造方法 图灵机的变形有 多带图灵机、 非确定型图灵机、枚举器、通用图灵机。 第九章、图灵机 图灵大奖： 阿兰·麦席森·图灵，被誉为“计算机科学之父”和“人工智能之父”。 他是计算机逻辑的奠基者，提出了“图灵机”和“图灵测试”等重要概念。 美国计算机协会（ACM）设立的以其名命名的“图灵奖”是计算机界最负盛名和最崇高的一个奖项，有“计算机界的诺贝尔奖”之称。 1912年6月23日出生于英国伦敦。 1931年-1934年，图灵在剑桥大学的“国王学院”专攻数学。 第九章、图灵机 1932年-1935年，主要研究量子力学、概率论和逻辑学。 1935年，年仅23岁的图灵，被选为剑桥大学国王学院院士。 1936年他来到美国的普林斯顿大学攻读数学博士学位。 1936年，图灵向伦敦权威的数学杂志投了一篇论文，题为“论数字计算在决断难题中的应用”。 1939年，第二次世界大战爆发后，英国对德宣战，图灵随即应征入伍，正式到“政府编码与密码学院”服役。 19