【CT】三、上下文无关文法,CFG,PDA 一、CFG V:字符集 Σ:终结符集 V-Σ:非终结符集 S:起始符 R:规则集合(V-Σ)x V* 推导derivation: 二、Parse Tree分析树 三、PDA pushdown automata 四、PDA & CFL 五、上下文无关语言和非上下文无关语言 在交和补运算下不是封闭的 泵定理: 六、上下文无关文法的算法 右边为两个字母