参考答案：B

解析：本题考查程序语言翻译基础知识。语言语法的一种表示法称为文法，常用的文法是上下文无关文法。一个上下文无关文法包含以下4个部分： ①一个记号集合，称为终结符集； ②一个非终结符号集合： ⑧一个产生式集合；每个产生式具有一个左部和右部，左部和右部由肩头连接，左部是一个非终结符，右部是记号和(或)非终结符序列： ④一个开始符号。开始符号是一个指定的非终结符。 利用产生式产生句子的过程是将产生式A->γ的右部代替文法符号序列殿中的αΑβ中的A得到αγβ的过程，称为αΑβ直接推导出αγβ，记作：αAβ=＞αγβ。从S出发进行推导的过程可表示如下： S＝＞0S0＝＞00S00＝＞000S000＝＞，．．＝＞0^n10^n