14第四章LL分析方法.ppt

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

第四章 LL分析方法 任课教师 王养廷 主要内容 LL文法 微小语言实例 LL分析表 LL中的if-then-else问题 1 LL文法 LL(k)文法含义 L:自左至右扫描 L:使用最左推导 k:向前看k个字符 LL(1)文法是LL(k)文法特例 LL(1)文法属于自顶向下文法 LL(1)与递归下降方法区别 递归下降方法对应每个非终结符产生子程序,而LL(1)方法产生分析表 递归下降方法能判断每个生成式的结束,而LL(1)则不能 递归下降方法不使用符号栈,而LL(1)使用符号栈 1 LL文法 LL(1)文法定义 对任意的非终极符号A的任意两个生成式A→ α和A→ β,都要满足Predict(A→ α) ∩Predict(A→ β)= Φ,满足者以条件的文法称为LL(1)文法 LL(1)主要工作 求每个生成式的Predict集 构造LL(1)分析表 设计LL(1)驱动程序 1 LL文法 LL(1)文法特性 没有二义性 没有左递归 每个非终极符号至多有一个右部可导空 …… 2 微小语言实例 微小语言文法定义 prog → begin SL end SL → S S’ S’ → S S’ S’ → ε S → id := E; S → read(IL); S →write(EL); IL →id I’ I’ →, id I’ I’ → ε EL → E E’ E’ →, E E’ E’ → ε E → P P’ P’ → add op P P’ P’ → ε P → (E) P → id P → n add op → + add op → - 2 微小语言实例 微小语言结构 微小语言程序示例 begin a:= bb –3.14 + a; end 讲解示例与结构之间的关系 2 微小语言实例 first集(非终极符号) 2 微小语言实例 讲解前四个非终极符的计算过程 program statmant list statmant statmant tail 2 微小语言实例 follow集 2 微小语言实例 讲解前四个非终极符的计算过程 program statmant list statmant statmant tail 2 微小语言实例 predict集(部分) 2 微小语言实例 讲解前四个非终极符的计算过程 program →begin statmant List end statmant list →statmantstatmant tail statmant tail →statmantstatmant tail statmant tail → λ 3 LL分析表 LL分析表 生成式选择矩阵 使用数据表实现生成式的选择 行头是非终极符号 列头是终极符号 内容是生成式(编号),空白为错误 分析表定义 T: VT X VN →P∪{Error} T(A,t)= A→ α ,当t∈Predict(A→ α) T(A,t)=Error, 否则 3 LL分析表 3 LL分析表 对照定义说明分析表含义 对照Predict集说明生成过程 4 驱动程序 驱动器图示 P93 算法 初始化:Stack:=empty; push(S); 读下一个字符:Read(a) 若当前格局为(empty,#),则成功结束 设当前格局为(X... , a...)则 若X ∈ VT X=a ,则{pop(1);read(a);goto 3} 若X ∈ VT X≠a,则Error 若X ∈ VN 则 if T(X,a)=X → Y1 Y2 ... Yn then{pop(1);push(Y1 Y2 ... Yn);goto 3} else error 5 if-then-else问题 else悬空问题 文法的二义性 表现在一个单元内有两个生成式 P87 增加endif后的结果 总结 总结 本节通过微小语言来介绍LL(1)分析方法 重点 构造一个LL(1)分析表 作业 P147 13, 14 * * {+, -} add op {+, -, λ} P’ {id, num, (} P {comma, λ} E’ {comma, λ} I’ {id, num, (} EL {id} IL {id, num, (} E {id, read, write, λ} S’ {id, read, write} S {id, read, write} SL {begin} prog first集 非终极符号 {id, num, (} add op {comma,

文档评论(0)

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

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

版权声明书
用户编号:8133070117000003

1亿VIP精品文档

相关文档