问题 单项选择题

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

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

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

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

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

答案

参考答案:A

解析:

上图是某上下文无关文法M[S]推导出某句子的分析树,看图只要稍作推导就可推出“acabcbdcc”是该文法推导出的一个句子;看该分析树的第一层分支即可知“S→aAcB”是该文法的一个产生式;而a、b、c、d因为在图中是分析树的叶子,都是该文法的终结符号;右边的B分支下有S→Bd,B→ε,所以该文法推导出的句子不一定是“a”开头,因此A选项是不正确的。

选择题
名词解释