文章目錄

• 一、 下推自動機
• 二、下推自動機 計算過程
• 三、下推自動機 計算結果
• 四、下推自動機 計算示例

一、 下推自動機

---

1 . 下推自動機 由來 : 下推自動機 ( PDA ) 是在 確定性有限自動機 ( DFA ) 基礎上 擴展而來的 ;

2 . 下面是 下推自動機 ( PDA ) 的示意圖 :

① 輸入字符串 : 將輸入的字符寫在右側的帶子上 ;

② 開始狀態 : 讀取指針 ( 讀頭 ) 開始指向最左端字符 , 此時處于開始狀態 ;

③ 啟動自動機 , 自動機根據讀取的指令進行計算 ;

④ 讀取指令 : 每讀取一個字符 , 自動機跳轉到一個新的狀態 , 指針向后移動一個格子 ;

⑤ 自動機停止 : 當讀取指針指向輸入的最右端 , 此時自動機就停止了 , 此時查看當前狀態 , 如果當前是接受狀態 , 稱自動機接受該字符串 ( 帶子上寫的字符組成的字符串 ) , 反之 , 自動機不接受該字符串 ;

二、下推自動機 計算過程

---

1 . 下推自動機 ( PDA ) 提升了自動機計算能力 : 在上述自動機的基礎上 , 提升該自動機的計算能力 , 引入一個新的棧結構 ;

棧特點 : ① 后進先出 , ② 存儲能力無限 ;

2 . 下推自動機計算有兩個部分 , 一個是字符的讀取 , 一個是棧內字符的存取 , 棧內只有最上面的字符會被替換 ;

3 . 下推自動機 ( PDA ) 的指令格式 : 該指令包含了 上述講的兩個操作 ;

$$1,0\to \epsilon$$

① 自動機字符讀取 : 左側的 $1$ 是從帶子上讀取的字符 ;

② 棧內字符存取操作 : $0\to \epsilon$ 是需要在棧上進行的操作 , 將棧頂的 $0$ 取出 , 然后將 $\epsilon$ 放入到棧中 , 相當于在棧中 , 使用 $\epsilon$ 將棧頂的 $0$ 替換掉 ;

三、下推自動機 計算結果

---

1 . 下推自動機 ( PDA ) 是否接受字符串 : 將帶子上的字符全部讀取完畢后 , 此時的狀態如果是 接受狀態 , 那么帶子上的字符組成的字符串就可以被 下推自動機接受 ;

2 . 計算能力 : 下推自動機 ( PDA ) 比 確定性有限自動機 ( DFA ) 多了棧上的操作 , 下推自動機 ( PDA ) 的計算能力比有限自動機 ( DFA ) 計算能力高 ;

3 . 語言識別能力 : 確定性有限自動機 ( DFA ) 是不能識別 $\{0^n{1}^n:n\ge 0\}$ 語言的 , 但是 下推自動機 ( PDA ) 是可以認識該語言的 ;

四、下推自動機 計算示例

---

上圖的下推自動機有 $4$ 個狀態 $q_1,q_2,q_3,q_4$ ;

讀取 $0011$ 字符串 , 并給出 下推自動機 計算過程 ;

$\epsilon ,\epsilon \to S$ 指令含義 : 當讀取 $\epsilon$ 字符后 , $\epsilon \to S$ 指的是在棧上的操作 , 從棧內取出 $\epsilon$ 字符 , 向棧內放入一個 $S$ 字符 , 本質是在棧中使用 $S$ 替換 $\epsilon$ 字符 ;

1 . 開始狀態 是 $q_1$ , 此時讀頭指向 $0$ 位置 , 棧內是空的 ;

2 . 開始狀態 $q_1$ : 讀取 $\epsilon ,\epsilon \to S$ 指令 , 讀取 $\epsilon$ 字符后 , $\epsilon \to S$ 指的是在棧上的操作 , 從棧內拿走 $\epsilon$ , $\epsilon$ 是空字符 , 相當于不用拿 , 并將 $S$ 字符放入棧 , 相當于使用 $S$ 替換 棧內 空字符 $\epsilon$ ,

$S$ 字符的作用 : 下推自動機是無法識別棧底的 , $S$ 作用是輔助下推自動機識別棧底元素 , 當下推自動機讀取到 $S$ 時 , 就知道已經讀取到棧底了 ;

開始狀態 讀取字符 操作 $\epsilon ,\epsilon \to S$ , 最終向棧中放入了字符 $S$ ;

狀態跳轉 : 此時 自動機狀態 跳轉到了 $q_2$ 狀態 ;

3 . $q_2$ 狀態 : 讀取 $0,\epsilon \to 0$ 指令 , 讀取到一個 $0$ , 從棧內拿走 $\epsilon$ , 使用 $0$ 替換 $\epsilon$ , 并將該替換后的 $0$ 放入棧中 ; 相當于在棧中 , 使用 $0$ 替換 $\epsilon$ ; 之后依然保持 $q_2$ 狀態不變 ;

狀態跳轉 : 下推自動機狀態 仍保持 $q_2$ 狀態 ;

4 . $q_2$ 狀態 : 再次讀取 $0,\epsilon \to 0$ 指令 , 讀取到一個 $0$ , 從棧內拿走 $0$ 字符 , 使用 $0$ 替換 $\epsilon$ , 并將該替換后的 $0$ 放入棧中 ; 之后依然保持 $q_2$ 狀態不變 ;

狀態跳轉 : 下推自動機狀態 仍保持 $q_2$ 狀態 ;

5 . $q_2$ 狀態 , 讀取 $1,0\to \epsilon$ 指令 , 讀取到一個 $1$ , 從棧中拿走一個 $0$ , 并將 $\epsilon$ 放入棧中 , $\epsilon$ 是空字符串 , 從棧內拿取放入 $\epsilon$ 棧不變 , 相當于將一個 $0$ 從棧內拿出 ;

狀態跳轉 : 下推自動機狀態 從 $q_2$ 狀態跳轉到 $q_3$ 狀態 ;

6 . $q_3$ 狀態 : 讀取 $1,0\to \epsilon$ 指令 , 從棧中 , 拿走一個 $0$ , 將 $\epsilon$ 放入棧內 , 相當于在棧內使用 $\epsilon$ 空字符 替換 $0$ , 操作完成后 , 棧內少一個 $0$ ;

狀態跳轉 : 下推自動機狀態 仍保持 $q_3$ 狀態 ;

7 . $q_3$ 狀態 , 讀頭讀取到了最右端 , 所有字符都讀取完畢 , 此時不需要讀取任何字符 , 讀取 $\epsilon ,S\to \epsilon$ 指令 , 從棧內拿走 $S$ , 將 $\epsilon$ 放入棧中 , 跳轉到 $q_4$ 狀態 ;

此時 , 棧清空 , 下推自動機停止計算 ;

$q_4$ 是個雙圈 , 接受狀態 , 說明該下推自動機接受該 $0011$ 字符串 ;

總結

以上是生活随笔為你收集整理的【计算理论】下推自动机 PDA 及 计算示例的全部內容，希望文章能夠幫你解決所遇到的問題。

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