已知文法G2=(VT={a，'，'，(,)}，VN={S，L)，S,P)，其中P为 S→(L)|a L→-L，s|s 与G2等价的不含左递归规则的文法是(29)。A．G21=(VT={a，'，'，(,)}，VN={S，L}，S，P)，其中P为 S→(L)|a L→S，S|SB．G22=(VT＜a，'，'，(,)}，VN={S，L，L'}，S，P)，其中P为 S→(L)|a L→SL' L'→SL'|εC．G23=(VT{a，'，'，(,)}，VN={S，L，L'}，S，P)，其中P为 S→(L)|a L→

题目

已知文法G2=(VT={a，'，'，(,)}，VN={S，L)，S,P)，其中P为 S→(L)|a L→-L，s|s 与G2等价的不含左递归规则的文法是(29)。

A．G21=(VT={a，'，'，(,)}，VN={S，L}，S，P)，其中P为 S→(L)|a L→S，S|S

B．G22=(VT＜a，'，'，(,)}，VN={S，L，L'}，S，P)，其中P为 S→(L)|a L→SL' L'→SL'|ε

C．G23=(VT{a，'，'，(,)}，VN={S，L，L'}，S，P)，其中P为 S→(L)|a L→SL' U→,SL'|ε

D．G24=(VT=(a，'，'，(,)}，VN=＜S，L，L'}，S，P)，其中P为 S→(L)|a L→SL' L→SL'|S

相似考题

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．正规文法

2.已知G4=(VT{a，'，'，(，)}，VN={S,L，L'}，S,P)，其中P为， S→(L)|a|ξ L→SL' L'→，SL'|ξ FOLLOW(S)是(29)。A．{'，'，ξ，}}B．{'，'#，}}C．{a，'，'ξ，}}D．{a，'，'，#}

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

4.已知文法G2=(VT={a，'，'，(，)}，VN={S,L)，S,P)，其中P为，S→(L)|aL→L,S|S(a,a)是L(G2)的句子，这个句子的分析树是(28)。A．B．C．D．

更多“已知文法G2=(VT={a,',',(,)},VN={S,L),S,P),其中P为 S→ ”相关问题

  • 第1题：

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

  • 第2题：

    设语言L={w|w∈{a,b}+且w中a和b的个数相等}，产生语言L的上下文无关文法是(28)。

    A．Ga=(VT={a,b}，VN={S，A，B}，S,P)，其中P为， S→a|aA|bSS A→aB|bS B→b|bA|aBB

    B．Gb=(VT={a,b}，VN={S,A,B}，S,P)，其中P为， S→b|bB|aSS B→aS|bA A→a|aB|bAA

    C．Gc=(VT={a,b}，VN{S,A,B}，S,P)，其中P为， S→aB|bA A→a|aS|bAA B→b|bS|aBB

    D．Gd=(VT={a,b}，VN={S，A，B}，S,P)，其中P为， S→aB|bA|s A→aS|bAA B→bS|aBB


    正确答案：C
    解析：字母表{a,b}上的任何非空串，从其所含a和b的个数来划分，分成下面3个集合：①a和b的个数相等：②a比b的个数多，但仅要a比b的个数多1个的那些子串；③b比a的个数多，但仅要b比a的个数多1个的那些子串。通过上面的分析，根据用文法规则产生句子的原理，设3个非终结符号，不妨称做S、A、B，它们的产生式分别完成：①用S的产生式推导出a和b的个数相等的串；②用A的产生式推导出a比b的个数多1个的串；③用B的产生式推导出b比a的个数多1个的串。根据3个非终结符号S、A、B的含义，显然，关于S的产生式应该是S→aB|bA。对于A产生的串，若第1个字符是a，则剩下的是a和b的个数相等的串：若第1个字符是b，则跟随b的是a比b的个数多2个的串，这个串是两个a比b的个数多1个的子串。根据上述分析，写出关于A的产生式A→a|aS|bAA。可以通过和A类似的分析，写出关于B的产生式B→b|bS|aBB。可以用归纳法证明上面所写的文法是正确的。现在，我们很清楚被选答案中的4个文法所描述的语言，它们分别是：L(Ga)={w|w∈{a,b}+且w中a比b的个数多一个}L(Gb)={w|w∈{a,b}+且w中b比a的个数多一个}L(Gc)={w|w∈{a,b}+且w中a和b的个数相等}L(Gd)={w|w∈{a,b}+且w中a和b的个数相等}

  • 第3题：

    己知文法G2=(VT＝{a，'，'，(，)}，VN={S，L}，S，P)，其中P为， S→(L)|a L→L，S|S 右句型(L，(L，S))的句柄是(28)。

    A．(L，(L，S))

    B．(L，S)

    C．L,S

    D．S


    正确答案：C
    解析：在自底向上分析的过程中，按最右推导的逆过程构造出最右推导，称为规范归约。关键是每步找出被归约的右句型的“可归约串”，称为“句柄”。请读者仔细领会句柄的定义。右句型(最右推导推导出的句型)γ的句柄是一个产生式A→β以及γ中的一个位置，根据这个位置可找到β，用A代替β得到最右推导的前一个右句型。即如果有下面的最右推导：SaAwaβw那么，在a后A→β是aβw的句柄。句柄右边的w仅含终结符号。有的教课书上，句柄的定义借助于短语、直接短语的定义给出：设G＝(VT,VN，S，P)足一个文法，若SaAγaβγ则在句型aβγ中，β是相对于非终结符号A的短语。又若SaAγaβγ则在句型αβγ中，β是相对于非终结符号A的直接短语，最左边的直接短语称为句柄。根据句型(L，(L,S))的最右推导：S(L,(L))(L，(L，S))(此步最右推导使用规则S→L，S)因此，(L，(L,S)中的L,S是句型(L，(L,S))的句柄。

  • 第4题：

    已知G4=(VT{a，'，'，(，)}，VN={S，L，L'}，S,P)，其中P为， S→(L)｜a｜ε L→SL' L'→,SL'｜ε FIRST(SL')是(29)。

    A．{','，ε}

    B．{(，a}

    C．{(，a，',')

    D．{(，a，',' ，ε)


    正确答案：D
    解析：FIRST(α)的定义如下：FIRST(α)={a｜αa…，a∈VT}，若αs，则规定ε∈FIRST(α)。从上面定义可以看出，FLRST(α)是从α推导出来的终结符号集合。从SL'推导出的终结符号集合首先包括从S推导出来的终结符号。因为S的规则是S→(L)｜a｜ε，因此，从S推导出来的终结符号有‘(’和‘a’。又因为Sε，因此，FIRST(SL')中也包括从L'推导出来的终结符号。根据L'→，SL'｜ε，从L'推导出来的终结符号是'，'。最后，SL'ε，则ε∈FIRST(SL')。

  • 第5题：

    已知文法G2=(VT={a，'，'，(,)}，VN{S,L}，S，P)，其中P为， S→(L)|a L→L，S|S (a，(a，a))是L(G2[S])的句子，这个句子的最左推导是(28)

    A．

    B．

    C．

    D．


    正确答案：C
    解析：设文法G=(VT，VN，S，P)，A→β∈P，γ，δ∈V*，则称γAδ直接推导出γβδ，表示成：γAδγβδ也称γβδ直接归约到γAδ。对于以上公式，若γ∈VT*，即A是γAδ中最左边的非终结符号，则称以上公式是一个最左推导。若Sa的每一步都是最左推导，则称Sa是一个最左推导，a称为一个左句型。对于以上公式，若δ∈VT*，即A是γAδ中最右边的非终结符号，则称以上公式是一个最右推导。若Sa的每一步都是最右推导，则称Sa是一个最右推导，a称为一个右句型。最右推导也称作规范推导，右句型也称作规范句型。对于句子(a，(a，a))，被选择答案中A是最右推导，C是最左推导，B和D的推导序列中，既有最左推导，又有最右推导。

相关内容