第3章 形式语言与语法分析.ppt

* Error productions 思想：将一些常见的错误写进产生式 Example: 5*x 写成 5x 增加产生式 E ? …… | EE 不利：使文法变得复杂了。 Local and Global Correction 思想：找到一个“最接近的”正确的程序 需要插入或删除一些token; 穷举搜索 不利： 难于实现； 减慢正确程序的分析； “最接近的”不一定是需要的程序； 有些自动工具不支持。 第三章 总结 语法分析作用和分析过程 上下文无关文法的定义，语言，推导，句型等概念 语法分析树和抽象语法树 二义性文法的判定和消除 文法变换算法左公共前缀和左递归的消除 简单的语法错误处理方法 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3.3 语法分析树和抽象语法树 问题: 推导是从开始符产生句型的一种方法; 对同一个句型存在多个推导： N?ND ?NDD ?ND8 ?N98… 或 ?N9D ?N98… 或 ?DDD ?DD8 ?D98 ?198 或 ?D9D ?D98 ?198 或 ?1DD ? 19D ? 198 或 ?1D8 ? 198 …… 即线性推导不能唯一地表示句子的结构 语法分析树: (Syntax Analysis Tree)用于表示句型结构的一种较好方法; 例子 P: (1) E ? T (2) E ? E + T (3) T ? F (4) T ? T * F (5) F ? (E) (6) F ? i (7) F ? n 句型（句子） : i + i * n 该句型存在多个推导： 语法分析树： 语法分析树 语法分析树是针对某个特定CFG的带标号的树 树的每个节点都标记一个符号： 树的根节点标记文法的开始符; 树的每个叶子节点标记一个终极符; 若有树的中间节点标记为A,它有n个儿子节点，从左到右标记为B1,……,Bn,则G中定存在产生式A ? B1 … Bn; 抽象语法树(AST) 语法分析树存在的问题 包含很多不必要(对语义分析和代码生成而言)的节点 抽象语法树 只包含必要的节点 作为语法分析程序输出 句型(句子): i + i * n P: (1) E ? T (2) E ? E + T (3) T ? F (4) T ? T * F (5) F ? (E) (6) F ? i (7) F ? n 第3章 outline 语法分析概述 1.功能需求(输入，输出，主要功能) 2.分析算法+数据结构 3.构造语法分析器的通用过程 上下文无关文法 语法分析树和抽象语法树 二义性文法 文法变换算法 语法错误处理 √ √ √ 3.4 二义性文法 二义性文法(ambiguous grammar) 如果文法的一个句子有两棵或两棵以上不同的语法分析树，则称该句子是二义性的。 包含二义性句子的文法，称为二义性文法。 二义性文法的例子 P: Exp ? Exp + Exp Exp ? Exp – Exp Exp ? Exp * Exp Exp ? Exp / Exp Exp ? (Exp) Exp ? id Exp ? num id + id * id Stm ? if Exp then Stm else Stm Stm ? if Exp then Stm Stm ? ...... 假设有条件语句 if e1 then if e2 then s1 else s2 则可有下图所示的两棵不同的语法分析树： if语句的二义性 if if then Stm Stm Stm Stm else then Exp Exp e1 e2 s1 s2 Stm Stm Stm Stm else then if then if Exp Exp e1 e2 s1 s1 二义性文法(ambiguous grammar) 二义性会给语法分析带来不确定性，应尽量避免写出二义性的文法。但有时用二义性文法定义语法结构更简单直观。 文法二义性问题是不可判定的，也就是不存在一种算法，能在有限步内确切的判定一个文法不是二义性文法。