参考答案：B

解析：

[要点解析] 本题考查程序语言翻译基础知识。语言语法的一种表示法称为文法，常用的文法是上下文无关文法。一个上下文无关文法包含以下4个部分： ①一个记号集合，称为终结符集； ②一个非终结符号集合； ③一个产生式集合。每个产生式具有一个左部和右部，左部和右部由肩头连接，左部是一个非终结符，右部是记号和(或)非终结符序列； ④一个开始符号。开始符号是一个指定的非终结符。 利用产生式产生句子的过程，是将产生式A→γ的右部代替文法符号序列αAβ中的A得到αγβ的过程，称为αAβ直接推导出αγβ仪丫p，记作：αAβαγβ。 从S出发进行推导的过程可表示如下。