文章目錄

• • • • I . 下推自動機 設計
      • II . 上下文無關語法 ( CFG ) 等價于 下推自動機 ( PDA )

I . 下推自動機 設計

---

設計下推自動機 , 可以識別 $\{w{w}^R:w\in \{0,1{\}}^{?}\}$ 語言 ;

$R$ 表示鏡面反射 , 如果 $w$ 是由 $0,1$ 組成的字符串 $011$ , 那么 $w^R$ 就是其鏡面反射 $100$ 字符串 , 然后將 $w$ 和 $w^R$ 串聯在一起 , $w{w}^R=011100$ ;

1 . 首先生成開始狀態 ;

開始狀態是接受狀態 , 因為如果字符串是空字符串 , 空字符串的鏡面反射還是空字符串 , 因此讀取空字符串后的狀態 , 是接受狀態 , 開始狀態其本身就是接受狀態 ;

2 . 向棧底放入 字符 $S$ , 用于作為棧底的標識 , 生成 $\epsilon ,\epsilon \to S$ 指令 ;

$\epsilon ,\epsilon \to S$ 指令包含 $2$ 部分 : 讀取字符 , 和 棧內操作 ;

• 讀取字符 : 指的是讀取的帶子上的字符串 , $\epsilon ,\epsilon \to S$ 中前面的 $\epsilon$ 指的是從帶子上讀取 $\epsilon$ ;

• 棧內操作 : 使用某個字符 替換 棧頂字符 ; $\epsilon ,\epsilon \to S$ 中后面的 $\epsilon \to S$ 指的是使用 $S$ 字符替換棧頂的空字符 $\epsilon$ ;

3 . 鏡面反射的前半個鏡面 :

$0$ 入棧 : 每讀取一個 $0$ , 就將 $0$ 放入棧中 , 生成指令 $0,\epsilon \to 0$ ;

$1$ 入棧 : 每讀取一個 $1$ , 就將 $1$ 放入棧中 , 生成指令 $1,\epsilon \to 1$ ;

4 . 跳轉到新的狀態 , 在新的狀態執行 后半個鏡面的操作 :

無條件跳轉就是讀取 $\epsilon$ , 并且棧中元素保持不變 , 即使用 $\epsilon$ 替換棧頂的 $\epsilon$ ;

生成的指令為

$$\epsilon ,\epsilon \to \epsilon$$

當前的下推自動機 :

5 . 鏡面反射的后半個鏡面 :

$0$ 出棧 : 每讀取一個 $0$ , 從棧里拿走一個 $0$ , 生成指令 $0,0\to \epsilon$ ;

$1$ 出棧 : 每讀取一個 $1$ , 從棧里拿走一個 $0$ , 生成指令 $1,1\to \epsilon$ ;

6 . 棧清空 , 跳轉到最后的 接受狀態 : 上述出棧操作執行若干次后, 總能將棧內的字符取出完畢 , 只剩下一個 $S$ 字符 , 該字符是棧底的標識 ; 此時將 $S$ 字符從棧內取出即可 ;

生成如下指令 :

$$\epsilon ,S\to \epsilon$$

指令含義是 讀取 $\epsilon$ 字符 , 使用 $\epsilon$ 字符替換棧中的 $S$ 字符 ;

最后跳轉到的狀態是接受狀態 ;

當前下推自動機為 :

II . 上下文無關語法 ( CFG ) 等價于 下推自動機 ( PDA )

---

假設某語言由 上下文無關語法 ( CFG ) 生成 , 找到一個 下推自動機 ( PDA ) 識別該語言 ;

構造下推自動機流程 ( PDA ) :

構造下推自動機 , 包含 $3$ 個狀態 , 開始狀態 $q_{start}$ , Loop 循環狀態 $q_{loop}$ , 可接受狀態 $q_{accept}$ ;

1 . $q_{start}$ 開始狀態 :

讀取 $\epsilon$ 字符 , 使用 $TS$ 替換棧頂的 $\epsilon$ , 對應的指令為

$$\epsilon ,\epsilon \to TS$$

其中的 $S$ 是棧頂的標識 , $T$ 是棧內的實際字符 ;

2 . $q_{loop}$ 循環階段 , 根據 上下文無關語法 ( CFG ) 做替換 ;

① 當棧頂是變元時 , 作變換 , 讀取 $\epsilon$ , 即什么都不讀取 , 將棧頂的變元 替換成 $w$ , 生成的 下推自動機 指令為 " $\epsilon ,A\to w$ " , 對應著的上下文無關語法規則為 $A\to w$ ;

② 當棧頂是終端字符 ( 常元 ) , 讓帶子上的 讀頭 讀取一個終端字符 , 對應的棧中 , 將棧頂的終端字符刪除 , 相當于使用 $\epsilon$ 替換終端字符 , 生成指令 " $a,a\to \epsilon$ " ;

一直讀取 終端字符 , 并將棧頂的終端字符刪除 , 一直循環該操作 , 直到 棧頂是一個變元 未為止 ;

3 . 跳轉到 $q_{accept}$ 狀態 : 當棧內的字符都出棧后 , 只剩下一個 $S$ 字符作為棧底標識 , 此時 $S$ 出棧 , 生成對應的 下推自動機指令 " $\epsilon ,S\to \epsilon$ " , 即使用空字符 $\epsilon$ 替換棧內的 $S$ 字符 ;

之后跳轉到最后一個狀態 , $q_{accept}$ 可接受狀態 ;

《新程序員》：云原生和全面數字化實踐50位技術專家共同創作，文字、視頻、音頻交互閱讀

總結

以上是生活随笔為你收集整理的【计算理论】下推自动机 PDA ( 设计下推自动机 | 上下文无关语法 CFG 等价于 下推自动机 PDA )的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。