己知文法G2=(VT={a,',',(,)},VN={S,L},S,P),其中P为, S→(L)|a L→L,S|S 右句型(L,(L,S))

Question

己知文法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

Answer 1

正确答案：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))的句柄。