第1章 计算机系统导论11 概论11 1计算机系统的发展简史计算机已经历了50多年的发展。在这个过程中，最重要的代表人物是英国科学家艾兰图灵和美籍匈牙利科学家冯诺依曼。艾兰图灵对现代计算机发展的主要贡献是建立了图灵机的理论模型，发展了可计算性理论和提出了定义机器智能的图灵(AI)测试。1936年，图灵发表了名为论可计算的数及其在密码问题的应用的论文。该文首次提出逻辑机（logic Machine）的通用模型。人们把该模型称为图灵机（缩写 TM）。实践证明：TM不能解决的计算问题，实际计算机也不可能解决；只有TM能够解决的计算问题，实际计算机才有可能解决。但对还有些问题，TM可以计算而实际计算机还不能实现的。在这个基础上发展了可计算性理论图灵机的计算能力概括了数字计算机的计算能力。TM能识别的语言属于递归可枚举集合，它能计算的问题称为部分递归函数的整数函数。图灵机对数字计算机的一般结构、可实现性和局限性产生了意义深远的影响。直到今天，人们还在研究各种形式的图灵机。1950年10月，图灵发表了另一篇名为计算机器与智能的论文。指出：如果一台机器
