如何定义上下文无关文法？

来源：百度知道编辑：UC知道时间：2024/06/16 04:45:44

Context-free grammar是什么？
怎样才叫上下文无关呢？

　　程序设计语言的语法基本上都是上下文无关文法，应用十分广泛。

　　在计算机科学中，若一个形式文法G = (N, Σ, P, S) 的产生式规则都取如下的形式：V -> w，则称之为上下文无关的，其中 V∈N ，w∈(N∪Σ)* 。

　　上下文无关文法取名为“上下文无关”的原因就是因为字符 V 总可以被字串 w 自由替换，而无需考虑字符 V 出现的上下文。一个形式语言是上下文无关的，如果它是由上下文无关文法生成的﹙条目上下文无关语言﹚。