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

28（）

单项选择题5（）

A．结束地址
B．设备类型
C．数据长度
D．数据速率

单项选择题17（）

A．最近最久未使用置换算法
B．最佳置换算法
C．最少使用置换算法
D．先进先出置换算法

单项选择题22（）

A．原型项目
B．概念项目
C．改进项目
D．风险项目

单项选择题以下序列中不符合堆定义的是（）。

A．（102，87，100，79，82，62，84，42，22，12，68） 
B．（102，100，87，84，82，79，68，62，42，22，12） 
C．（12，22，42，62，68，79，82，84，87，100，102） 
D．（102，87，42，79，82，62，68，100，84，12，22）

单项选择题关键路径是指AOE（Activity On Edge）网中（）。

A.最长的回路B.最短的回路 
C.从源点到汇点（结束顶点）的最长路径 
D.从源点到汇点（结束顶点）的最短路径