图灵机

出自维基百科,自由个百科全书
跳到导航 跳到搜索

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