跳转到内容

图灵机

出自维基百科,自由个百科全书

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