题目内容：
根据下列题干，回答题：根据乔姆斯基于20世纪50年代建立的形式语言的理论体系，语言的文法被分为4种类型，即0型（ 短语文法 ），1型（ 上下有关文法 ）、2型（ 上下文无关文法 ）和3型（ 正规文法 ）。其中，2型文法与 （ 28 ） 等价，所以有足够的能力描述多数现今程序设计的语言的句法结构。一个非确定的有限自动机必存在一个与之等价 （ 29 ） 。从文法描述语言的能力来说， （ 30 ） 最强， （ 31 ） 最弱，由4类文法的定义可知： （ 32 ） 必是2型文法。
请选择（ 28 ）处最佳答案
参考答案：
答案解析：