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