🧩 二进制图灵机定义
基于标准七元组，适配二进制算术运算：
$$M = \langle \{q_0, \dots\}, \{0, 1\}, \{0, 1, +, B, x, y\}, \delta, q_0, B, F \rangle$$
$$\Sigma = \{0, 1\}$$
输入仅接受二进制数字 (0和1)
辅助符号 $$\{x, y\}$$
用于标记已处理的位 (x代表0, y代表1)
💡 运算原理 (Ripple Carry)：机器交替读取两个数字的最低位（右端）。 读取右数的一位后，将其擦除，并携带该值向左移动，加到左数对应的位置上，处理进位，然后返回。
⚙️ 当前状态面板
Current State
IDLE
Step
0
Read
-
BIN
ACTION LOG >
等待指令...
当前算术规则集
$$ q_0 \xrightarrow{0/1} R, \quad q_{add} \xrightarrow{Carry} L, \quad q_{return} \xrightarrow{Find \ Y} R $$