compilr-principle04-05_practice.ppt

(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?·XYZ A?X·YZ A?XY·Z A?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: