已知某文法G[S]:S→0S0 S→1,从S推导出的符号串可用(21)(n≥0)描述。A.(010)nB.0n10nC.1nD.01n0

Question

已知某文法G[S]：S→0S0 S→1，从S推导出的符号串可用(21)(n≥0)描述。

A．(010)n

B．0n10n

C．1n

D．01n0

Answer 1

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