编译原理ppt5.pptVIP

3.5 LR分析器 LR(k)：L表示从左至右扫描输入串，R表示构造一个最右推导的逆过程，k指的是在决定语法分析动作时需要向前看的符号个数。 LR分析法的缺点：手工实现工作量大 构造LR分析表的方法 简单LR方法（SLR） 规范的LR方法 向前搜索的LR文法（LALR） 描述能力：规范LRLALRSLR 实现代价：规范LRLALRSLR 3.5.1 LR分析算法 语法分析表 分析表构成：动作表(action)和转向表(goto) 注：Si表示状态， ai表示终结符，Ai表示非终结符。 action[s,a]规定了状态s面临输入符号a时应该采取什么动作： 移进：把(s,a)的下一状态s=goto[s,a]和输入符号a推进栈，下一输入符号变成现行输入符号； 归约：指用某一产生式A→β进行归约。 接受：宣布分析成功，停止分析器的工作； 报错：报告发现错误，调用出错处理程序—扫描输入串就可以发现错误位置。 goto[s,X]则指出状态s面对文法符号X（终结符或非终结符）时下一状态是什么。 goto[s,X]：若X ?VT ，表示在当前状态下，读入X应转向什么状态；若X ? VN ，表示当前栈顶句柄归约成X后，应转向什么状态。 ( so X1 s1 ... Xm sm, ai ai+1 ... an $ ) 分析器根据action(sm , ai)确定下一步动作 1. 若action(sm , ai)为移进，且s=goto[sm,ai]，则二元式格局变为: (s0 X1 s1 ? Xm sm ai s, ai+1 ? an $) 2. 若action(sm , ai)为按A??归约，二元式变为: (s0 X1 s1 ? Xm-rsm-r A s, aiai+1 ? an $) 此处, s=goto(sm-r, A), r为?的长度, ?= Xm-r+1? Xm 3. 若action(sm , ai)为接受，则二元式不再变化，变化过程终止，宣布分析成功。 4. 若action(sm , ai)为报错，则二元式变化过程终止，报告错误。 算法3.3 LR分析算法 令a指向?$的第一个符号; while(1) { 令s是栈顶的状态; if (action[s,a]=移进t ) { 把a和t依次压入栈顶; a指向下一个输入符号; } else if (action[s,a]=按文法产生式A??归约 ) { 从栈顶弹出2*|?|个符号; 令t是现在的栈顶状态; 把A和goto[t,A]依次压入栈顶; 输出产生式A??; } else if (action[s,a]=接受) break; /*分析完成*/ else error(); } 例：文法G(E)： (1) E→E＋T (2) E→T (3) T→T*F (4) T→F (5) F→(E) (6) F→id 分析id*id+id的识别过程。 栈 输入 动作 输出 0 id*id+id$ s5 0id5 *id+id$ 用 F?id归约 F?id 0F3 *id+id$ 用 T?F归约 T?F 0T2 *id+id$ s7 0T2*7 id+id$ s5 0T2*7id5 +id$ 用 F?id归约 F?id 0T2*7F10 +id$ 用 T?T*F归约 T?T*F 0T2 +id$ 用 E?T归约 E?T 0E1 +id$ s6 0E1+6 id$ s5 0E1+6id5 $ 用 F?id归约 F?id 0E1+6F3 $ 用T?F归约 T?F 0E1+6T9 $ 用 E?E+T归约 E?E+T 0E1 $ 接受 3.5.2 LR文法和LR分析方法的特点 对于给定文法G，如果能为G构造出LR语法分析表，则称G是LR文法。 LR语法分析器不需要扫描整个栈就可以知道什么时候句柄出现在栈顶，栈顶的状态符号包含了所需要的一切信息。 goto[s,X]定义了一个以文法符号为字母表的DFA。 每步需要向前看k个符号的LR语法分析器所分析的文法称为LR(k)文法 一般k=0或k