图灵机的模型：
输入集合、输出集合、内部状态、固定的程序指令
又称确定型图灵机，是英国数学家艾伦·图灵于1936年提出的一种将人的计算行为抽象掉的数学逻辑机，其更抽象的意义为一种计算模型，可以看作等价于任何有限逻辑数学过程的终极强大逻辑机器。
以下模型无一例外地都和图灵机的计算能力等价
AI辅助
参考资料：
- https://www.jianshu.com/p/c07d83c4f3a1
- https://zh.wikipedia.org/wiki/%E5%9B%BE%E7%81%B5%E6%9C%BA