编译原理—chapter4.ppt

下载文档 降价啦

10
0
约2.29万字
约 106页
2017-02-28 发布于湖北
举报
版权申诉
保障服务

编译原理—chapter4.ppt

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

编译原理—chapter4

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 引入L,M,N三个标记非终结符来保证当B子树被规约时，B.ps的值在分析栈的已知位置。 * * * * * * 在本例中，对于语义规则的计算将把类型int 存放到符号表中标识符相应的表项中。 * * * * * * * * * * * * * * * * * * * * * * * * * * * 4.4 L属性的自下而上计算产生式语义规则 S ? LB B.ps = L.s; S.ht = B.ht L ? ? L.s = 10 B ? B1 MB2 B1.ps = B.ps; M.i = B.ps; B2.ps = M.s; B.ht = max(B1.ht, B2.ht ) M ? ? M.s = M.i B ? B1 sub NB2 B1.ps =B.ps; N.i = B.ps; B2.ps = N.s; B.ht = disp (B1.ht, B2.ht ) N ? ? N.s = shrink(N.i) B ? text B.ht = text.h ? B.ps 4.4 L属性的自下而上计算举例说明 S M s B ? L s B B text ? B sub N s B text ? text 4.4 L属性的自下而上计算产生式代码段 S ? LB B.ps = L.s; S.ht = B.ht L ? ? L.s = 10 B ? B1 MB2 B1.ps = B.ps; M.i = B.ps; B2.ps = M.s;B.ht = max(B1.ht, B2.ht ) M ? ? M.s = M.i B ? B1 sub NB2 B1.ps =B.ps; N.i = B.ps; B2.ps = N.s; B.ht = disp (B1.ht, B2.ht ) N ? ? N.s = shrink(N.i) B ? text B.ht = text.h ? B.ps 4.4 L属性的自下而上计算产生式代码段 S ? LB stack[top?1].val =stack[top].val L ? ? L.s = 10 B ? B1 MB2 B1.ps = B.ps; M.i = B.ps; B2.ps = M.s; B.ht = max(B1.ht, B2.ht ) M ? ? M.s = M.i B ? B1 sub NB2 B1.ps =B.ps; N.i = B.ps; B2.ps = N.s; B.ht = disp (B1.ht, B2.ht ) N ? ? N.s = shrink(N.i) B ? text B.ht = text.h ? B.ps 4.4 L属性的自下而上计算产生式代码段 S ? LB stack[top?1].val =stack[top].val L ? ? stack[top+1].val = 10 B ? B1 MB2 B1.ps = B.ps; M.i = B.ps; B2.ps = M.s; B.ht = max(B1.ht, B2.ht ) M ? ? M.s = M.i B ? B1 sub NB2 B1.ps =B.ps; N.i = B.ps; B2.ps = N.s; B.ht = disp (B1.ht, B2.ht ) N ? ? N.s = shrink(N.i) B ? text B.ht = text.h ? B.ps 4.4 L属性的自下而上计算产生式代码段 S ? LB stack[top?1].val =stack[top].val L ? ? stack[top+1].val = 10 B ? B1 MB2 stack[top?2].val =