[理学]第7章 自下而上的LRk分析方法.ppt

第7章 自下而上的LR(k)分析 本章讨论LR分析法 LR分析法 LR分析法 LR分析法 LR分析器的逻辑结构和工作过程 LR分析器的逻辑结构和工作过程 LR分析器的逻辑结构和工作过程 LR分析器的逻辑结构和工作过程 LR分析器的逻辑结构和工作过程 LR分析器的逻辑结构和工作过程 LR分析器的逻辑结构和工作过程 LR分析器的逻辑结构和工作过程 LR分析器的逻辑结构和工作过程 LR分析器的逻辑结构和工作过程 LR分析器的逻辑结构和工作过程 LR分析器的逻辑结构和工作过程 LR分析器的逻辑结构和工作过程 LR分析器的逻辑结构和工作过程 LR分析器的逻辑结构和工作过程 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 LR（0）分析法 SLR（1）分析法 SLR（1）分析法 SLR（1）分析法 SLR（1）分析法 SLR（1）分析法 SLR（1）分析法 SLR（1）分析法 SLR（1）分析法 SLR（1）分析法 SLR（1）分析法 SLR（1）分析法 SLR（1）分析法 SLR（1）分析法 SLR（1）分析法 SLR（1）分析法 SLR（1）分析法 SLR（1）分析法 SLR（1）分析法 SLR（1）分析法 SLR（1）分析法 SLR（1）分析法 SLR（1）分析法 SLR（1）分析法 SLR（1）分析法 SLR（1）分析法 SLR（1）分析法 SLR（1）分析法 SLR（1）分析法 LR（1）分析法 LR（1）分析法 LR（1）分析法 LR（1）分析法 LR（1）分析法 LR（1）分析法 LR（1）分析法 LR（1）分析法 LR（1）分析法 LR（1）分析法 LR（1）分析法 LR（1）分析法 LR（1）分析法 LR（1）分析法 LR（1）分析法 LR（1）分析法 LALR（1）分析法 LALR（1）分析法 LALR（1）分析法 LALR（1）分析法 LALR（1）分析法 LALR（1）分析法 LALR（1）分析法 LALR（1）分析法 LALR（1）分析法 LALR （1）分析法 LALR（1）分析法 对二义性文法的应用 对二义性文法的应用 对二义性文法的应用 对二义性文法的应用 对二义性文法的应用 对二义性文法的应用 对二义性文法的应用 对二义性文法的应用 对二义性文法的应用 对二义性文法的应用 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 例2 设有文法G[S]: S →(S) |ε 试判断该文法是否SLR(1)文法，若不是，请说明理由；若是，请构造SLR(1)分析表。 解：首先将文法拓广，并给出每条规则编号 0. S′→S 1. S →(S) 2. S →ε 合并同心集需着重指出的是若文法是LR(1)文法, 即它的LR(1)项目集中不存在动作冲突, 合并同心集后若有冲突也只可能是归约—归约冲突而不可能是移进—归约冲突。 假定LR(1)文法的项目集Ik与Ij为同心集，其中 Ik={ [A→α?, a1] [B→β?aγ, b1] } Ij={ [A→α?, a2 ] [B→β?aγ, b2] } 合并同心集后的项目集 Ikj={ [A→α?, a1/a2] [B→β?aγ, b1/b2] } 因为假设文法是LR(1)的, 在Ik中{a1}∩{a}=Φ, 在Ij中{a2}∩{a}=Φ, 显然在Ik j中 ({a1}∪{a2})∩{a}=Φ 这也就是说合并同心集以后，不可能有移进—归约冲突。 但可能有归约—归约冲突。例如,可设想有两个同心的LR(1)项目集: 现在我们可以根据合并同心集后的项目集族构造文法的LALR(1)分析表，其构造方法如下： Ik={ [A→α?, a]