形式语言与自动机之语言识别机器——下推自动机

下推自动机的物理模型 下推自动机(pushdown automaton，PDA) M= (Q，∑，Γ，δ，q0，Z0，F) Q——状态的非空有穷集合。"q∈Q，q称为M的一个状态(state)； ∑——输入字母表(input alphabet)。要求M的输入字符串都是∑上的字符串； Γ——栈符号表(stack alphabet)。"A∈Γ，叫做一个栈符号； Z0——Z0∈Γ叫做开始符号(start

>>阅读原文<<