[计算机硬件及网络]第5章 自顶向下语法分析方法.ppt

[计算机硬件及网络]第5章 自顶向下语法分析方法.ppt

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

第五章 自顶向下语法分析方法 【学习目标】 1、自顶向下分析思想 2、FIRST集、FOLLOWQ集、SELECT集的计算 3、LL(1)文法的判别 4、某些非LL(1)文法到LL(1)文法的等价转换 5、预测分析方法的工作原理 引言 5.1 确定的自顶向下分析思想 自顶向下分析算法的基本思想为:从文法的开始符号出发,选用合适的规则,企图推导出与输入的单词串完全匹配的句子。若输入串是给定文法的句子,则必能推出;反之必然出错。   通过举例来说明确定性。 例1 文法G[S]: S→pA S→qB A→cAd A→a 对输入串pccadd进行语法分析。 文法G[S]: S→Ap | Bq A→a | cA B→b | dB 分析输入串ccap。 一、FIRST集合的定义——首字符集 构造First (X)算法 构造文法G的每一文法符号X,X ∈ (VT∪VN) (1)若X ∈VT ,则First(X)={X}; (2)若X ∈VN ,且有产生式X→a…,则a ∈First(X);若X→ε也是一条产生式,则ε∈ First (X); (3)若有产生式X→Y… 且Y ∈VN ,则把First (Y)中所有非ε-元素都加到First (X)中; (4)若有产生式X→Y1 Y2…Yk,其中Y1Y2…Yk∈VN,且对任何j(1≤ j≤i-1 ),First (Yj)都含有ε,则把First (Yj)中的所有非ε -元素都加到First (X)中; 若所有的First (Yi) (1≤ Yi≤k)均含有ε,即Yi ? ε,则把ε加入到First (X)中。 反复用1~4直到每个符号的First集不再增大为止。 例4 求例2文法G[S]关于S,A,B的FIRST集。 S→Ap S→Bq A→a A→cA B→b B→dB 思考题 1. 文法G[E]: E→TE1 E1→+T E1 | ε T→FT1 T1→*F T1 | ε F→(E) | a 求G中的每一个符号的FIRST集合。 空产生式引起的问题 文法规则中允许有空产生式的情况,若文法中含有空产生式,会给自顶向下分析带来一些不同的考虑。 例: 文法G[S]: S→aA S→d A→bAS A→ ε 对输入串abd进行分析。 解:S==aA == abAS ==abεS == abd 分析:在第3步面临输入符号d时,d不在FIRST(A)中,但ε∈ FIRST(A),因此对于d的匹配就依赖于在可能推导过程中A后面的符号S。为此,需定义一个文法符号的后继符号的集合。 二、FOLLOW集定义——后继符号集 设S是文法的开始符号,对任何非终结符A(A∈ VN) Follow(A)={a | S ? … Aa …,a∈VT} 特别地若S ? … A,则规定#∈Follow (A)。 也就是说Follow (A)就是所有出现的句型中紧跟在A后的终结符或“#”(输入串的结束符)。    Follow集中不含ε元素。 结论: 当文法中含有A??, A ??时,如果?、 ?不能同时推导出?,则当First( ? )?(First(?) ?Follow(A))=?时,能唯一地确定候选产生式。 祝大家中秋节快乐 知识回顾 构造First (X)算法 构造文法G的每一文法符号X,X ∈ (VT∪VN) (1)若X ∈VT ,则First(X)={X}; (2)若X ∈VN ,且有产生式X→a…,则a ∈First(X);若X→ε也是一条产生式,则ε∈ First (X); (3)若有产生式X→Y… 且Y ∈VN ,则把First (Y)中所有非ε-元素都加到First (X)中; (4)若有产生式X→Y1 Y2…Yk,其中Y1Y2…Yk∈VN,且对任何j(1≤ j≤i-1 ),First (Yj)都含有ε,则把First (Yj)中的所有非ε -元素都加到First (X)中; 若所有的First (Yi) (1≤ Yi≤k)均含有ε,即Yi ? ε,则把ε加入到First (X)中。 反复用1~4直到每个符号的First集不再增大为止。 构造FOLLOW(B)的算法 反复使用如下规则直到每个FOLLOW集不再增大为止: (1)对于文法的开始符号S,置

您可能关注的文档

文档评论(0)

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

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

1亿VIP精品文档

相关文档