这个是在语法分析阶段学习到的概念。
若一个形式文法G = (N, Σ, P, S) 的产生式规则都取如下的形式：V->w，则谓之。其中 V∈N ，w∈(N∪Σ)* 。
上下文无关文法取名为“上下文无关”的原因就是因为字符 V 总可以被字串 w 自由替换，而无需考虑字符 V 出现的上下文。
上下文无关文法重要的原因是：一方面他有足够强的语言表达力来表示大多数程序设计语言的语法；另一方面，足够简单。