图灵机

图灵机（Turing machine）又称为确定型图灵机，是英国数学家艾伦·图灵于1936年提出的一种抽象计算模型，其更抽象的意义为一种数学逻辑机，等价于任何有限逻辑数学过程的强大逻辑机器。即将人们使用纸笔进行数学运算的过程进行抽象，由一个虚拟的机器替代人们进行数学运算^[1]。