计算机专业导论.docx

计算机科学导论 —— 思想与方法 作业编号： 班级： 学号： 姓名： 指导教师 ： 1、图灵是如何揭示计算的本质的？并说明图灵机工作原理和功能 在哥德尔研究成果的影响下 ,20 世纪 30 年代后期图灵 A.M.Turing 从计算一个数的一般过程入手对计算的本质进行了研究 ,从而实现了对计算本质的真正认识。 根据图灵的研究，直观地说所谓计算就是计算者人或机器对一条两端可无 限延长的纸带上的一串 0 和 1 执行指令，一步一步地改变纸带上的 0 或 1 经过 有限步骤，最后得到一个满足预先规定的符号串的变换过程。 图灵用形式化方 法成功地表述了计算这一过程的本质。 图灵的研究成果是哥德尔研究成果的进 一步深化，该成果不仅再次表明了某些数学问题是不能用任何机械过程来解决 的思想而且还深刻地揭示了计算所具有的能行过程的本质特征。 图灵机工作原理： 机器从给定带子的某起始点出发， 其动作完全由其初始状态及机内五元组来决定。 就某种意义而言， 一个机器其实就是它作用于纸带上的五元组集。一个机器计算的结果是从机器停止时带子上的信息得到的。 功能： 图灵的研究成果是可计算性 =图灵可计算性。 算法也称为能行方法或能行过程是对解题计算过程的精确描述。它由一组定义明确且能机械执行的规则语句指令等组 成。根据图灵的论点可以得到这样的结论：任一过程是能行的能够具体表现在一个算法中，当且仅当它能够被一台图灵机实现。 2、 习题 3.8 计算题：在图灵的带子机中， 设 b 表示空格 ,q 1 表示机器 的初始状态， q 4 表示机器的结束状态，如果带子上的输入信息是读入头对准最右边第一个为 1 的方格，状态为初始状态 q1。写出执行以下命令后的计算结果。 q 00L q 2 q 1 10L q 3 q 1 bbN q 4 q 00L q 2 q 2 10Lq 1 2 2 q 2bbNq4 q300L q 2 q 3 10L q 3 q 3bbNq4 解：计算过程如下： 初态 、 b b 1 1 1 0 0 1 0 1 b b b ↑ q 1 使用规则 第一步 q 1 00L q 2 、 b b 1 1 1 0 0 1 0 1 b b b 第二步 ↑q 2 q 1 10L q 3 、 b b 1 1 1 0 0 1 0 1 b b b 、 第三步 ↑q2 q 1 bbN q4 、 b b 1 1 1 0 0 1 0 1 b b b 、 第四步 ↑q 2 q 00L q 2 2 、 b b 1 1 1 0 0 1 0 1 b b b 、 第五步 ↑q 2 q 10Lq 2 2 、 b b 1 1 1 0 0 1 0 1 b b b 、 第六步 ↑q 2 q bbNq 2 4 、 b b 1 1 1 0 0 1 0 1 b b b 、 第七步 ↑q 2 q 00L q 2 3 、、 b b 1 1 1 0 0 1 0 1 b b b 、 第八步 ↑q2 q 310L q 3 、、 b b 1 1 1 0 0 1 0 1 b b b 、 ↑q2 q 3bbNq4 显然，最后的结果是