图灵机(英语:Turing machine),又称确定型图灵机,是英国数学家艾伦·图灵于1936年提出个一种奈人个计算行为抽象化个数学逻辑机。渠个更抽象个意义为一种计算模型,可以看作等价于任何有限逻辑数学过程个终极强大逻辑机器。