编译原理张淑艳 compiler-principle05_03.pptVIP

NFA的每个状态是一个LR(0)项目（简称项目） 项目：在产生式右部的某个地方加点的产生式 例: 产生式 A? XYZ 对应的项目有 A?·XYZ A?X·YZ A?XY·Z A?XYZ· 例 ：对空产生式A?ε , 仅有项目A?· 项目的含义 5.3.2 LR(0)项目集族＆LR(0)分析表的构造 A?X·YZ 已经看到部分 希望看到的部分 G: S’?E　　 E?aA|bB A?cA|d B?cB|d 更正 1．S’?·E 2．S’?E· 11. E ? ·bB3．E?·aA 　 12. E ? b·B4．E?a·A 　 13. E ? bB·5．E ? aA· 14. B ? ·cB6．A ? ·cA　 15. B ? c·B7．A ? c·A 　 16. B ? cB·8．A ? cA· 　 17. B ? ·d9．A ? ·d　　 18. B ? d· 10. A ? d· 文法的项目: 文法的每个项目都为NFA的一个状态 5.3.2 LR(0)项目集族＆LR(0)分析表的构造 拓展文法 根据项目构造NFA, 即构造转换函数 X?X1X2…Xi-1·Xi…Xn X?X1X2…Xi·Xi+1…Xn 状态i 状态j 5.3.2 LR(0)项目集族＆LR(0)分析表的构造 i j Xi Xi (Xi∈VN或VT) X?α·Aβ 状态i A?·γ 状态j i j ε ε ε 1 3 11 2 4 12 6 7 17 9 5 8 10 18 13 14 15 16 ε ε ε ε ε ε ε ε ε a c A A E b B B c d d 5.3.2 LR(0)项目集族＆LR(0)分析表的构造 1. S’→?E 2. S’→E? 3. E→?aA 4. E→a?A 5. E→aA? 6. A→?cA 7. A→c?A 8. A→cA? 9. A→?d 10. A→d? 11.E→?bB 12.E→b?B 13.E→bB? 14. B→?cB 15. B→c?B 16. B→cB? 17. B→?d 18. B→d? 终态 初态 识别活前缀的NFA 化简NFA得到 识别活前缀的DFA 每个状态是一个项目集, 称作LR(0)项目集 整个状态集称为LR(0)项目集规范族 S’→?E E→?aA E→?bB I0 E→a?A A→?cA A→?d I2 A→c?A A→?cA A→?d I6 A→cA? I7 E→aA? I4 A→d? I5 S→E? I1 E→b?B B→?cB B→?d I3 B→c?B B→?cB B→?d I10 B→cB? I11 E→bB? I9 B→d? I8 a b E c A d c B d c c A B d d 5.3.2 LR(0)项目集族＆LR(0)分析表的构造 构造识别文法活前缀DFA的两种方法 * 求出文法的所有项目，按一定规则构造识别活前缀的NFA, 再确定化为DFA。 通过闭包函数和转换函数，直接求出LR(0)项目集规范族，再由转换函数建立状态之间的连接关系得到识别活前缀的DFA。 5.3.2 LR(0)项目集族＆LR(0)分析表的构造 5.3.2 LR(0)项目集族＆LR(0)分析表的构造 G: S’?E　　 E?aA|bB A?cA|d B?cB|d 1.拓展文法 构造项目集规范簇 2 闭包函数closure(I) 1、I的每个项目均加入closure(I) 2、如果A?α·Bβ在 closure(I)中，且B?γ是产生式，那么如果项目B?·γ还不在closure(I)中的话，那么把它加入。 3、直接closure(I)不再增大为止 A α B β . γ . 例： I={S’?.E} Closure(I) = {S’?.E, E?.aA, E?.bB} 5.3.2 LR(0)项目集族＆LR(0)分析表的构造 G: S’?E　　 E?aA|bB A?cA|d B?cB|d 1.拓展文法 构造项目集规范簇 2 闭包函数closure(I) 3 GO 状态转换函数 GO（I, X） I: 项目集 X：文法符号 A α B β . γ . 例： I = {S?.E, E?.aA, E?.bB} GO(I, a) =