第7讲 语法判别及算法--自底向上.ppt

第7讲 自底向上分析 思想：输入串如能规约到文法的开始符号，则串符合文法。 归约与推导相反，用规则左部替换右部 一般而言，自底向上分析比自顶向下分析功能强大。 自底向上分析包括：LR(0) SLR(1) LR(1) LALR(1) L:自左向右输入 R:最右推导（对应最左归约） 功能从上到下分析能力越来越强，越来越复杂。 1 自底向上分析概览 例如： 文法S→(S)S|ε，要分析串 （ ） 改为开始符号对应一条规则 S →S S →(S)S|ε 分析栈 输入 动作 $ ( ) $ 移进 $ ( ) $ 用S →ε归约 $ ( S ) $ 移进 $ ( S ) $ 用S →ε归约 $ ( S ) S $ 用S →(S)S归约 $ S $ 用S →S归约 $ S $ 接受 注意：开始时分析栈中只有$ 结束时，栈中为文法开始符号，输入符号为$ 动作：移进 当前输入符入栈，输入头下移 归约 用规则左部替换栈中的规则右部 最右推导 S =S=( S ) S=( S ) =( ) 最左归约 ( )= ( S ) = ( S ) S= S = S 2 LR(0)分析 LR(0)分析步骤：构造DFA状态 建LR(0)分析表 LR(0)分析过程 构造DFA的状态 例： S →S S→(S)S|ε 包含项目如下 状态 项目集 后继符号 后继状态 0 S →.S S→.(S)S S→. S ( 1 2 1 S →S. 2 S→(.S)S S→.(S)S S→. S ( 3 2 3 S→(S.)S ) 4 4 S→(S).S S→.(S)S S→. S ( 5 2 5 S→(S)S. 注意：项目相同，后继状态也相同 某一状态的项目集中，不同项目，后继符号相同，则后继状态也相同 规则 包含项目 S →S S →.S S →S. S→(S)S S→.(S)S S→(.S)S S→(S.)S S→(S).S S→(S)S. S→ε S→. S ’ →· S S →· (S)S S →· 0 S S ’ → S · 1 S → (S · )S 3 S → ( · S)S S →· (S)S S →· 2 ( S S → (S) · S S →· (S)S S →· 4 ) S → (S)S · 5 S ( ( 例： E →E E→E +n | n 构造DFA的状态 状态 项目集 后继符号 后继状态 0 E →. E E→. E +n E→. n E E n 1 1 2 1 E →E . E→E . +n + 3 2 E→ n . 3 E→E + . n n 4 4 E→E + n . 建LR(0)分析表 例如:文法A →A A→( A ) | a 　　 状态 项目集 后继符号 后继项目 0 A →.A A→.( A ) A→.a A ( a 1 2 3 1 A →A. 2 A→( . A ) A→.( A ) A→.a A ( a 4 2 3 3 A→a . 4 A→(A .) ) 5 5 A→(A ). 状态 输 入 Goto ( a ) $ A 0 2 3 1 1 r r r acc 2 2 3 4 3 r r r r 4 5 5 r r r r LR(0)分析过程 例如：分析 ( ( a ) ) 分析栈 输入 动作 $ 0 ( ( a ) ) $ 移进 $ 0 ( 2 ( a ) ) $ 移进 $ 0 ( 2 ( 2 a ) ) $ 移进 $ 0 ( 2 ( 2 a 3 ) ) $ 归约A→a $ 0 ( 2 ( 2 A 4 ) ) $ 移进 $ 0 ( 2 ( 2 A 4 ) 5 ) $ 归约A→(A ) $ 0