图灵机（英語：Turing machine），又称确定型图灵机，是英国数学家艾倫·图灵于1936年提出的一种將人的計算行為抽象化的数学逻辑机，其更抽象的意义为一种计算模型，可以看作等价于任何有限逻辑数学过程的终极强大逻辑机器。 展开

一台图灵机是一个七元有序组$${\displaystyle (Q,\Sigma ,\Gamma ,\delta ,q_{0},q_{accept},q_{reject})}$$，其中$${\displaystyle Q,\Sigma ,\Gamma }$$都是有限集合，且满足：
1. $${\displaystyle Q}$$是非空有穷状态集合； 展开

設$${\displaystyle M=(\{0,1,10,11\},\{0,1\},\{0,1,\square \},\delta ,0,,)}$$和 展开

除了图灵机以外，人们还发明了很多其它的计算模型。包括：
• 寄存器机
• 递归函数 展开

图灵的基本思想是用机器来模拟人们用纸笔进行数学运算的过程，他把这样的过程看作下列两种简单的动作：
• 在纸上写上或擦除某个符号；
• 把注意力从 … 展开

设$${\displaystyle M=(Q,\Sigma ,\Gamma ,\delta ,q_{0},q_{accept},q_{reject})}$$是一台图灵机，
1. $${\displaystyle M}$$的带描述（tape description）是一个函数$${\displaystyle F:\mathbb {N} \to \Gamma }$$，其中$${\displaystyle F(i)}$$ 展开

• 图灵可识别语言
• 图灵可判定语言
• 递归可枚举语言
• 可计算函数 展开