第1题编译器中若干基本功能的实现V3.0.docVIP

编译器中若干基本功能的实现 【问题描述】 编译器实现技术是一大宝库，一方面以编译器的实现为背景可以实践几乎全部在数据结构与算法分析课程中学到的主要数据结构与算法；另一方面，编译器设计中使用的问题求解方法、处理问题的思路【实现提示】【输入】 【输出】【实现提示】 （1）G为一个四元组: G = (VT，VN，P，S) VT：终结符(Terminal)集 VN：非终结符(Variable)集，VT∩VN=Φ S： 开始符号(Start Symbol)，S∈VN P： 产生式(Product)集合 α→β，被称为产生式（定义式），读作：α定义为β。其中α∈(VT∪VN)+，且α中至少有VN中元素的一个出现。β∈(VT∪VN)*。α称为产生式α→β的左部(Left Part)，β称为产生式α→β的右部(Right Part) 。 （） A→γ是文法G的一个产生式，且α、β∈（VT∪VN）*， 称αAβ的直接推导/派生(Derive)出αγβ，也称 αγβ直接归约(Reduce)为αAβ。 注意到是根据A→γ而将αγβ中的γ变成了A，所以，一般称将γ归约为A 记为 αAβ(αγβ（ αγβ ( αAβ ） （3）最左推导： 每次推导都施加在句型的最左边的语法变量上——与最右归约对应； （4）语法（分析）树： (Parse Tree，又称语法分析树或分析树) 用树的形式表示句型的结构 树根： 开始符号 中间结点： 非终结符 叶结点： 终结符或者非终结符 每个推导对应一个中间结点及其儿子——一个二级子树-直接短语 显然，如果一个中间结点v标记为A，v的儿子从左到右依次为v1，v2，……，vn，并且它们分别标记为X1，X2，……，Xn，则A(X1X2……Xn∈P 设有文法G的一棵语法树T， T的所有叶子顶点从左到右依次标记为X1，X2，…，Xn，则称符号串X1X2…Xn是T的结果(Yield) （5）二义性（歧义性）： 形象地看，就是一个句子（如：id+id*id） 即有如下两个不同的最左推导： 如果一个文法的句子存在两棵分析树,那么,该句子是二义性的；如果一个文法包含二义性的句子,则称这个文法是二义性的; 否则，该文法是无二义性的。 (ａ) 一般来说,高级程序设计语言存在无二义性文法,但有时用二义性文法。如：表达式文法、条件语句文法 　　　　E→E+E|E-E|E*E|E/E|( E )| id S( if expr then S (if expr then S else S ( other 二义性的句子: if e1 then if e2 then s1 else s2 (ｂ) 对于任意一个CFG，不存在算法判定它是无二义性的；但能给出一组充分条件，满足这组充分条件的文法是无二义性的。 2、示例与数据结构的选择提示 （1）语法分析树的建立 例：设算术表达式的文法G[E]: E::=E+T|E-T|T T::=T*F|T/F|F F::=(E) |i 试以输入符号串i+i*i（G[E]的句子）为例，讨论语法分析树的生成。 如前所述，可为输入符号串i+i*i构造下列推导： E=E+T=T+T=F+T=i+T=i+T*F=i+F*F=i+i*F=i+i*i。 由此推导有相应的语法分析树如图1所示。 图① 语法分析树由结点与边组成，每个结点对应于一个文法符号。为了确定语法分析树的结构，显然，只需确定每个结点在语法分析树中的位置，包括各个节点之间的相互关系。因此，语法分析树的结点的数据结构可设计如下： typedef struct { int 结点序号； int 文法符号序号； int 父结点序号； int 左兄结点序号； int 右子结点序号； } 结点类型； 语法分析树的数据结构可设计如下： 结点类型 语法分析树[MaxNodeNum]； 另外设置一个变量，记录语法分析树中结点的总数。 这样，对于图①中的语法分析树可如下表所示： 如果按照此表所提供各结点的信息来画出语法分析树，得到的结果与图①的完全一样。 （2）句子的生成 这里考虑如何利用计算机实现应用推导生成文法的句子。 例：设文法G[E]: E::=E+T|E-T|T T::=T*F|T/F|F F::=(E) |i 试以句子i+i/i的生成为例讨论实现问题。 不难构造如下的推导（最左推导）： E=E+T=T+T=F+T=i+T=i+T/F=i+F/F=i+i/F=i+i/i 最终所推导得到的终结符号串便是句子。 首先考虑相关的数据结构。推导中每一个句型都是一个符号串，但其长度可变，宜用链表结构，例如