图灵机的模型：

输入集合、输出集合、内部状态、固定的程序指令

又称确定型图灵机，是英国数学家艾伦·图灵于1936年提出的一种将人的计算行为抽象掉的数学逻辑机，其更抽象的意义为一种计算模型，可以看作等价于任何有限逻辑数学过程的终极强大逻辑机器。

以下模型无一例外地都和图灵机的计算能力等价

• 寄存器机
• 递归函数
• λ演算
• 生命游戏
• 马尔可夫算法

参考资料：

1. https://www.jianshu.com/p/c07d83c4f3a1
2. https://zh.wikipedia.org/wiki/%E5%9B%BE%E7%81%B5%E6%9C%BA