参考答案

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