文法和语言(补充).pptVIP

句型的分析 句型分析就是识别一个符号串是否为某文法的句型，是某个推导的构造过程。 句型的分析算法分类 自上而下分析法： 从文法的开始符号出发，反复使用文法的产生式，寻找与输入符号串匹配的推导。 自下而上分析法： 从输入符号串开始，逐步进行归约，直至归约到文法的开始符号。 两种方法反映了两种语法树的构造过程 自上而下方法是从文法符号开始，将它做为语法树的根，向下逐步建立语法树，使语法树的结果正好是输入符号串。 自下而上方法则是从输入符号串开始，以它做为语法树的结果，自底向上地构造语法树。 自上而下的语法分析 例：文法G：S → cAd A → ab A → a识别输入串w=cabd是否为该文法的句子 (1)S → cAd (2) A → ab (3) A → a识别输入串w=cabd是否为该文法的句子 若S ? cAd 后选择(3)扩展A，S ? cAd ? cad S c A d a 自下而上的语法分析 例：文法G： S → cAd A → ab A → a识别输入串w=cabd是否该文法的句子。 (1)S → cAd (2) A → ab (3)A → a识别输入串w=cabd是否为该文法的句子 对串cabd的分析中，如果不是选择ab用产生式(2),而是选择a用产生式(3)将a归约到了A，那么最终就达不到归约到S的结果，因而也无从知道cabd是一个句子。 A c a b d 句型分析的有关问题 自上而下分析中问题的解决 自下而上分析中问题的解决 上下文无关文法中的ε规则 因为ε规则会使得有关文法的一些讨论和证明变得复杂,有时会限制这种规则的出现。 两种定义的唯一差别是ε句子在不在语言中。 * * S S S c A d c A d a b 推导过程：S ? cAd cAd ? cabd w的第二个符号可以与叶子结点a得以匹配，但第三个符号却不能与下一叶子结点d匹配。 ？宣告分析失败（其意味着，识别程序不能为串cad构造语法树，即cad不是句子） 显然是错误的结论。 导致失败的原因是在分析中对A的选择不是正确的。 S A A c a b d c a b d c a b d 归约过程构造的推导： cAd ? cabd S ? cAd 在自下而上的分析方法中如何识别可归约的串？ 在分析程序工作的每一步，都是从当前串中选择一个子串，将它归约到某个非终结符号，该子串称为“可归约串”。 在自上而下的分析方法中如何选择使用哪个产生式进行推导？ 假定要被代换的最左非终结符号是B，且有n条规则：B→A1|A2|…|An，那么如何确定用哪个右部去替代B？ 有一种解决方法：从各种可能的选择中随机挑选一种，并希望它是正确的。 如果以后发现它是错误的，必须退回去，再试另外的选择这种方式称为回溯。 回溯代价极高，效率很低。 自下而上分析的关键问题是需要精确定义“可归约串”。 对这个概念的不同定义形成了不同的自下而上分析方法。 本章只介绍其中的一种：句柄。 上下文无关文法中某些规则可具有形式A→ε，称这种规则为ε规则。