参考答案：B

解析：

[分析] 本题考查程序语言翻译基础知识。

语言语法的一种表示法称为文法，常用的文法是上下文无关文法。

一个上下文无关文法包含以下4个部分：

①一个记号集合，称为终结符集。

②一个非终结符号集合。

③一个产生式集合。每个产生式具有一个左部和右部，左部和右部由肩头连接，左部是一个非终结符，右部是记号和(或)非终结符序列。

④一个开始符号。开始符号是一个指定的非终结符。

利用产生式产生句子的过程，是将产生式A→Y的右部代替文法符号序列αAβ中的A得到αγβ的过程，称为αAβ直接推导出αγβ，记作：αAβ=＞αγβ。

从S出发进行推导的过程可表示如下：

S=＞0S0=＞00S00=＞000S000=＞... =＞0ⁿ10ⁿ