【CT】三、上下文无关文法，CFG，PDA

一、CFG

V：字符集

Σ：终结符集

V-Σ：非终结符集

S：起始符

R：规则集合（V-Σ）x V*

推导derivation：

 

二、Parse Tree分析树

 

三、PDA pushdown automata

 

四、PDA & CFL

 

五、上下文无关语言和非上下文无关语言

在交和补运算下不是封闭的

泵定理：

六、上下文无关文法的算法

右边为两个字母