《编译原理》第2章 语言概述.pptVIP

ＢＮＦ范式——Backus-Naur Form Backus-Normal Form α→β表示为α∷＝β 非终结符用“”和“”括起来 终结符：基本符号集 其他 β(α1|α2…|αn)≡βα1|βα2…|βαn [α] ≡ α| ε …… ＢＮＦ范式——Backus Normal Form 例 简单算术表达式(只写产生式) 算术表达式∷＝简单表达式+简单表达式 简单表达式∷＝简单表达式*简单表达式 简单表达式∷＝(简单表达式) 简单表达式∷＝id 即：算术表达式∷＝简单表达式+简单表达式|简单表达式*简单表达式|(简单表达式)|id 哪些是终结符？哪些是变量？ 例2-5 句子结构的表示 (文法E→E+E|E*E|(E)|id ） E E + E E→E+E id E→id E E * E→E*E id E→id id E→id E?E+E?id+E?id+E*E?id+id*E?id+id*id 一棵树！ 2.5 CFG的分析树 Parse Tree 用树的形式表示句型的生成 树根： 开始符号 中间结点： 非终结符 叶结点： 终结符或者非终结符 每个推导对应一个中间结点及其儿子——一个二级子树-直接短语 又称为语法分析树 短语：一棵子树的所有叶子自左至右排列起来形成一个相对于子树根的短语。 直接短语：仅有父子两代的一棵子树，它的 所有叶子自左至右排列起来所形成的符号串。 句柄：一个句型的分析树中最左那棵只有父子两代的子树的所有叶子的自左至右排列。 例如，对表达式文法G[E]和句子a1+a2*a3，挑选出推导过程中产生的句型中的短语，直接短语，句柄。 用子树解释短语，直接短语，句柄 E ?E+T ?T+T ?F+T ? a1+T ? a1+T*F ? a1+F * F ? a1+a2 *F E+T T,T+T F,F+T a1, a1+T a1, T*F, a1+T*F a1, F,F*F, a1+F*F a1, a2,a1+ a2 *F, a2 *F a1, a2, a3, a2 * a3 a1+ a2 *a3 E E + T T F a1 T * F F a2 a3 ?a1+a2 *a3 短语 例 短语与分析树 (文法E→E+E|E*E|(E)|id ） E E + E id E E * id id 一棵子树的叶子！ 二义性文法与先天二义性语言 对同一句子存在两棵语法分析树 在理论上不可判定 E E * E id E E + id id E E + E E E id * id id 1. 描述一个句子的文法不是唯一的； 2. 对于一个句子的分析应是唯一的。 考虑表达式下面的文法 G[E],其产生式如下： E?E+E?E*E? (E) ? a 对于句子a+a*a, 有如下两个最左推导： E?E+E ?a+E ?a+E*E ?a+a*E ?a+a*a E ?E*E ?E+E*E ?a+E*E ?a+a*E ?a+a*a 文法的二义性 E?E+E ?a+E ?a+E*E ?a+a*E ?a+a*a E ?E*E?E+E*E ?a+E*E?a+a*E ?a+a*a E E + E E * E a a a E E * E + E E a a a 最左推导 E?E+E ?E+E*E ?E+E*a ?E+a*a ?a+a*a E ?E*E?E*a ?E+E*a?E+a*a ?a+a*a E E + E E * E a a a E E * E + E E a a a 最右推导 如果一个文法的句子存在两棵分析树,那么,该句子是二义性的。如果一个文法包含二义性的句子,则称这个文法是二义性的; 否则，该文法是无二义性的。几点说明： 1 . 一般来说，程序语言存在无二义性文法， 对于表达式来说，文法（2 .1）是二义性的。对于条件语句，经常使用二义性文法描述它： S? if expr then S ?if expr then S else S ? other 二义性的句子: if e1 then if e2 then s1 else s2 二义性（歧义性，ambiquity)的定义 下面是 S?matched_s ? unmatched_s matched_s ?if expr then matched_s