题目
●根据乔姆斯基于20世纪50年代建立的形式语言的理论体系,语言的文法被分为4种类型,即0型(短语文法),1型(上下有关文法)、2型(上下文无关文法)和3型(正规文法)。其中,2型文法与(28)等价,所以有足够的能力描述多数现今程序设计的语言的句法结构。一个非确定的有限自动机必存在一个与之等价(29)。从文法描述语言的能力来说,(30)最强,(31)最弱,由4类文法的定义可知:(32)必是2型文法。
(28)A.线性有限自动机
B.非确定的下推自动机
C.图灵机
D.有限自动机
(29)A.确定的有限自动机
B.图灵机
C.非确定的下推自动机
D.非确定的有限自动机
(30)A.1型文法
B.2型文法
C.3型文法
D.0型文法
(31)A.3型文法
B.2型文法
C.0型文法
D.1型文法
(32)A.1型文法
B.0型文法
C.3型文法
D.2型文法
相关标签: 自动机 图灵机
提示:未搜索到的试题可在搜索页快速提交,您可在会员中心"提交的题"快速查看答案。
答案
查看答案
搜题
相关试题
下图是一个有限自动机的状态转换图(A为初态,C为终态),该自动机识别的字符串集合可用正规式()来表示
- A.(1|2)*00
- B.(1|2)*0
- C.(0|1|2)*
- D.00(1|2)*