37、用于 $a^nb^nc^n$ 的图灵机

用于 $a^nb^nc^n$ 的图灵机

1. 图灵机的工作过程与示例

图灵机在处理输入时，会非确定性地决定替换最后一个 a 。以下是其工作流程：
1. 替换最后一个 a ：机器跳过右侧的 x （在示例中仅一个），替换 a 后进入新状态。

.
LM
x
x
x
b
x
c
i = 3

2. 替换 b ：继续跳过 x 找到并替换剩余的 b 。

.
LM
x
x
x
x
x
c
i = 5

3. 替换 c ：再次跳过 x 找到并替换剩余的 c 。

.
LM
x
x
x
x
x
x
i = 7

4. 检查是否接受 ：将磁头向右移动，读取空白则接受。