第五章语法——自下而上.pptVIP

Action[S,a]规定了栈顶状态为S时遇到输入符号a应执行的动作： (1)移进：把[S,a]的下一状态S’=Goto[S,a]和输入符号a推进栈，下一输入符号变成现行输入符号。 (2)规约：用产生式A→β进行归约。若|β|=r，归约动作为A，则去除栈顶的r个项，使状态Sm-r变成栈顶状态，然后把[Sm-r,A]的下一状态S’=Goto[Sm-r,A]和文法符号A推进栈。 (3)接受accetpt：宣布分析成功，停止分析器的工作。 (4)报错：发现源程序含有错误，调用出错处理程序。 5.3.2 LR(0)项目集族与LR(0)分析表的构造 一、前缀、活前缀、可归前缀 1.前缀：符号串的任意部首。 abc：ε，a，ab，abc 2.活前缀：文法G的句型，存在规范推导S?αAβ?αωβ，则αω的前缀称为αωβ的活前缀。 3.可归前缀： S?αAβ?αωβ则αω称为可归前缀。 含有句柄的活前缀称为可归前缀。 * * R R 二、LR(0)项目集 1.LR(0)项目：文法G的每条规则右部的任意位置加上一圆点构成的式子。 A→?XYZ A→XYZ A→X?YZ A→XY?Z A→XYZ? A→X1X2…Xi-1Xi ? Xi+1…Xn 对应四个项目 已在栈内符号 尚未进栈符号 A→ ε只有一个项目A→? 2.识别文法活前缀的NFA (1)拓广文法 S’→S 对文法的开始符S加入规则S’→S 例：已知文法G： S’→E E→ aA|bB A→ cA|d B→ cB|d (2)给出文法的所有LR(0)项目。 ? 凡圆点在串的最右边的项目称为终止项目(归约项目) (3)设项目i为X→X1X2…Xi-1 ? Xi…Xn ，项目j为X→X1X2…Xi ? Xi+1…Xn ，则从项目i画一条弧至项目j。 (4)对于项目i为A→ α?Bβ (B?VN)，则从i画一弧射向B→?γ的项目。 ? i Xi j 例：已知文法G： S’→E E→ aA|bB A→ cA|d B→ cB|d ? 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? 例：已知文法G： S’→E E→ aA|bB A→ cA|d B→ cB|d ? 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? ε 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 三、LR(0)项目集规范族的构造算法 LR(0)项目集规范族：构成识别一个文法活前缀的DFA的项目集（状态）的全体。 算法： (1)拓广文法G[S]：增加S’→S G’ (2)设I0是拓广文法G’的一个状态项目集，定义和构造I的闭包closure(I)。 a) I中项目?closure(I) b) 若A→ α?Bβ (B?VN)，则规定B→γ对应的项目B→?γ? closure(I)。 c) 重复b)直至closure(I)不再增加为止。 (3)状态转换函数Go(Ik,x)=closure(Ij) Ij={A → αx?β | A→ α?xβ ?Ik } 如： S→ Aa|Bb A→ Cb|d C→ De|e B→d D→f I={S →?Aa， S →?Bb } closure(I)={S →?Aa， S →?Bb ，B