Update ab-turing-completeness.md

Author: Wizmann

content/Blog/ab-turing-completeness.md

@@ -82,9 +82,9 @@ A = B
 
   **解释：**
 
-    * 当读头左移时，必须知道左边的符号 $S_p$；
-    * 左邻符号 + 状态标记 + 当前符号，一起被替换成「新状态 + 左邻符号 + 新符号」；
-    * 这使得状态标记成功左移，同时完成写入操作。
+  * 当读头左移时，必须知道左边的符号 $S_p$；
+  * 左邻符号 + 状态标记 + 当前符号，一起被替换成「新状态 + 左邻符号 + 新符号」；
+  * 这使得状态标记成功左移，同时完成写入操作。
 
 * **无限带子的处理**
 为了模拟“无限长”的带子，需要在两端加哨兵符号 $h$，并加入特殊的延展规则，使得机器在靠近边界时可以“创造”新的空白格子，从而对应无限内存的假设。
@@ -123,35 +123,35 @@ $$
 
    **解释：**
 
-    * $L$：读头左边的带内容；
-    * $R$：读头当前位置以及右边的内容；
-    * $q_i$：当前状态，只出现一次；
-    * 两端的 $h$ 是哨兵，确保机器永远不会“掉出带子”。
+  * $L$：读头左边的带内容；
+  * $R$：读头当前位置以及右边的内容；
+  * $q_i$：当前状态，只出现一次；
+  * 两端的 $h$ 是哨兵，确保机器永远不会“掉出带子”。
 
 2. **生成规则**
    对每条转移 $\delta(q_i,S_k) = (q_j,S_l,\text{dir})$，生成对应的 A=B 规则：
 
-    * 右移：
-      $$
-      q_i S_k \to S_l q_j
-      $$
+  * 右移：
+    $$
+    q_i S_k \to S_l q_j
+    $$
 
-    * 左移（对所有 $S_p \in \Gamma$）：
-      $$
-      S_p q_i S_k \to q_j S_p S_l
-      $$
+  * 左移（对所有 $S_p \in \Gamma$）：
+    $$
+    S_p q_i S_k \to q_j S_p S_l
+    $$
 
    * 遇到带子右端（$S_0=\sqcup$）：
-      $$
-      h q_i S_k \to h q_j S_0 S_l
-      $$
+    $$
+    h q_i S_k \to h q_j S_0 S_l
+    $$
 
    如果进入停机状态 $q_{\text{halt}}$，没有进一步规则匹配，程序就自然停机。即使没有 `(return)`，停机时当前字符串就是输出。
 
 3. **正确性**
-    * **唯一匹配位置**：每个串里只有一个 $q_i$，所以只有一个规则能触发；这与 A=B 的“从左到右、按顺序找”完全兼容。
-    * **一步对应**：每条替换规则严格模拟图灵机的一步（写入、移动、更新状态）。
-    * **停机**：进入 $q_{\text{halt}}$ 后没有规则匹配，A=B 程序停机。
+  * **唯一匹配位置**：每个串里只有一个 $q_i$，所以只有一个规则能触发；这与 A=B 的“从左到右、按顺序找”完全兼容。
+  * **一步对应**：每条替换规则严格模拟图灵机的一步（写入、移动、更新状态）。
+  * **停机**：进入 $q_{\text{halt}}$ 后没有规则匹配，A=B 程序停机。
 
 因此，A=B 可以模拟任意图灵机，所以它是**图灵完备的**。 $\square$