参考答案和解析
正确答案:A
更多“已知文法:S→aAa|aBb|bAb|bBaA→xB→x,则()A、LR(1)文法B、LALR(1)文法C、都不是D、A和B”相关问题
  • 第1题:

    若给定文法G和某个固定的k,则G是否是LR(k)文法是可判定的。()

    此题为判断题(对,错)。


    正确答案:正确

  • 第2题:

    考虑下述文法,S为开始符号 G1[S]:S→A A→aAb | ab G2[S] S→AA→aA |a| 下列结论中为真的是(28)。

    A.G1是LR(0)文法,G2不是LR(1)文法

    B.G2是LR(0)文法,G1不是LR(1)文法

    C.G2是LR(1)文法,G1不是LR(1)文法

    D.G1和G2都是LR(1)文法


    正确答案:A
    解析:因为G2存在句子aa,该句子有两棵不同的语法树,所以文法G2是二义性文法。二义性文法不是LR文法,所以B、C、D不正确。选A。

  • 第3题:

    yacc是一个生成编译程序的工具,它的输入是文法G的产生式规则,它的输出是文法G的(29)。

    A.优先分析器

    B.LL(1)分析器

    C.LR(1)分析器

    D.LALR(1)分析器


    正确答案:D
    解析:一个LR分析器由以下3个部分组成。(1)驱动器:或称驱动程序。对所有LR分析器,驱动程序都是相同的。(2)分析表:不同的文法具有不同的分析表。同一文法采用不同的LR分析方法时,分析表也不同。分析表又可分为动作表(ACTION)和状态转换表(GOTO)两个部分,它们都可用二维数组表示。(3)分析栈:包括文法符号栈和相应的状态栈。分析器的动作由栈顶状态和当前输入符号决定(LR(0)分析器不须向前查看输入符号),LR分析器的模型如下图所示。设Si为状态,i为文法符号,ACTION[Si,a]=Sj规定了栈顶状态为Si且遇到输入符号a时应执行的动作。状态转换表GOTO[Si,X]=Sj表示当状态栈顶为Si且文法符号栈顶为X时应转向状态Sj。分析表实际上是一个DFA,它识别文法G的所有右句型的活前缀。构造LR分析器,本质上是构造LR分析表。根据文法的产生式规则,LR分析表用程序能自动生成。yacc的输入,本质上是文法的产生式规则,称为yacc的源程序,通过yacc编译程序,生成用C书写的LALR(1)分析表。再经过C编译器,就得到LALR(1)分析器。LALR(1)分析器比SLR(1)适用的文法范围要宽,一般能满足常用程序语言的需要;和LR(1)比,它适用的文法范围要窄,但时空效率都有很大提高。

  • 第4题:

    若项目集IK含有A→α.,则在状态k时,仅当面临的输入符号a∈FOLLOW(A)时,才采取“A→α.”动作的一定是(19)。

    A.LALR 文法

    B.LR(0)文法

    C.CLR(1)文法

    D.SLR(1)文法


    正确答案:D
    解析:当用产生式A→α归约时,LR(0)无论面临什么输入符号都进行归约;SLR(1)则仅当面临的输入符号a∈FOLLOW(A)时进行归约;LR(1)则当在把α归约为A的规范句型的前缀βAα前提下,当α后跟终结符a时,才进行归约。

  • 第5题:

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

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

    正确答案:D

  • 第6题:

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

    • A、短语结构文法
    • B、前后文无关文法
    • C、前后文有关文法
    • D、正规文法

    正确答案:C

  • 第7题:

    任何一个二义性文法一定不是LR类文法,也不是一个算符优先文法。


    正确答案:正确

  • 第8题:

    一个LR(1)文法合并同心集后若不是LALR(1)文法()

    • A、则可能存在移进/归约冲突
    • B、则可能存在归约/归约冲突
    • C、则可能存在移进/归约冲突和归约/归约冲突

    正确答案:B

  • 第9题:

    算符优先文法是一种自底向上的分析方法,其文法的特点是文法的产生式中__(1)__。自顶向下的分析方法通常要求文法的产生式__(2)__,如__(3)__文法就是一种可以自上而下分析的文法。空白(3)处应选择()

    • A、LR(1)
    • B、LL(1)
    • C、SLR(1)
    • D、LALR(1)

    正确答案:B

  • 第10题:

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

    0型文法

    B

    1型文法

    C

    2型文法

    D

    3型文法


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

  • 第11题:

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

    0型

    B

    1型

    C

    2型

    D

    3型


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

  • 第12题:

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

    LL(1)文法

    B

    二义性文法

    C

    SLR(1)文法

    D

    算法优先文法


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

  • 第13题:

    一个LR(1)文法合并同心集后,如果不是LALR(1)文法必定存在( )。

    A.移进--归约冲突

    B.归约--归约冲突


    正确答案:B

  • 第14题:

    设 G 是一个给定的文法,S 是文法的开始符号,如果 S-x(其中 x∈V*),则称 x 是文法 G 的一 个() 。

    A.候选式

    B.句型

    C.单词

    D.产生式


    正确答案:B

  • 第15题:

    已知文法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型文法,又称上下文无关文法。

  • 第16题:

    已知文法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}。

  • 第17题:

    文法S→abC,bC→ad是几型文法?()

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

    正确答案:B

  • 第18题:

    LR文法的特点


    正确答案:1)LR分析器能够被构造来识别所有能用上下文无关文法写出的编程语言构造。
    2)LR分析方法是已知的最一般的无回溯的移进-归约方法,它能和其他移进-归约方法一样有效地实现。
    3)LR方法能分析的文法类是预测分析法或者说LL方法能分析的文法类的真超集。
    4)在自左向右扫描输入的前提下,LR分析器尽可能快地发现语法错误。

  • 第19题:

    1型文法也称为()。

    • A、短语文法
    • B、上下文有关文法
    • C、右线性文法
    • D、左性性文法

    正确答案:B

  • 第20题:

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

    • A、0011
    • B、1010
    • C、1001
    • D、0101

    正确答案:A

  • 第21题:

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

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

    正确答案:B

  • 第22题:

    单选题
    已知文法:S→aAa|aBb|bAb|bBaA→xB→x,则()
    A

    LR(1)文法

    B

    LALR(1)文法

    C

    都不是

    D

    A和B


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

  • 第23题:

    单选题
    一个LR(1)文法合并同心集后若不是LALR(1)文法()
    A

    则可能存在移进/归约冲突

    B

    则可能存在归约/归约冲突

    C

    则可能存在移进/归约冲突和归约/归约冲突


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