• LL(1),LR(0),SLR(1),LR(1),LALR(1)的 联系与区别



    一:LR(0),SLR(1),规范LR(1),LALR(1)的关系


        首先LL(1)分析法是自上而下的分析法。LR(0),LR(1),SLR(1),LALR(1)是自下而上的分析法。
                自上而下:从开始符号出发,根据产生式规则推导给定的句子。用的是推导
                自下而上:从给定的句子规约到文法的开始符号。用的是归约

         1: SLR(1)与LR(0)的关系:

               SLR(1)与LR(0):简单的LR语法分析技术(即SLR(1)分析技术)的中心思想是根据文法构造出LR(0)自动机。

                LR(0):见到First集就移进,见到终态就归约

             SLR(1)见到First集就移进,见到终态先看Follow集,与Follow集对应的项目归约,其它报错。

       2: LR(1)与LR(0)的关系:

          规范LR(1)语法分析技术的中心思想是根据文法构造出LR(1)自动机 ,而规范LR(1)自动机构造方法和LR(0)自动机的构造方法相同,只是多增加了向前搜索符号。

       3:规范LR(1)与LALR(1)的关系:

          LALR(1)是对LR(1)项集族I中具有同心项的项集进行合并得到I',然后根据I’进行分析的方法。

     


    二:LL(1),SLR(1),规范LR(1),LALR(1)的判别


          1:LL(1)判断规则

            判定规则: 方法一:龙书上有很明确的规则,龙书上这样说, 对形如 A->a|β 这样的文法,满 足

            ①FIRST(α)∩ FIRST (β ) =Φ
            ②若ε∈ FIRST( α), 要满足 FIRST(β) ∩FOLLOW(A)=Φ
            这两个条件的才是 LL(1) 文法。
            这里要注意一下条件②, α和 β 是可以互换的,意思就是只要其中有一个 FIRST 集包含ε,那么就要看另一个了

                       方法二:

                        如果画出了预测分析表,在一个格子中有两条产生式,则存在冲突,就不是LL(1)文法。

         2:SLR(1)判断规则

           方法一:画出文法的LR(0)自动机,如果没有移进--规约冲突,即shift--reduce 冲突,则该文法是SLP(1)文法

       3:LALR(1)和LR(1)的判断规则

           画出文法的LR(1)自动机,如果没有同心项且没有状态冲突,则该文法是LALR(1)文法;如果有同心项且合并同心项有状态冲突,则是LR(1)文法

  • 相关阅读:
    2016_6_28日报
    2016_6_27日报
    软工总结
    团队项目:第九关攻略
    团队项目:第八关攻略
    团队项目:第七关攻略
    团队项目:第六关攻略
    团队项目:第五关攻略
    团队项目:第三四关攻略
    day5
  • 原文地址:https://www.cnblogs.com/Alexkk/p/6033159.html
Copyright © 2020-2023  润新知