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