?/p>
1
页,?/p>
8
?/p>
上下文无关文?/p>
形式语言理论中一种重要的变换文法,用来描述上下文无关语言,在乔姆斯基分层?/p>
称为
2
型文法?/p>
由于程序设计语言的语法基本上都是上下文无关文法,
因此应用十分广泛?/p>
简?/p>

上下文无关文法(
Context-Free Grammar, CFG
?/p>
在计算机科学中,若一?/p>
形式文法
G = (N, Σ, P
, S)
的产生式规则都取如下的形式:
V
-> w
,则称之为上下文无关的,其中
V∈N
,w?N∪?*
。上下文无关文法取名为“上
下文无关”的原因就是因为字符
V
总可以被字串
w
自由替换,而无需考虑字符
V
出现
的上下文。一个形式语言是上下文无关的,如果它是由上下文无关文法生成的﹙条目上下
文无关语言﹚?/p>