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

Question

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

A．(010)n

B．0n10n

C．1n

D．01n0

Answer 1

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