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

31（）

单项选择题45（）

A．熟练的开发人员
B．完整的生命周期
C．较长的开发时间
D．明确的需求定义

单项选择题38（）

A．数据库语言
B．过程化语言
C．宿主语言
D．数据库管理系统

单项选择题在软件生产的程序系统时代由于软件规模扩大和和软件复杂性提高等原因导致了（）。

A、软件危机 
B、软件工程 
C、程序设计革命 
D、结构化程序设计

单项选择题42（）

A．O(1)，O(1)
B．O(n)，O(1)
C．O(n²)，O(1)
D．O(n)，O(n)

单项选择题任何一个基于“比较”的内部排序的算法，若对6个元素进行排序，则在最坏情况下所需的比较次数至少为（）。

A．10 
B．11 
C．21 
D．36