上下文无关文法及其分析树

上下文无关文法是程序设计语言所使用的语法。它的特点是同样的字符串在不同的语境下，意思不变。满足上下文无关文法的语言便于计算机识别和处理。我们已经介绍过，语言是语句的集合，而语句是通过产生式定义的。上下文无关文法要求产生式的左部有且仅有一个非终结符。

例如：考虑如下文法G，其非终结符集合为{L, D}，终结符集合为{0,1,2,…,9,+,-}，开始符号为L，产生式集合为

$$L \rightarrow L + D | L - D | D$$
$$D \rightarrow 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9$$

上面两个产生式中”|”表示“或”运算。产生式 L→L+D|