图灵机是艾伦·图灵于 1936 年提出的抽象计算模型，其更抽象的定义为数学逻辑机，可看作等价于任何有限逻辑数学过程的逻辑机器。

图灵的基本思想是用机器模拟人们用纸、笔进行数学运算的过程，并将这种过程看做以下两种动作：

• 在纸上写或擦除某个符号；
• 将注意力从纸的一处转移到另一处。

图灵机和计算理论是 AI 领域，甚至是整个计算机科学类领域的理论基础，目前大多数可计算过程均可由图灵机模拟。