已知文法G[S]:S→A0|B1,A→S1|1,B→S0|0,该文法属于乔姆斯基定义的(18)文法,它不能产生串(19)。语言L={ambn|m≥0,n≥1)的正规表达式是(20)。一个文法G=(N,T,P,S),其中N是非终结符号的集合,T是终结符号的集合,P是产生式集合,S是开始符号,令集合V=N∪T,那么G所描述的语言是(21)的集合。程序设计语言引入“类”的概念是为了解决数据保护问题。C++语言将类的成员封装在类体之中,使之具有一定的存取规则,这些规则规定了存取类的成员的权利,其中对于用Priva

题目

已知文法G[S]:S→A0|B1,A→S1|1,B→S0|0,该文法属于乔姆斯基定义的(18)文法,它不能产生串(19)。

语言L={ambn|m≥0,n≥1)的正规表达式是(20)。

一个文法G=(N,T,P,S),其中N是非终结符号的集合,T是终结符号的集合,P是产生式集合,S是开始符号,令集合V=N∪T,那么G所描述的语言是(21)的集合。

程序设计语言引入“类”的概念是为了解决数据保护问题。C++语言将类的成员封装在类体之中,使之具有一定的存取规则,这些规则规定了存取类的成员的权利,其中对于用Private说明的成员,它(22)。

A.0型

B.1型

C.2型

D.3型


相似考题
更多“已知文法G[S]:S→A0|B1,A→S1|1,B→S0|0,该文法属于乔姆斯基定义的(18)文法,它不能产生串(19)。 语言 ”相关问题
  • 第1题:

    设有文法G[S]:S→S1|S0|Sa|Sc|a|b|c,下列符号串中()不是该文法的句子。

    A.ab0

    B.a0c01

    C.aaa

    D.bc10


    正确答案:A

  • 第2题:

    已知文法G1=(VT={a,b,d},VN={S,A,B},S,P),其中P为: S→dAB A→aA|a B→bB|ε 该文法属于(28)文法。

    A.0型

    B.上下文有关

    C.上下文无关

    D.正规


    正确答案:C
    解析:乔姆斯基(Chomsky)把文法分成4种类型,即0型、1型、2型和3型,由此产生的语言分别称为0型、1型、2型和3型语言。这几类文法的差别在于对产生式的形式施加不同的限制,如下表所示。0型文法也称短语文法,1型文法也称上下文有关文法,2型文法也称上下文无关文法,2型文法的识别器模型是下推自动机。3型文法也称线性文法(或称正规文法),其识别器模型是有限状态自动机。文法G1的所有产生式形式都是A→β,其中A∈VN,β∈V*,且第1条规则S→dAB是非线性的,因此文法G1属于2型文法,又称上下文无关文法。

  • 第3题:

    已知文法C[A],它定义的语言描述为(1)。 G[A]:A→0B|1C B→1 |1A|0BB C→0 |0A|1CC

    A.G[A]定义的语言由0、1符号串组成,或者串中1的个数是0的个数2倍,或者串中0的个数是1的个数2倍

    B.G[A]定义的语言由0、1符号串组成,串中0的个数是1的个数2倍

    C.G[A]定义的语言由0、1符号串组成,串中1的个数是0的个数2倍

    D.G[A]定义的语言由0、1符号串组成,串中0和1的个数相同


    正确答案:A
    解析:关于文法和语言的概念是形式语言的理论基础,形式语言抽象地定义为一个数学系统。“形式”是指这样的事实:语言的所有规则只以什么符号串能出现的方式来陈述。本题属于基本概念题。

  • 第4题:

    已知文法G: S—A0|B1,A- S1|1, B-*S0|0,其中S是开始符号。从S出发可以推导出(12)。

    A.所有由0构成的字符串

    B.所有由1构成的字符串

    C.某些0和1个数相等的字符串

    D.所有0和1个数不同的字符串


    正确答案:C
    对于文法可推导出的字符串分析,考试一般可对文法举例,然后总结规律。以本题文法为例,可以产生的字符串包括:(1)10推导过程:S->A0;A->1。(2)01推导过程:S->B1;B->0。(3)1010推导过程:S->A0;A->S1:S->A0,A->1。至此,可以了解到,选项A、B、D的描述都是不正确的。

  • 第5题:

    已知某文法G[S]:S→0S0 S→1,从S推导出的符号串可用(21)(n≥0)描述。

    A.(010)n

    B.0n10n

    C.1n

    D.01n0


    正确答案:B
    解析:本题考查程序语言翻译基础知识。
      语言语法的一种表示法称为文法,常用的文法是上下文无关文法。
      一个上下文无关文法包含以下4个部分:
      ①一个记号集合,称为终结符集。
      ②一个非终结符号集合。
      ③一个产生式集合。每个产生式具有一个左部和右部,左部和右部由肩头连接,左部是一个非终结符,右部是记号和(或)非终结符序列。
      ④一个开始符号。开始符号是一个指定的非终结符。
      利用产生式产生句子的过程,是将产生式A→Y的右部代替文法符号序列αAβ中的A得到αγβ的过程,称为αAβ直接推导出αγβ,记作:αAβ=>αγβ。
      从S出发进行推导的过程可表示如下:
              S=>0S0=>00S00=>000S000=>... =>0n10n

  • 第6题:

    ● 设某上下文无关文法如下: S→11 | 1001 | S0 |SS,则该文法所产生的所有二进制字符串都具有的特点是 (50) 。

    (50)

    A. 能被3整除

    B. 0、1出现的次数相等

    C. 0和1的出现次数都为偶数

    D. 能被2整除


    正确答案:A

  • 第7题:

    已知文法G[S]:S→A0|B1,A→S1|1,B→S0|0;该文法属于乔姆斯基定义的__(1)__文法,它不能产生串__(2)__。空白(1)处应选择()

    • A、0型
    • B、1型
    • C、2型
    • D、3型

    正确答案:D

  • 第8题:

    设有文法G[S]:S→S1|S0|Sa|Sc|a|b|c,下列符号串中不是该文法的句子的是()

    • A、ab0
    • B、a0c01
    • C、aaa
    • D、bc10

    正确答案:A

  • 第9题:

    单选题
    文法S→abC,bC→ad是几型文法?()
    A

    0型文法

    B

    1型文法

    C

    2型文法

    D

    3型文法


    正确答案: D
    解析: 暂无解析

  • 第10题:

    单选题
    已知文法G[S]:S→A0|B1,A→S1|1,B→S0|0;该文法属于乔姆斯基定义的__(1)__文法,它不能产生串__(2)__。空白(2)处应选择()
    A

    0011

    B

    1010

    C

    1001

    D

    0101


    正确答案: C
    解析: 暂无解析

  • 第11题:

    单选题
    设有文法G={{S},{a},{S→SaS|ε},S},该文法是()
    A

    LL(1)文法

    B

    二义性文法

    C

    SLR(1)文法

    D

    算法优先文法


    正确答案: D
    解析: 暂无解析

  • 第12题:

    单选题
    已知文法G[S]:S→A0|B1,A→S1|1,B→S0|0;该文法属于乔姆斯基定义的__(1)__文法,它不能产生串__(2)__。空白(1)处应选择()
    A

    0型

    B

    1型

    C

    2型

    D

    3型


    正确答案: C
    解析: 暂无解析

  • 第13题:

    已知文法G2=(VT={a,b},VN={S,A},S,P),其中P为, S→Sb|Ab A→aSb|ε 该文法生成的语言是(28)。

    A.{ambn|n>m≥0}

    B.{ambn|m>n≥0}

    C.{ambn|n≥m≥1}

    D.{ambn|m≥n≥1}


    正确答案:A
    解析:根据文法G2的产生式A→aSb|ε,用A的产生式推导出终结符号串,如果仅用A→ε,则产生{ε};如果先用若干次A→aSb推导,再用A→ε,则推导过程如下:因此,由A生成的终结符号集合是{ambm|m>0}。从S出发使用产生式S→Sb|Ab进行推导,或者。最后,L(G2)={ambm|m0}连接{bk|k>0}={ambm+k|m+k>m0}={ambn|n>m0}。

  • 第14题:

    文法G=({E),{+,*,(,),a},P,E),其中P由下列产生式组成E->E+E|E*E|(E)|a。它生成由a,+,*,(,)组成的算术表达式,该文法在乔姆斯基分层中属于(16)型文法,其对应的自动机是(17),如产生句子a*a+a,它的派生树是(18),且最左派生由(19)种,该文法是(20)。

    A.0

    B.1

    C.2

    D.3


    正确答案:C
    解析:乔姆斯基定义了4种文法类型,他们之间的差别是按文法G=(V(下标)v,V(下标)T,P,S)中P所允许的产生式的形式加以区分的。如果P中的每个产生式形式如A->P,其中A为非终结符,P为9,则称此文法为2型文法或上下文无关文法。对应的语言称为上下文无关语言,对用的自动机称为下推自动机。题中的文法属于1型对应的下推自动机。产生句子a*a+a的派生树有两棵,如下:这是三叉树,最左派生有两种,他们是E=>E+E=>E*E+E=>a*E+E=>a*a+E=>a*a+aE=>E*E=>a*E=>a*E+E=>a*a+E=>a*a+a因此,该文法是二义的。

  • 第15题:

    文法G=({E},{+,*,(,),a},P,E),其中P由下列产生式组成E->E+E|E*E|(E)|a。它生成由a,+,*,(,)组成的算术表达式,该文法在乔姆斯基分层中属于(33)型文法,其对应的自动机是(34),如产生句子a*a+a,它的派生树是(35),且最左派生由(36)种,该文法是(37)。

    A.0

    B.1

    C.2

    D.3


    正确答案:C

  • 第16题:

    设某上下文无关文法如下:S→11 |1001|S0|SS,则该文法所产生的所有二进制字符串都具有的特点是(50)。

    A.能被3整除

    B.0、1出现的次数相等

    C.0和1的出现次数都为偶数

    D.能被2整除


    正确答案:A
    解析:本题考查程序语言基础知识。
      推导就是从文法的开始符号S出发,反复使用产生式,将产生式左部的非终结符替换为右部的文法符号序列(展开产生式用表示),直到产生一个终结符的序列时为止。从文法G的开始符号出发,能推导出的终结符号序列(句子)的全体称为文法G产生的语言。
      对于上下文无关文法S→11|1001|S0|SS,从S出发可推导出11,1001,110,1111, 11110和10010等,将这些二进制序列转换成对应的十进制数可知,它们都能被3整除。

  • 第17题:

    已知文法G1=(VT={a,b,d},VN={S,A,B},S,P),其中P为, S→dAB A→aA|a B→bB|ε 该文法生成的语言是(28)。

    A.{dambn|m≥0,n≥O}

    B.{dambn|m≥1,n≥0}

    C.{dambn|m≥0,n≥1}

    D.{dambn|m≥1,n≥1}


    正确答案:B
    解析:已知文法G=(VT,VN,S,P),它所产生的语言定义如下:若有S(11)w,则称w是文法G的一个句型。仅含终结符的句型是一个句子。语言L(G)是由文法G产生的所有句子组成的集合:L(G)={w|Sw且w∈VT*}推导的定义如下:设文法G=(VT,VN,S,P),A→β∈P,γ,δ∈V*,则稀γAδ直接推导出γβδ,表示成这个定义告诉我们,若知道γAδ∈V*,根据A→β∈,可求出γβδ∈V*,方法是用A→β的右部β替换γAδ中的A得到γβδ;相反,若知道γβδ∈V*,根据A→β∈P,可求出γAδ∈V*,方法是用A→p的左部A替换γβδ中的β得到γAδ。若存在一个推导序列:,则称从a0经n步推导出an,表示成根据文法G1的第1条规则S→dAB知道,文法G1产生的句子的第1个字符是d,后跟着由A产生的终结字符串,再后边跟着由B产生的终结字符串。根据文法G1的第2条规则A→aA|a知道,由A产生的终结字符串是{am|m1};根据B的规则B→bB|ε知道,由B产生的终结字符串是{bn|0}。因此,L(G1)={dambn|m1,n0}。

  • 第18题:

    已知文法G:S->A0|B1,A->S1|1,B->S0|0,其中S是开始符号。从S出发可以推导出( )?

    A.所有由0构成的字符串
    B.所有由1构成的字符串
    C.某些0和1相等的字符串
    D.所有0和1个数不同的字符串

    答案:C
    解析:
    用文法表示语言的语法规则时,推导是产生语言句子的基本方式。以题目中的文法为例,有如下推导:
    1010:S=>A0=>S10=>A010=>1010 0110:S=>A0=>S10=>B110=>0110
    然而0000,1111,1100,0011则推导不出来。因为由S先推出A0以后再去推导A则必然产生一个与0相邻(在0左边)的1,而由S先推导出B1,则下一步必然要推导出一个与1相邻(在1左边)的0.这保证了当1出现的时候,马上就会出现0,或者反之。并且0和1的距离很近。分析更多类似的例子发现,只有C选项最合适。
    故正确答案为:C

  • 第19题:

    乔姆斯基把文法分为四种类型,即0型、1型、2型、3型。其中2型文法叫什么?


    正确答案: 2型文法叫上下文无关文法。

  • 第20题:

    设有文法G={{S},{a},{S→SaS|ε},S},该文法是()

    • A、LL(1)文法
    • B、二义性文法
    • C、SLR(1)文法
    • D、算法优先文法

    正确答案:B

  • 第21题:

    单选题
    设有文法G[S]:S→S1|S0|Sa|Sc|a|b|c,下列符号串中不是该文法的句子的是()
    A

    ab0

    B

    a0c01

    C

    aaa

    D

    bc10


    正确答案: A
    解析: 暂无解析

  • 第22题:

    多选题
    对正规文法描述的语言,以下()有能力描述它。
    A

    0型文法

    B

    1型文法

    C

    上下文无关文法

    D

    右线性文法

    E

    左线性文法


    正确答案: E,D
    解析: 暂无解析

  • 第23题:

    单选题
    对于文法G={{0,1},{S,A,B),P,S},其中P中的产生式及序号为:①S→0A②S→1B③A→1S④A→1⑤B→0S⑥B→0与该文法等价的正规式是__(1)__,其中,若采用最右推导产生句子100110使用的产生式编号的序列为__(2)__;句型01011B的直接短语是__(3)__,句柄为__(4)__。空白(2)处应选择()
    A

    bcadef

    B

    beacbf

    C

    bacebf

    D

    beadcf


    正确答案: B
    解析: 暂无解析