图灵机（Turing Machine）
艾伦·图灵提出的理论计算模型，定义了"可计算"的概念，是现代计算机科学的理论基础。
📖 标准介绍
图灵机是英国数学家艾伦·图灵（Alan Turing）于1936年提出的抽象计算模型。它由一条无限长的纸带、一个读写头和一个状态寄存器组成。
核心组件：
- 纸带：无限长，分成格子，每个格子可以写符号
- 读写头：可以读取、写入、左移、右移
- 状态：机器当前的内部状态
- 转移规则：根据当前状态和读取的符号决定下一步
💬 通俗介绍
想象一个人拿着笔和橡皮，在一条无限长的纸带上工作。他按照一本规则手册，根据当前看到的符号和自己的"心情"（状态），决定写什么、往哪走、下一个"心情"是什么。这就是图灵机！
🎮 交互式图灵机模拟器
示例：二进制加1运算
当前状态: q0
转移规则表：
| 当前状态 | 读取符号 | 写入符号 | 移动方向 | 新状态 |
|---|---|---|---|---|
| q0 | 0 | 0 | 右 | q0 |
| q0 | 1 | 1 | 右 | q0 |
| q0 | _ | _ | 左 | q1 |
| q1 | 0 | 1 | - | HALT |
| q1 | 1 | 0 | 左 | q1 |
🧠 理论意义
定义了"可计算"的概念，证明了某些问题是不可计算的（停机问题）
💻 实践影响
现代计算机的理论基础，所有编程语言的计算能力都等价于图灵机
🎯 Church-Turing论题
任何可以被算法解决的问题都可以被图灵机解决