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