问题
单项选择题
已知文法G2=(VT=a，'，'，(,)，VNS,L，S，P)，其中P为，
S→(L)|a
L→L，S|S
(a，(a，a))是L(G2[S])的句子，这个句子的最左推导是（）。
A．S
(L)(L，S)(L，(L))(L，(L,S))(L，(L，a))(L，(S,a))(L，(a，a)(S，(a，a))(a，(a，a)
B．S(L)(L，S)(S，S)(S，(L))(a，(L))(a，(L，S))(a，(L，a))(a，(S，a)(a，(a，a))
C．S(L)(L，S)(S，S)(a，S)(a，(L))(a，(L，S))(a，(S，S))(a，(a,S))(a，(a，a))
D．S(L)(L，S)(S，S)(a，S)(a，(L))(a，(L，S))(a，(L，a))(a，(S，a)(a，(a，a))
答案
参考答案：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的推导序列中，既有最左推导，又有最右推导。