编译原理——第四章语法分析

语法分析

       

       语法分析是编译过程的核心部分，主要任务是在词法分析识别出单词符号串的基础上，分析并判定程序的语法结构是否符合语法规则。本质是按文法的产生式，识别输入符号串是否为一个句子，即判断能否从文法开始符号出发推导出这个输入字符串。语法分析的过结果是构造语法树，按照语法树的构造过程可分为自上而下推导，自下而上规约。本章主要讨论自上而下的推导。 

      自上而下分析的主旨是从文法的开始符号(根节点)出发，根据文法自上而下地为输入串建立一棵语法树，找到最左推导。一般的自上而下方法存在回溯，会产生左递归（P=>Pα），且回溯具有不确定性，可能产生虚假匹配，不能准确地确定输入串中出错的位置，效率低。不带回溯的自上而下分析算法LL(1)可以消除这些问题。

     首先不带回溯的文法不能含左递归。消除左递归：（1）消除直接左递归：把产生式P→Pα1|Pα2|…|Pαm|β1|β2|…|βn（βi不以P开头，αi不为ε）改写成：P→β1P'|β2P'|…|βnP’，P'→α1P'| α2P'|…|αmP'| ε（2）间接左递归：把间接左递归改为直接左递归，将文法中产生式：Pi →Pjγ|β1|β2|…|βn， Pj→δ1|δ2|δ3|…|δk改写成:Pi →δ1γ|δ2γ|δ3γ|…|δkγ|β1|β2|…|βn；消除直接左递归，化简改写后的文