大多数程序设计语言语法规则用（ ）描述即可。

Question

A.正规文法
B.上下文无关文法
C.上下文有关文法
D.短语结构文法

Answer 1

【答案】：B
形式语言理论中有一种重要变换文法，用来描述上下文无关语言，在乔姆斯基分层中称为2型文法。由于程序设计语言语法基本上都是上下文无关文法，因此应用十分广泛。上下文无关文法拥有足够强表达力来表示大多数程序设计语言语法。另一方面，上下文无关文法又足够简单，使得我们可以构造有效分析算法来检验一个给定字串是否是由某个上下文无关文法产生。