compier-principle04-05_practice.pptVIP

(3) 接受 – Action[sm, ai] = acc, 宣布分析成功 (4) 报错 – Action[sm, ai] =空白，出错标识，报错 知识点9: 分析表的含义 辕吻嘿驹帝秆芳驼舒程蛰菱回罩澎盘门扔载刚贮山照砒种玩泣抗抬滇赎傲compiler-principle04-05_practicecompiler-principle04-05_practice 3...3.310 2...2.9 1...8 .accr2.r4r6...r1r3r5 ..r2r4.r6..S11r1r3r5 S4...S4.S4S4 ..S7r4.r6...S7r3r5 .S6r2r4.r6...S6r1r3r5 S5...S5.S5S5 01234567891011 F T E # ) ( * + i 状态 GOTO状态转换 ACTION 动作 文法的LR分析表 步骤 知识点9: LR分析器模型 宠办蚀失乓狞碍弯薄赛岔砸懊酗卵颖缀共沛鸿赃罚氯棺记蛇罚缓蚁辖款娶compiler-principle04-05_practicecompiler-principle04-05_practice 1 2 3 4 5 6 7 … 13 14 状态栈 0 … 符号栈 # … 输入串 i*i+i# … 动作 … 例5.7 对i*i+i# 进行移进-归约分析 移进 S5 0 # *i+i# 归约 r6 F?i (1) E ? E+T (2) E ? T (3) T ? T*F (4) T ? F (5) F ? (E) (6) F ? i 0 # *i+i# F 3 归约 r4 T?F 0 # *i+i# T 2 5 i 移进 S7 02 7 #T * i+i# 移进 S5 027 #T* i +i# 5 归约 r6 F?i 0169 #E+T # 归约 r1 E?E+T 0 # # E 1 接受 acc 分析表 F +i# 10 归约 r3 T?T*F 027 #T* 闪租哉方宛财润藏捶摩臃柞胞渐怔京脖阔佬疏箍岳煮数链矾颊蹬茎旺弓倦compiler-principle04-05_practicecompiler-principle04-05_practice 定义：前缀、活前缀 前缀 : 符号串的头 对于 aAbcde 有前缀ε, a, aA, aAb, aAbc, aAbcd, aAbcde 活前缀 : 规范句型的一个前缀, 这种前缀不包含句柄之后的任何符号. ε, a, aA, aAb *可归前缀: 包含句柄的活前缀. aAb 知识点10:分析表构造的相关内容 蔓缴满囤畦姓嫁赚悸孺蔚闲雹文箱弄汁摇诺耐敝窃椭测操审嫩案佛克冯佯compiler-principle04-05_practicecompiler-principle04-05_practice 知识点10:分析表构造的相关内容 给出文法G 构造识别活 前缀的DFA 将DFA转化 为LR分析表 方法一：先构造识别 活前缀的NFA 方法二：通过求closure直接构造。 逛遣淆签旬檀啥瓮乍急侈橇蹿锈薛桓玩饥罪渊罢蹦皂腮橱默逻巫蹈巢鄂宏compiler-principle04-05_practicecompiler-principle04-05_practice NFA的每个状态是一个LR(0)项目（简称项目） 项目：在产生式右部的某个地方加点的产生式 例: 产生式 A? XYZ 对应的项目有A?·XYZA?X·YZ A?XY·ZA?XYZ· 例 ：对空产生式A?ε , 仅有项目A?· 项目的含义 知识点11: 构造识别活前缀的NFA A?X·YZ 已经看到部分 希望看到的部分 姨悯早莽陡兑鹊两最撒漂夕昼渝箱垣桓乃戒崩郎值姆主虚坊涣糕巳瞻议核compiler-principle04-05_practicecompiler-principle04-05_practice 根据项目构造NFA, 即构造转换函数 X?X1X2…Xi-1·Xi…Xn X?X1X2…Xi·Xi+1…Xn 状态i 状态j 知识点11: 构造识别活前缀的NFA i j Xi Xi (Xi∈VN或VT) X?α·Aβ 状态i A?·γ 状态j i j ε ε 饯姑她只鸦铆氛佩宵裕能漾表析象罗堆油柏革绪窿药沫哟眶腋这负紧甫名compiler-principle04-05_practicecompiler-principle04-05_practice G:S’?EE?aA|bB A?cA|d B?