第七单元 LR分析.pptVIP

第七章 LR分析 LR 分析方法：一种能根据当前分析栈中的符号串（状态）和向右顺序查看输入串k个符号就可唯一确定分析器的动作是移进还是归约以及用哪个产生式归约的自底向上语法分析算法。 是一种规范归约的过程。 四种技术 LR(0) SLR(1) LR(1) LALR(1) 第七章 LR分析 能力强 几乎所有CFG的语言结构都能用LR分析 不需要对文法附加条件 难点 几乎不可能用手工编写LR分析器 现实 有LR分析器的生成器 (YACC) 7.1 LR分析概述 一个LR分析器由3个部分组成: 总控程序; 分析表[动作(ACTION)、状态转换(GOTO)]; 分析栈[文法符号栈，状态栈]。 7.1 LR分析概述 ACTION表告诉分析器：栈顶状态为i , 当前输入符号是a时做什么？ 1. 移进：ACTION[i ,a]= Sj 2. 归约：ACTION[i ,a]=rj (若第j条产生式为A?β) 3. 接受：ACTION[S ,a]=acc (S为文法起始符) 4. 报错：ACTION[i,a]=error GOTO表 GOTO[i ,A]= j 表示了当前栈顶状态为i，遇到文法符号A时，应转向新状态j。 7.1 LR分析概述 7.2 LR(0) 分析 LR(0)文法 能力最弱，理论上最重要 以例题6.1为例说明LR(0)分析过程 例：文法G[S]：(1) S → aAcBe(2) A → b(3) A → Ab(4) B → d 对输入串 abbcde# 利用LR分析法进行分析。 Step States. Syms. The rest of input Action Goto 1 0 # abbcde# s2 2 02 #a bbcde# s4 3 024 #ab bcde# r2 goto(2,A)=3 4 023 #aA bcde# s6 5 0236 #aAb cde# r3 goto(2,A)=3 6 023 #aA cde# s5 7 0235 #aAc de# s8 8 02358 #aAcd e# r4 goto(5,B)=7 9 02357 #aAcB e# s9 10 023579 #aAcBe # r1 goto(0,S)=1 11 01 #S # acc 规范句型中活前缀、可归前缀 设λβt是一个规范句型，其中β表示句柄，t∈Vt*，如果λβ= u1u2…ur，那么称符号串 u1u2…ui ( 其中1≤i≤r) 是句型λβt的活前缀。 一个规范句型的活前缀可以有多个，但只有u1u2…ur含有完整句柄β，将其称为可归前缀。 例题所得结论： 活前缀求法：首先画出句型的语法树，并找出句柄，然后，从句型的左边第一个符号开始，取长度分别为1、2、…的符号串，直到包含句柄在内的符号串就是该句型所有的活前缀。而可归前缀就是最长的活前缀。 注意：所有活前缀都不包括句柄右边的任何符号。 可归前缀可以用穷自动机来识别（了解此法即可） 主要思路：将文法中的所有符号均看成是有穷自动机的输入，每当一个符号进栈则表示已经识别了该符号，需进行状态转换；当识别出可归前缀时，等价于在栈中已形成句柄。 定义 (非终结符的左文) LC(A)={? | S’??A?, ??V*, ??Vt*}, 推论：若有 B??A? 则: LC(A) ? LC(B) ·{ ? } 证明： 因为: S’? ?B? ? ??A ? ?， 所以… 规定：对拓广文法的开始符号S’: LC(S’)={?} 例题G