第五章语法自底向上方法介绍.ppt

R4 13 R5 12 R6 R6 11 R4 R4 10 R6 9 13 9 S12 S8 8 R2 7 7 9 S12 S8 6 10 11 S4 S5 5 R5 R5 4 R3 3 R6 S6 2 A 1 3 2 1 S4 S5 0 R L S # = b a LR(1)驱动程序 LR(1)的驱动程序与SLR(1)的驱动程序是相同的，可共用一个。 状态栈 符号栈 输入串 Action GoTo 0 aab=b# S5 0,5 a ab=b# S5 0,5,5 aa b=b# S4 0,5,5,4 aab =b# R5 11 0,5,5,11 aaL =b# R6 10 0,5,5,10 aaR =b# R4 11 0,5,11 aL =b# R6 10 0,5,10 aR =b# R4 2 0,2 L =b# S6 0,2,6 L= b# S12 0,2,6,12 L=b # R5 9 0,2,6,9 L=L # R6 7 0,2,6,7 L=R # R2 1 0,1 S # A 设文法G[S]为： S?AS | ? A ?aA | b 证明G[S]是LR(1)文法；构造它的LR(1)分析表；给出符号串abab#的分析过程 LALR(1)方法 它具有SLR(1)的状态数少的优点和LR(1)的适用范围广的优点。 LALR(1)方法的功能介于SLR(1)和LR(1)之间。 LALR(1)状态机的状态个数和LR(0)状态机的状态个数相同，而其展望符则即不采用SLR(1)的Follow集方法，也不采用LR(1)的完全精确法。 LALR(1)的思想来源 LR(1)状态机和LR(0)状态机从它们所表示的自动机角度来看是等价的 ； 自动机可通过合并等价状态来减少状态个数。 在LR(1)状态机出现很多同心状态，而LALR(1)状态机则不产生同心的状态， 从而大大减少状态数，这就是LALR(1)和LR(1)的主要差别。 LALR(1)状态机的定义方式： 用LR(1)状态机来定义； 用LR(0)状态机来定义。 LALR(1)状态机的构造方法： 先构造LR(1)状态机，后构造LALR(1)状态机； 按LR(1)状态机的方式构造，但发现同心状态 时不产生新状态，而是采用合并状态的方法； 先构造LR(0)状态机，而后用传播方式求出每 个项目的展望符集。 相关的术语 假设[A→???, b]是LR(1)项目，则称其中 的LR(0)项目部分A→???为该项目的心。 如果LR(1)状态机中的两个状态具有相同的 心，则称它们为同心状态。 例 假设在LR(1)状态机中有状态S1和S2： S1 = { [A→???, a1 ]，[B→??, b1 ] }, S2 = { [A→???, a2 ]，[B→??, b2 ] } Core(S1)= { A→???, B→?? }, Cor