根据乔姆斯基于20世纪50年代建立的形式语言的理论体系,语言的文法被分为4种类型,即0型(短语文法),1型(上下文有关文法)、2型(上下文无关文法)和3型(正规文法)。其中,2型文法与 (28) 等价,所以有足够的能力描述多数现今程序设计的语言的句法结构。一个非确定的有限自动机必存在一个与之等价 (29) 。从文法描述语言的能力来说, (30) 最强, (31) 最弱,由4类文法的定义可知: (32) 必是2型文法。
A.1型文法 B.2型文法 C.3型文法 D.0型文法
单项选择题19()
A.6 B.7 C.8 D.9
单项选择题44()
A.提供严格定义的文档 B.加快需求的确定 C.简化项目管 D.加强用户参与和决策
单项选择题对n个元素进行快速排序时,最坏情况下的时间复杂度为()。
A.O(1og2n) B.O(n) C.O(nlog2n) D.O(n2)
单项选择题41()
A.O(n<sup>2</sup>),O(1) B.O(n),O(1) C.O(n<sup>2</sup>-1),O(n) D.O(n-1),O(n-1)
单项选择题36()
A.编绎系统 B.解释系统 C.文件系统 D.数据库管理系统