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

一、CFG









V：字符集

Σ：终结符集

V-Σ：非终结符集

S：起始符

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

推导derivation：













二、Parse Tree分析树

















三、PDA pushdown automata

























四、PDA & CFL









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









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





泵定理：













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













右边为两个字母