图灵机是艾伦·图灵于 1936 年提出的抽象计算模型，其更抽象的定义为数学逻辑机，可看作等价于任何有限逻辑数学过程的逻辑机器。
图灵的基本思想是用机器模拟人们用纸、笔进行数学运算的过程，并将这种过程看做以下两种动作：
图灵机和计算理论是 AI 领域，甚至是整个计算机科学类领域的理论基础，目前大多数可计算过程均可由图灵机模拟。