第五章LL(1)文法及其分析程序 5.1预测分析程序 5.2LL(1)文法 1 FIRSTFOLLOW和集定义和计算 2 LL(1)文法定义 3 LL(1)分析程序的生成 5.3非LL(1)文法的改造

第5章LL(1)文法及其分析程序 5.1自上而下的语法分析 5.2预测分析程序 递归下降子程序 表驱动的预测分析程序 5.3LL(1)分析程序的生成LL(1)文法 FIRSTFOLLOW和集定义和计算 5.4非LL(1)文法的改造

语法分析是编译程序的核心部分、语法分析的作用是识别 由词法分析给出的单词符号序列是否是给定文法的正确句子 （程序）， 自顶向下分析法也就是从文法的开始符号出发企图推导 出与输入的单词串完全相匹配的句子，若输入串是给定文法 的句子，则必能推出，反之必然出错。自顶向下分析法又可 分为确定的和不确定的两种，确定的分析方法需对文法有一 定的限制，但由于实现方法简单、直观，便于手工构造或自 动生成语法分析器，因而仍是目前常用的方法之一。不确定 的方法即带回溯的分析方法(又称回溯法)，这种方法实际上 是一种穷举的试探方法，因此效率低，代价高，因而极少使 用

§1.课程信息 §2.编译程序概述 §3.高级语言的语法描述 预备知识 上下文无关文法及其语言的形式定义 文法的等价性 语法树及文法二义性 文法的类型 语法分析的一些思考

针对设计模式识别结果的假阴性问题与重叠问题,为提高设计模式实例恢复的精确性,提出一种形式化上下无关文法关系驱动的设计模式检测方法.依据设计模式实例中的参与者属性及其关系,以形式化可视化语言描述模式实例的识别文法.在此基础上,改进该文法检测设计模式实例参与者间的附加关系,并识别共享实例的模式.实验结果表明,新方法不仅减少了模式实例的假阴性结果,还解决了模式实例识别的重叠问题,与其他检测方法的精确度、召回率及F-score指标比较,新方法取得了较好的效果

5.1 预测分析程序 5.2 LL(1)文法 • FIRST和FOLLOW集定义和计算 • LL(1) 文法定义 • LL(1)分析程序的生成 5.3 非LL(1)文法的改造

本节要点 一、语义 二、属性文法 1.属性等式 2.合成属性和继承属性 3.依赖图 4.属性计算顺序 5.-属性文法和L-属性文法

文法与语言 一、文法被用来精确而无歧义地描述语言的句子的构成方式 二、文法描述语言的时候不考虑语言的含义

– 上下文无关文法 – 自上而下分析和自下而上分析 – 围绕分析器的自动生成展开 3.1 上下文无关文法 3.2 语言和文法 3.3 自上而下分析 3.4 自下而上分析 3.5 LR分析器 3.6 二义文法的应用 3.7 分析器的生成器

5.1 预测分析程序 5.2 LL(1)文法 • FIRST和FOLLOW集定义和计算 • LL(1) 文法定义 • LL(1)分析程序的生成 5.3 非LL(1)文法的改造