已知G4=(VT{a,',',(,)},VN={S,L,L'},S,P),其中P为, S→(L)|a|ε

Question

已知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，',' ，ε)

Answer 1

正确答案：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')。