计算机专业导论.docxVIP

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