产生正规语言的文法为()A、0型B、1型C、2型D、3型

题目

产生正规语言的文法为()

  • A、0型
  • B、1型
  • C、2型
  • D、3型
如果没有搜索结果或未解决您的问题,请直接 联系老师 获取答案。
相似问题和答案

第1题:

● 对给定文法G=(VN,VT, P,S),VT={a,Λ,(,)},VN={S,T},S是开始符号,

P:

S→a|Λ|(T)

T→T,S|S

则(1)不是它的句子。该文法是(2)型文法。

(1)A. (a,(a,a)) B. (((a,a), Λ,(a)),a) C. ((a,a), Λ) D. ((a,a),(T))

(2)A.0型文法 B.1型文法 C.2型文法 D.正规文法


正确答案:D,C
根据句子的定义,若从文法G的开始符号S能推导出的符号串成为文法的一个句型,仅含终结符的句型成为一个句子。很显然,备选答案D中含有非非终结符T,所以它不是文法的句子。
该文法是递归可枚举的,所以文法是0型文法,又文法所有产生式的右边长度大于或等于产生式左边长度,所以文法是1型文法,由于该文法的每个产生式的左边均是非终结符,所以该文法是2型文法;由于文法的两个产生式即不是右线性,也不是左线性,所以该文法不是正规型文法。

第2题:

下推自动机识别的语言是()

A、0型语言

B、1型语言

C、2型语言

D、3型语言


参考答案:C

第3题:

●为下列文法选择最准确的答案:

文法G[S]属于 (52) :

S→CD Ab→bA

C→aCABa→aB

C→bCBBb→bB

AD→aDC→ε

BD→bDD→ε

Aa→bD

L(G)={ww|w∈{a,b}*}

文法G[P]属于 (53) :

P→0A|1B|0

A→0A|1B|0P

B→1B|1|0

文法G[I]属于 (54) :

I → lT

I → l

T → lT

T → dT

T → l

T → d

其中,l表示a~z中的任意一个英文字母,d表示0~9中的任意一个数字。

(52) ~(54) A.1型(上下文有关)文法

B.2型(上下文无关)文法

C.定义标识符的3型(正规)文法

D.0型文法


正确答案:A,B,C
【解析】本题考查4种文法的定义。需要注意的是,4个文法类的定义是逐渐增加限制的,因此每一种正规文法都是上下文无关的,每一种上下文无关文法都是上下文有关的,而每一种上下文有关文法都是0型文法。称0型文法产生的语言为0型语言。上下文有关文法、上下文无关文法和正规文法产生的语言分别称为上下文有关语言、上下文无关语言和正规语言。

第4题:

为下列文法选择最准确的答案:

文法G[S]属于(12):

S→CD Ab→bA

C→aCA Ba→aB

C→bCB Bb→bB

AD→aD C→s

BD→bD D→c

Aa→bD

L(G)={ww|w∈{a,b)*)

文法G[冈属于(13):

P→0A|1B|O

A→0A|1B|0P

B→1B|1|0

文法G[1]属于(14):

I→1T

I→1

T→1T

T→dT

T→1

T→d

其中,1表示a~z中的任意一个英文字母,d表示0~9中的任意一个数字。

A.1型(上下文有关)文法

B.2型(上下文无关)文法

C.定义标识符的3型(正规)文法

D.0型文法


正确答案:A
解析:本题考查4种文法的定义。需要注意的是,4个文法类的定义是逐渐增加限制的,因此每一种正规文法都是上下文无关的,每一种上下文无关文法都是上下文有关的,而每一种上下文有关文法都是0型文法。称0型文法产生的语言为0型语言。上下文有关文法、上下文无关文法和正规文法产生的语言分别称为上千文有关语言、上下文无关语言和正规语言。

第5题:

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

A.线性有限自动机

B.非确定的下推自动机

C.图灵机

D.有限自动机


正确答案:B

第6题:

已知文法G[S]:S→A0|Bl,A→S1|1,B→S0|0;该文法属于乔姆斯基定义的哪类文法()。

A.0型

B.1型

C.2型

D.3型


正确答案:D

第7题:

文法分为四种类型,即0型、1型、2型、3型。其中2型文法是()。

A.短语文法

B.正则文法

C.上下文有关文法

D.上下文无关文法


正确答案:D

第8题:

●根据乔姆斯基于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型文法


正确答案:B,A,D,A,C

【解析】乔姆斯基把文法分成4种类型,即0型、1型、2型和3型。0型文法也称短语文法,0型文法的能力相当于图灵机(Turing),或者说任何0型语言都是递归可枚举的。1型文法也称上下文有关方法,其能力相当于线形界限自动机。对非终结符进行替换时不必考虑上下文,并且一般不允许替换成空串ε。2型文法也称上下文无关文法,其能力相当于非确定的下推自动机。3型文法也称右线性文法,由于这种文法等价于正规式,所以也称正规文法。3型文法的能力相当于有限自动机。从文法描述语言的能力来说,0型文法最强,3型文法最弱。

语言的文法可以表示成一个四元组(VT,VN,S,P)。由3型文法的定义:一个文法G式3型文法,如果G是二型文法,并且G的每个产生式A→αB或A→α,其中α∈V*T,A,B∈VN,可知3型文法必是2型文法。

第9题:

文法分为四种类型,即 0 型、1 型、2 型、3 型。其中 3 型文法是() 。

A.短语文法

B.正则文法

C.上下文有关文法

D.上下文无关文法


正确答案:B

第10题:

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

A.确定的有穷自动机

B.图灵机

C.非确定的下推自动机

D.非确定的有穷自动机

E.有穷自动机


正确答案:C

更多相关问题