● 由某上下文无关文法M[S]推导出某句子的分析树如下图所示,则错误的叙述是 (50) 。 (50)A. 该文法

Question

● 由某上下文无关文法M[S]推导出某句子的分析树如下图所示，则错误的叙述是 （50） 。

（50）

A. 该文法推导出的句子必须以“a”开头

B. acabcbdcc是该文法推导出的一个句子

C. “S->aAcB”是该文法的一个产生式

D. a、b、c、d属于该文法的终结符号集

Answer 1

正确答案：A
试题（50）分析本题考查程序语言基础知识。推导就是从文法的开始符号S出发，反复使用产生式，将产生式左部的非终结符替换为右部的文法符号序列（展开产生式用二表示），直到产生一个终结符的序列时为止。从题中给出的分析树可得到如下的一个最左推导过程S=>aAcB=>aAaBcB=>acaBcB=>acabcB=>acabcbScA=>acabcbBdcA=>acabcbdcA=>acabcbdcc，因此，acabcbdcc是该方法推导出的一个句子。其中用到的产生式如下：S->aAcBS->BdA->AaBA->cB->bScAB->bB->ε从起始符号S出发也可以如下推导：S=>Bd=>εd=>d，即该文法推导出的句子也可以为d，因此选项A错误。参考答案（50）A