根据乔姆斯基于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

单项选择题螺旋模型是一种将瀑布模型和（）结合起来的软件开发模型。

A、增量模型 
B、专家系统 
C、喷泉模型 
D、变换模型

单项选择题37（）

A．数据完整性
B．数据的可用性
C．数据的操作性
D．安全性

单项选择题30（）

A．1型文法
B．2型文法
C．3型文法
D．0型文法

单项选择题19（）

A．6
B．7
C．8
D．9

单项选择题44（）

A．提供严格定义的文档
B．加快需求的确定
C．简化项目管
D．加强用户参与和决策