形式語言與自動機之語言識別機器——下推自動機

下推自動機的物理模型 下推自動機(pushdown automaton，PDA) M= (Q，∑，Γ，δ，q0，Z0，F) Q——狀態的非空有窮集合。"q∈Q，q稱爲M的一個狀態(state)； ∑——輸入字母表(input alphabet)。要求M的輸入字符串都是∑上的字符串； Γ——棧符號表(stack alphabet)。"A∈Γ，叫做一個棧符號； Z0——Z0∈Γ叫做開始符號(start

>>阅读原文<<