编译程序构造与实践教程第五章.pptVIP

一个LR识别程序由驱动程序及分析表两部分组成。对于同一个k值的LR(k)文法，可以使用同一个驱动程序。但如上所述的（规范）LR分析表的构造工作量甚大，阻碍了LR分析技术的推广应用。 目前LR分析表的构造有三种方法： 规范LR分析表构造法（LR） 简单LR分析表构造法（SLR） 前视LR分析表构造法（LALR） 重点讨论SLR分析表构造方法。 (2) SLR(k)方法 a. 基本思想：分析过程中，如果不向前看一个符号能确定分析动作，就不向前看任何符号，如果不能确定，再向前看一个符号。因此，基于LR(0)项集。 b. 思路：引进特征有穷状态机CFSM LR(0)项 — LR(0)项集、后继LR(0)项集 — LR(0)项集规范族、GO函数 — 特征有穷状态机CFSM 依据CFSM填LR分析表。 其中， GO函数：LR项集之后继关系的抽象。 特征有穷状态机CFSM则是LR(0)项集规范族与GO函数的抽象。 ? LR(0)项 如果U::=uv是一个规则，其中u或v可为空串，则U→u.v称为文法G的一个LR(0)项，简称项。