这种一般性态度充分反映在信息论的发展中。申农曾定义了一个仅仅对通信和选择有用的系统，而与意义毫无关系，这一点一再被指出。人们后悔以“信息论”这个一般性名字为这一领域命名，而打算把它修改为“选择信息的理论”，当然没有成功。
图灵机和数字计算机 早期数字计算机的发展和自动装置理论的发展可以放在一起讨论，它们是以图灵本人30年代的研究为起点的。在何者是根本的这一点上，它们的观点是一致的。我们采用图灵本人的模型，因为它充分表明了有关特点。
图灵机由两种存储装置组成：无限长纸带和有限状态控制装置。纸带上有数据，即人所共知的)和1。该机器在纸带上有非常小的一组适当的操作—读、写和扫描操作。读的操作不是数据操作，而是为控制状态提供条件分支，而控制状态则表现为读头下数据的函数。正如我们都知道的那样，就计算机能做什么而言，上述模型包含了一切计算机的基本要素，虽然别的带有不同存储装置和运作装置的计算机也可能以不同的空间和时间条件完成同样的计算。特别要指出的是，图灵机模型内含两种观念：关于不能计算的东西的观念，以及关于通用机—即能做任何机器所能做到的任何事情的计算机—的观念。
30)年代，在现代计算机问世之前，我们已在两个方面对信息加工取得了深刻的认识，这的确是令人惊讶的。它对A·图灵的天才创造具有启迪作用，并对当时的数理逻辑发展作出了贡献，计算机科学也无疑深深受惠于它。与图灵的著作同时，还出现了逻辑学家E·波斯特和A·丘奇的(各自独立完成的)著作。他们从独立的逻辑系统观念(分别是波斯特生成和递归函数)开始，在不可判定性和通用性方面得出了类似的结果，这些结果不久即得到证明，原来这三个系统完全是等价的。的确，所有这些定义最一般的信息加工系统类别的尝试取得了一致的结论，这种情况具有某种说服力，使我们确信：我们已在这些模型中获得了信息加工的基本要素。
5 作为经验探索的计算机科学：符号和搜索
121