2.1.1 图灵机（Turing Machine, TM）

文档摘要

2.1.1 图灵机（Turing Machine, TM） 2.1.1 图灵机（Turing Machine, TM）想象一下，你正站在一台原始却无比强大的机器前：一条无限延伸的纸带，上面刻满符号；一个读写头，能在符号间跳跃、擦除、重写；还有一个大脑般的控制器，根据当前看到的符号，决定下一步行动。这不是科幻小说里的情节，而是阿兰·图灵在1936年提出的图灵机（Turing Machine, TM），计算理论的基石。它不仅仅是抽象模型，更是可编程、可模拟的计算引擎，能精确诠释“什么是可计算的”。作为一名深耕计算模型十余年的工程师，我常常在设计算法模拟器时回归图灵机，因为它逼迫我们直面计算的核心：状态、符号与转移的精确编排。