四种形式语言文法中,1型文法又称为()文法。A、短语结构文法B、前后文无关文法C、前后文有关文法D、正规文法

题目

四种形式语言文法中,1型文法又称为()文法。

  • A、短语结构文法
  • B、前后文无关文法
  • C、前后文有关文法
  • D、正规文法
如果没有搜索结果或未解决您的问题,请直接 联系老师 获取答案。
相似问题和答案

第1题:

Chomsky定义的四种形式语言文法中,2型语言可由()识别。

A、短语结构文法

B、前后文无关文法

C、前后文有关文法

D、正规文法

E、图灵机

F、有限自动机

G、下推自动机


参考答案:G

第2题:

对于严格的前后文无关文法来说,不允许含有ε-产生式。()


参考答案:正确

第3题:

Chomsky 定义的四种形式语言文法中,1 型文法又称为( )文法。

A. 短语文法

B. 上下文无关文法

C. 上下文有关文法

D. 正规文法


参考答案:C

第4题:

在Chomsky定义的4种形式语言文法中,0型文法又称为(51)文法;1型文法又称为(52)文法;2型语言可由(53)识别。

A.短语结构文法

B.上下文无关文法

C.上下文有关文法

D.正规文法


正确答案:A

第5题:

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

A.线性有限自动机

B.非确定的下推自动机

C.图灵机

D.有限自动机


正确答案:B

第6题:

Chomsky定义的四种形式语言文法中,0型文法又称为什么文法()。

A、短语结构

B、前后文无关

C、前后文有关

D、正规


参考答案:A

第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题:

形式语言中,不包含()。

A.上下文有关文法

B.上下文无关文法

C.短语文法

D.句子文法


正确答案:D

第10题:

大多数程序设计语言的语法规则用( )描述即可。

A.正规文法
B.上下文无关文法
C.上下文有关文法
D.短语结构文法

答案:B
解析:
形式语言理论中一种重要的变换文法,用来描述上下文无关语言,在乔姆斯基分层中称为2型文法由于程序设计语言的语法基本上都是上下文无关文法,因此应用十分广泛上下文无关文法拥有足够强的表达力来表示大多数程序设计语言的语法另一方面,上下文无关文法又足够简单,使得我们可以构造有效的分析算法来检验一个给定字串是否是由某个上下文无关文法产生的