问题
单项选择题
对于大多数通用程序设计语言,用()描述其语法即可。
A.正规文法
B.上下文无关文法
C.上下文有关文法
D.短语结构文法
答案
参考答案:B
解析:本题考查程序语言的基础知识。乔姆斯基(Chomsky)把文法分成四种类型,即0型、1型、2型和3型。0型文法也称为短语文法,其能力相当于图灵机,任何0型语言都是递归可枚举的;反之,递归可枚举集也必定是一个0型语言。1型文法也称为上下文有关文法,这种文法意味着对非终结符的替换必须考虑上下文。2型文法就是上下文无关文法.非终结符的替换无需考虑上下文。3型文法等价于正规式,因此也被称为正规文法或线性文法。'通用程序设计语言的大多数语法可由上下文无关文法表示。