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

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

1. 图灵机状态转换跟踪

通过 (sm-showtransitions anbncn (,LM ,BLANK a b c) 1)` 可以观察图灵机的状态转换，输出如下：

'((S 1 (@ _ a b c))
  (J 2 (@ _ a b c))
  (A 3 (@ _ a b c))
  (B 4 (@ _ a b c))
  (C 5 (@ _ a b c _))
  (D 4 (@ _ a b c _))
  (D 3 (@ _ a b c _))
  (D 2 (@ _ a b c _))
  (D 1 (@ _ a b c _))
  (E 2 (@ _ a b c _))
  (H 2 (@ _ x b c _))
  (H 3 (@ _ x b c _))
  (I 3 (@ _ x x c _))
  (I 4 (@ _ x x c _))
  (Y 4 (@ _ x x x _)))

这个跟踪信息能让我们观察磁头的移动以及对磁带所做的修改，不过它仅适用于能被接受的输入单词。

2. 状态不变谓词

为了更清晰地实现状态不变谓词，我们使用了一个辅助函数 front-symbs 来提取给定单词开头与给定符号匹配的子单词：

;; word symbol →word
;; Purpose: Return the subword at the front of the