第五章自底向上的语法分析.docVIP

语法分析——自底向上的分析 重点与难点 重点：自底向上分析的基本思想，算符优先分析法的基本思想，简单算符优先分析法。 LR分析器的基本构造思想，LR分析算法，规范句型活前缀及其识别器——DFA，LR(0)分析表的构造，SLR(1)分析表的构造。 难点：求FIRSTOP 和LASTOP，算符优先关系的确定，算符优先分析表的构造，素短语与最左素短语的概念。规范句型活前缀，LR(0) 项目集闭包与项目集规范族，它们与句柄识别的关系，活前缀与句柄的关系。 基本要求 掌握自底向上分析的基本思想、移进规约、分析器的基本结构，分析器的四种动作，移进归约冲突，归约归约冲突。 掌握算符优先分析方法；熟练掌握 LR分析器、SLR(1)分析。 了解LR(1)分析、LALR(1)分析。 例题解析 例1 S→aS|bS|a (1)构造该文法的LR(0)项目集规范族 (2)构造识别该文法所产生的活前缀的DFA。 (3)构造其SLR分析表，并判断该文法是否是SLR(1)文法。 【解】解题思路 构造LR(0)项目集规范族，有两种方法：一种是利用有限自动机来构造，另一种是利用函数CLOSURE和GO来构造。本题采取第2种方法，通过计算函数CLOSURE和GO得到文法的LR(0)项目集规范族，而GO函数则把LR(0)项目集规范族连成一个识别该文法所产生的活前缀的DFA。 解答 (1)将文法G(S)拓广为G(S’)： (0)S’→S (1)S→aS (2)S→bS (3)S→a 构造该文法的LR(0)项目集规范族： I0=CLOSURE({S →·S})={S’ →·S, S→·aS, S→·bS, S→·a} I1=GO( I0 , a)=CLOSURE({S→a·S , S→a·})={S→a·S , S→a· , S→·aS, S→·bS, S→·a } I2=GO(I0 , b)=CLOSURE({S→b·S })={ S→b·S, S→·aS, S→·bS, S→·a } I3=GO(I0 , S)=CLOSURE({S’ →S·})={ S’ →S·} GO(I1, a)=CLOSURE({S→a·S , S→a·})=I1 GO(I2, b)=CLOSURE({S→b·S})=I2 I4=GO(I1, S)=CLOSURE({S→aS·})={S→aS·} GO(I2, a)= CLOSURE({S→a·S , S→a·})=I1 GO(I2, b)= CLOSURE({S→b·S})=I2 I5=GO(I2, S)=CLOSURE({S→bS·})={ S→bS·} 所以，项目集I0，I1，I2，I3，I4和I5构成了该文法的LR(0)项目集规范族。 (2)我们用GO函数把LR(0)项目集规范族连成一个识别该文法所产生的活前缀的DFA如图1所示。 (3)构造其SLR分析表。 表1 SLR分析表 ACTION GOTO 状态 a b # S 0 S1 S2 3 1 S1 S2 r3 4 2 S1 S2 5 3 acc 4 r1 5 r2 注意到状态I1存在“移进-归纳”冲突，计算S的FOLLOW集合： FOLLOW(S)={#} 可以采用SLR冲突消解法，得到表5.1所列的SLR分析表。 从分析表可以看出，表中没有冲突项，所以该文法是SLR(1)文法。 例2构造识别下列文法的所有活前缀的DFA S →A|B A →aAc A →a B →bBd B →b 【解】(1)构造推广文法 0)S’ →S 1)S →A 2) S →B 3)A →aAc 4)A →a 5)B →bBd 6)B →b （2）识别该拓广文法的所有规范句型活前缀的DFA项目集规范族 C={I0,I1,I2,I3,I4,I5,I6,I7,I8,I9} I0={ S’→.S ,S→.A,S→.B,A→.aAc,A→.a,B→.bBd,B→.b } I1={ S’→S. } I2=( S→A.) I3=( S→B.) I4=( A→a.Ac,A→a.,A→.aAcA→.a) I5=( B→b.Bd,B→b.,B→.bBd,B→.b) I6=( A→aA.c) I7=( B→bB.d) I8=( A→aAc.) I9=( B→bBd.) (3)识别该拓广文法的所有规范句型活前缀的DFA 例3 给定文法G: S → ( L | a L → S , L | ) (1)构造拓广文法及拓广文法的LR(0)项目集规范族(状态集合)。 (2)构造这个文法的SLR（1）分析表, 【解】（1）构造拓广文法 S’ →S S → (L 2) S → a 3) L → S, L 4) L → ) 拓广文