一个正规语言只能对应()
正规文法不能产生语言L={anbn|n≥l}。()
点击查看答案
根据乔姆斯基于20世纪50年代建立的形式语言的理论体系,语言的文法被分为4种类型,即0型(短语文法),1型(上下文有关文法)、2型(上下文无关文法)和3型(正规文法)。其中,2型文法与(28)等价,所以有足够的能力描述多数现今程序设计的语言的句法结构。一个非确定的有限自动机必存在一个与之等价(29)。从文法描述语言的能力来说,(30)最强,(31)最弱,由4类文法的定义可知:(32)必是2型文法。A.线性有限自动机B.非确定的下推自动机C.图灵机D.有限自动机
某一确定有限自动机(DFA)的状态转换图如下图,与该自动机等价的正规表达式是(28),图中(29)是可以合并的状态。(56)A.ab*aB.ablab*aC.a*b*aD.aa*lb*a
●下图所示为一个有限自动机(其中,A是初态、C是终态),该自动机识别的语言可用正规式(48)表示。(48)A. (0|1)*01B.1*0*10*1C.1*(0)*01D.1*(0|10)*1*
根据乔姆斯基于20世纪50年代建立的形式语言的理论体系,文法被分为4种类型,即0型(短语文法)、1型(上下文有关文法)、2型(上下文无关文法)和3型(正规文法)。其中,2型文法与(1)等价,所以有足够的能力描述多数现今程序设计的语言的语法结构。一个非确定的有穷自动机必存在一个与之等价的(2)。从文法描述语言的能力来说,(3)最强,(4)最弱,由4类文法的定义可知(5)必是2型文法。A.确定的有穷自动机B.图灵机C.非确定的下推自动机D.非确定的有穷自动机E.有穷自动机
有限状态自动机可用5元组(VT,Q,δ,q0,Qf)来描述,它可对应于(28)。设有一有限状态自动机M的定义如下:VT={0,1},Q={q0,q1,q2)δ定义为:δ(q0,0)=q1 δ(q1,0)=q2δ(q2,1)=q2 δ(q2,1)=q2Qf={q2}。M是一个(29)有限状态自动机,它所对应的状态转换图为(30),它所能接受的语言可以用正则表达式表示为(31),其含义为(32)。A.0型文法B.1型文法C.2型文法D.3型文法
一个有限状态自动机中,有且仅有一个唯一的终态。()此题为判断题(对,错)。