1.3 人工智能的计算原理
“计算”是人类的一个基本智能活动。
Turing 1936 年的 Turing 机，特别是通用 Turing 机给出了计算这一概念的数学定义和数学模型。
计算这一概念有很多属性。然而计算的根本属性是机械性，即计算的每一步动作都是机器可执行的。这就是计算这一概念的实质。 Turing 机模型揭示了计算概念的这一实质。
Turing 机执行的任何一个步骤都是：
（1）指向一个位置；
（2）改变一个符号；
（3）改变一个状态；
（4）左移一格或者右移一格。
因此，计算可以由机器来实现。一个 Turing 机就是一个机器的数学模型，它能实现一个计算任务。
通用 Turing 机就是一个机器的数学模型，它能实现任何一个计算任务。
Turing 的理论贡献是证明了任何一个计算都可以由一个机器，即通用 Turing 机来实现。
Turing 机模型还揭示了：