摘要：一、下推自动机(pushdown automata)下推自动机是一个带栈的自动机，用于信息暂存和比对。非确定型下推自动机由一个七元组定义：[例]针对语言 L={w∈{a,b}*:na(w)=nb(w)}构造一个npda。 在处理baab过程中，该npda执行的迁移如下：二、下推自动机与上下文无关语言(a)证明：对于任何的上下文无关语言L，存在一个npda M使得L=L(M)。npda可表示为：其转移函数包括：，目标是证明：若，则：假设文法化为格里巴范式，根据定义和上式得：设w=a1a2…an，则：，根据规则得：则存在使得：如此重复，设得到：这使得任一时刻栈的内容（z除外）与句型中没有匹配的部分 阅读全文