网友您好， 请在下方输入框内输入要搜索的题目：
题目内容
（请给出正确答案）
任何一个非确定的有限自动机，都可通过有效算法把其转化为等价的确定的有限自动机。
参考答案和解析
NFA
更多 “任何一个非确定的有限自动机，都可通过有效算法把其转化为等价的确定的有限自动机。” 相关考题
考题
●根据乔姆斯基于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型文法
考题
有限状态自动机可用五元组(∑，Q，δ，q0，Qf)来描述，设有一个有限状态自动机M的定义如下：∑={0,1}，Q={q0，q1，q2}，Qf={q2}，δ定义为：δ(q0，0)=q1，δ(q1，0)=q2，6(q2，0)=q2，δ(q2，1)=q2。M是一个(28)有限状态自动机，所表示的语言陈述为(29)。(51)A．歧义B．非歧义C．确定的D．非确定的
考题
下图所示为两个有限自动机M1和M2(A是初态、C是终态)，(48)。A．M1和M2都是确定的有限自动机B．M1和M2都是不确定的有限自动机C．M1是确定的有限自动机，M2是不确定的有限自动机D．M1是不确定的有限自动机，M2是确定的有限自动机
考题
根据乔姆斯基20世纪50年代建立的形式语言的理论体系，语言的文法被分为四种类型，即：O型(上下文有关文法)、1型(上下文相关文法)、2型(上下文无关文法)和3型(正规文法)。其中2型文法与(66)等价，所以有足够的能力描述多数现今程序设计的语言的句法结构。一个非确定的有限自动机必存在一个与之等价(67)。从文法描述语言的能力来说，(68)最强，(69)最弱，由四类文法的定义可知：(70)必是2型文法。(40)A．确定的有限自动机B．图灵机C．非确定的下推自动机D．非确定的有限自动机E．有限自动机
考题
● 有限自动机（FA）可用于识别高级语言源程序中的记号（单词），FA 可分为确定的有限自动机（DFA）和不确定的有限自动机（NFA）。若某DFA D 与某NFA M等价，则 （48） 。（48）A. DFA D 与NFA M的状态数一定相等B. DFA D 与NFA M可识别的记号相同C. NFA M能识别的正规集是DFA D 所识别正规集的真子集D. DFA D 能识别的正规集是NFA M所识别正规集的真子集
考题
如图3-1所示为一确定有限自动机(DFA)的状态转换图，与该自动机等价的正规表达式是(1)，图中的(2)是可以合并的状态。A．(a|b)* bb(a*b*)*B．(a|b)*bba*|b*C．(a*b*)bb(a|b)*D．(a*|b*)*bb(a*|b*)
考题
根据乔姆斯基于20世纪50年代建立的形式语言的理论体系，语言的文法被分为4种类型，即0型(短语文法)，1型(上下文有关文法)、2型(上下文无关文法)和3型(正规文法)。其中，2型文法与(28)等价，所以有足够的能力描述多数现今程序设计的语言的句法结构。一个非确定的有限自动机必存在一个与之等价(29)。从文法描述语言的能力来说，(30)最强，(31)最弱，由4类文法的定义可知：(32)必是2型文法。A．线性有限自动机B．非确定的下推自动机C．图灵机D．有限自动机
考题
某一非确定性有限自动机(NFA)的状态转换图如图6-1所示，该NFA等价的正规式是(1)，与该NFA等价的DFA是(2)。A．0*|(0|1)0B．(0|10)*C．0*((0|1)0)*D．0*(10)*
考题
某一非确定性有限自动机(NFA)的状态转换图如下图所示，与该NFA等价的正规式是(28)，与该NFA等价的DFA是(29)。A．0*|(0|1)0B．(0|10)*C．0*((0|1)0)*D．0*(10)*
考题
某一确定有限自动机(DFA)的状态转换图如下，与该自动机等价的正规表达式是(28)，图中(29)是可以合并的状态。(42)A．(a|ba)*bb(a*b*)*B．(a|ba)*bba*|b*C．(a*|b*)bb(a|b)*D．(a|b*)*bb(a*|b*)
考题
某一确定有限自动机(DFA)的状态转换图如下图，与该自动机等价的正规表达式是(28)，图中(29)是可以合并的状态。(56)A．ab*aB．ablab*aC．a*b*aD．aa*lb*a
考题
根据乔姆斯基于20世纪50年代建立的形式语言的理论体系，文法被分为4种类型，即0型(短语文法)、1型(上下文有关文法)、2型(上下文无关文法)和3型(正规文法)。其中，2型文法与(1)等价，所以有足够的能力描述多数现今程序设计的语言的语法结构。一个非确定的有穷自动机必存在一个与之等价的(2)。从文法描述语言的能力来说，(3)最强，(4)最弱，由4类文法的定义可知(5)必是2型文法。A．确定的有穷自动机B．图灵机C．非确定的下推自动机D．非确定的有穷自动机E．有穷自动机
考题
● 下图所示为两个有限自动机M1和M2（A是初态、C是终态）， （48） 。（48）A. M1和M2都是确定的有限自动机B. M1和M2都是不确定的有限自动机C. M1是确定的有限自动机，M2是不确定的有限自动机D. M1是不确定的有限自动机，M2是确定的有限自动机
考题
图2-7为一确定有限自动机(DFA)的状态转换图，与该自动机等价的正规表达式是(14)，图中的(15)是可以合并的状态。A．[a｜(ba)]*bb(a*b*)*B．(a｜b)*bba*｜b*C．(a*b*)bb(a｜b)*D．(a｜b)*bb(a*｜b*)*
考题
一个有限状态自动机中，有且仅有一个唯一的终态。
热门标签
最新试卷
