形式語言與自動機 考前複習 CH6

下推自動機 下推自動機實質上是一種能控制一條輸入帶和一個棧的有窮自動機, 能夠看做帶有棧的 ε-NFA. 工做方式相似 ε-NFA, 有一個有窮控制器, 並可以以非肯定的方式進行狀態轉移, 並讀 入輸入字符; 增長的堆棧, 用來存儲無限的信息, 但只能之後進先出的方式使用.web 6.1.1 形式定義 定義. 下推自動機 (PDA, Pushdown Automata) P 爲七元組：P = (Q

>>阅读原文<<