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