第二章程序算法与图灵机模型.pptVIP

第2章 程序算法与图灵机模型;2.1 算法;算法的特点：;一些经典的算法;1365和3654 两数的最大公约数？ 步骤： 3654÷1365 给出余数924 　　1365÷924 给出余数441 　　924÷441 给出余数42 　　441÷42 给出余数21 　　42÷21 给出余数0。 因此，用于做除数的21即是所需要的最大公 约数。;欧几里德算法逻辑运算的流程图 ;图灵“机” 是一段“抽象数学”，是一种抽象计算模型（通用计算模型）而不是一个物理对象。 用来精确定义可计算函数——部分可计算函数与可计算函数 。 其目的是为了解决称为判决问题的一个范围广阔的问题。 通过研究图灵机，来研究递归可枚举集（recursively enumerable）和部分递归函数（partial recursive function） 对算法和可计算性进行研究提供形式化描述工具。;图灵机缘起;;2.2.1图灵机概念;;;图灵机的直观描述;希尔伯特演讲(数学的哲学);希尔伯特第十问题（1）;判定丢番图方程的可解性 给定一个系数均为有理整数，包含任意个未知数的丢番图方程：设计一个过程，通过有限次的计算，能够判定该方程在有理数整数上是否可解。 如果某个问题包含无限种情况，则称为大量问题 （判定 n 是否为素数这一问题就是大量问题 ，需要对 n 值的无限集中的每个值进行判定 ）;另外一种不可解的 “ 大量问题 ” 在形式化理论上称为所谓的判定问题 。即此问题包含个数无限的个体问题，每个都要求明确的回答：是或否。 判定性问题的本质是要求寻找一个方法，使它对于所有的个体子问题都有明确的答案。;自丢番图提出著名的 “ 丢番图方程 ” 之后，很多通过数论方法得以解决，还有很多被证明是不可解的。但是由于解决不同种类的方程和不同的个体方程，需要发明不同的，具体的方法。在第十问题中，希尔伯特要求一种通用方法来判定所有丢番图方程的可解性。 1936 年，图灵（研究的课题是什么样的运算可以用机器来实现 ）波斯特和丘奇提出了第一个关于算法的形式化概念。显而易见，同时他们发现首个不可解的大量问题 1950 年，马丁 · 戴维斯 在他的博士论文中向证明希尔伯特第十问题具有否定答案，即丢番图方程的不可解迈出了第一步。 该问题在1970年被俄国数学家马蒂亚塞维奇解决了。 ;“ 想法如下：一般计算科学表示信息的工具使用单词而非数字。然而，使用数字来表示单词的方法有多种。其中有一种很自然地与丢番图方程关联。即不难证明任何 2 ×2 矩阵 其中 mij 为非负整数，并且行列式值为 1 ，可以唯一地表示为下面两种矩阵之积 ;可以证明任意个数的此类矩阵之积是一个矩阵，它的每个元素均为非负整数，并且它的行列式值为 1 。这意味着我们可以使用四元组 (m11 , m12 , m21 , m22 ) 唯一表示只含两个字母的字母表中的单词 ，如下： 显然数值 m11 , m12 , m21 , m22 满足丢番图方程 m 11 × m 22 - m 21 × m 12 = 1. ;;使用斐波纳契数来解决希尔伯特第十问题的。马蒂亚塞维奇写道： 下一步是考虑一类带有谓词的更广的单词方程。由于最终目标终始是希尔伯特第十问题，所以我仅考虑那些可以表示（或经过一定编码后可以表示）为丢番图方程的谓词。依照这一方法，我想到那些关于单词和长度的方程，可以通过使用著名斐波纳契数来简化。众所周知，任何自然均可唯一地表示为任意不同的和不连续的斐波纳契数之和。因此，我们可以把自然数看成为只有两个字符 {0 ， 1} 的字母表中的单词，其中有一限制就是字母表中的单词不能有两个相连的 1[ 注 ] 。我可以证明，按照此方法使用字数表示单词，那么单词的串接运算，以及单词间的长度关系式均可表示为丢番图方程 ” 。 ;任何自然数均表示为任意不同的不连续的斐波纳契数之和，例如 30 可以表示为 30=21 + 8 + 1=21x11 +13x10 +8x11 +5x10 +3x10 +2x10 +1x11 。因此数字 30 对应的单词是 “1010001” 。由于表达中不存在连续的斐波纳契数，故对应的单中不存在连续的两个 “1” 。 ;仪器具有有限（虽然也许非常大的）数目的不同可能态的分立集合，把这些分立的集合称作仪器的内态。 由于该仪器只有有限数目的不同的内态，不能指望它把所有外部数据和所有自己计算的结果“内化”。相反地，它必须只考察那些立即处理的数据部分或者早先的计算，然后进行需要对它们进行的任何运算。 正是输入、计算空间和输出的无限性质告诉我们，我们正在考虑的仅仅是一种数学的理想化，而不是在实际上可真正建造的某种东西。;;;我们用符号“0”来表示空白方格，用符号“1”来代表记号方