摘要：
在计算机科学中，若一个形式文法 G = (N, Σ, P, S) 的产生式规则都取如下的形式：V -> w，则称之为上下文无关的，其中 V∈N ，w∈(N∪Σ)* 。上下文无关文法取名为“上下文无关”的原因就是因为字符 V 总可以被字串 w 自由替换，而无需考虑字符 V 出现的上下文。如果一个形式语言是由上下文无关文法生成的﹙条目上下文无关语言﹚，那么这个语言就是上下文无关的，。 阅读全文
摘要：
为了将某个串的推导表示得更为清楚，我们需要表示出终结符串的结构，这通常是被表示为树结构。 阅读全文
