第4章自下而上语法分析.ppt

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第4章自下而上语法分析

* * * * * * 优点:便于作比较运算,节省存储空间; 缺点:可能将原先不存在优先关系的两个终结符,由于自然数的对应关系变成可比较了。因而可能会掩盖输入串中的错误。 * * * * * * * * * * * * * * * 人知道先做乘除,后做加减,计算机为什么也知道,而一些简单的计算器就不能做? * * * 不存在具有相邻非终结符的产生式 * * * * * * * * * * * * * * * * * * 不能识别只由一个非终结符组成的句柄。不能保证每次对句柄进行归约 * * 从这个练习中可以看出,在该句型中,+ 的优先性低于*,*的优先性低于+,即:+ * +, 因此T*F为最左素短语,由此引出下面的定理。 * * * * 根据最左素短语的定义和移进-归约的语法分析方法得到 例:根据优先关系表构造优先函数: + * ↑ ( ) f 4 6 6 2 9 g 3 5 8 8 2 + * ↑ ( ) + * ↑ ( = ) 练习 对下边的文法,有优先关系表如右:为其构造优先函数: S ? a | (T) T ? T,S | S a , ( ) # a , ( = ) # = a , ( ) # f 6 4 2 6 2 g 7 3 7 2 2 算符优先分析中的错误处理 使用算符优先分析法时,可在两种情况下发现语法错误: 1. 若栈顶终结符号与下一个输入符号之间不存在任何优先关系 2. 若找到某一可归约串,但不存在任一产生式,其右部与其匹配。 设文法为: E →#E# T→F E→E+T F→P↑F | P E→T P→(E) T→T*F P→i 求算符优先关系表。 练习 解: (1)求firstVT和lastVT集 firstVT(E)={#} firstVT(E)={+,*,↑, ( , i ) firstVT(T)={*,↑, ( , i ) firstVT(F)={↑, ( , i ) firstVT(P)={ ( , i ) lastVT(E’)={#} lastVT(E)={+,*,↑, ) , i } lastVT(T)={*,↑, ) , i } lastVT(F)={ ) ,↑, i } lastVT(P)={ i , ) } firstVT(B)={b|B?b… 或 B?Cb…} E = #E# E ?#… E?E+T E?T?T*F E?T?F?P↑F E?T?P?(E) ?i lastVT(B)={a|B?…a 或 B?…aC} (2) 求 = 关系 E →#E# # = # P→(E) ( = ) (3) 求关系 E → #E# 则 # firstVT(E) 所以 # +, # *, # ↑, # ( , # i E →E+T 则 + firstVT(T) 所以 + *, + ↑, + ( , + i T→T*F 则 * firstVT(F) 所以 * ↑, * ( , * i F→P↑F 则↑ firstVT(F) 所以 ↑ ↑, ↑ ( , ↑ i P→(E ) 则( firstVT(E) 所以 ( +, ( *, ( ↑, (( , ( i (4) 求 关系 E →#E# 则 lastVT(E) # 所以 + #, * # ,↑ # , ) #, i # E→E+T 则lastVT(E) + 所以 + +, * +, ↑ + , ) +, i + T→T*F 则lastVT(T) * 所以 * *, ↑ *, i *, ) * F→P↑F 则lastVT(P) ↑ 所以 i ↑, ) ↑ P→(E) 则lastVT(E) ) 所以 + ) , * ) , ↑ ) , i ) , ) ) 算符优先关系表 + * ↑ i ( ) # + * ↑ i ( = ) # = * * * * * * * * * * *

文档评论(0)

ccx55855 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档