NOIP 提高组初赛 · NOIP 2009 提高组初赛试题 第 1 题

关于图灵机下面的说法哪个是正确的：

拿到这题先别被图灵的二战光环带偏，核心要分清“理论模型”和“实体机器”的界限。命题人就是爱拿真实历史事件（破译密码）来混淆视听，考的是你对计算本质的理解——图灵机是思想实验，不是真能跑的程序，更不是第一台电子计算机。

最容易掉进D选项的坑，觉得图灵在二战破译密码所以图灵机肯定有用武之地，其实Bombe机才是实战用的，图灵机是1936年纯理论提出的。其次是A选项，很多人把ENIAC或ABC当成图灵机，其实那是后来的电子计算机，图灵机连硬件都没有。B选项也容易被误导，觉得磁带操作慢就是图灵机慢，忽略了它只是概念上的无限存储，根本不存在运行速度一说。

考点与概念

这道题考查的是图灵机的本质属性以及计算机发展史中理论模型与实体机器的区别。图灵机（Turing Machine）是英国数学家艾伦·图灵在1936年发表的论文《论可计算数及其在判定问题上的应用》中提出的抽象计算模型。它不是一个实际的物理机器，而是一个思想实验工具，用于精确定义“可计算性”的概念。

命题视角：为什么考这个？

命题人特别喜欢用“真实历史事件”来包装理论概念，制造干扰项。图灵在二战中确实为破译德军Enigma密码做出了巨大贡献（设计了Bombe机），但这与“图灵机”这个理论模型无关。考生如果只记了“图灵=二战密码”，很容易误选D。同样，世界上最早的电子计算机是ENIAC（1946年）或ABC（1942年），图灵机作为数学模型，根本不具备电子硬件，所以A也是典型的混淆项。