例 5.3   　　若有文法G3[S]: 　　S → aA|d 　　A →bAS|ε 　　识别输入串w=abd是否是G3[S]的句子 　　试探推导出abd的推导过程为： 　　SaAabASabSabd 　　试探推导成功。 　　相应语法树为图5.3。 图5.3 确定的自顶向下语法分析树(三) 　　从以上推导过程中我们可以看到在第2步到第3步的推导中，即abASTabS时，因当前面临输入符号为d，而最左非终结符A的产生式右部的开始符号集合都不包含d，但有ε，因此对于d 的匹配自然认为只能依赖于在可能的推导过程中A的后面的符号，所以这时选用产生式A→ε往下推导，而当前A后面的符号为S，S产生式右部的开始符号集合包含了d，所以可匹配。