tinyparseTree.pptVIP

编译原理 第15讲 TINY语言的语法 3.7 TINY语言的语法 3.7.l TINY的上下文无关文法 3.3.2 抽象语法树 根据翻译的需要，对分析树的必要信息的浓缩。 抽象语法树的构成方法： 操作符作为中间结点，而它的各个操作数是它的孩子结点。 表达式3 + 4的分析树： 抽象语法树： 3.3.2 抽象语法树 表达式(34-3)*42的分析树也可由下面的树简单表示出来： 例：if语句的文法： statement →if-stmt|other if-stmt → if(exp) statement| if (exp) statement else statement exp → 0 | 1 if (0) other else other的分析树是： 例10：if语句的文法： statement →if-stmt|other if-stmt → if(exp) statement| if (exp) statement else statement exp → 0 | 1 if (0) other else other的分析树是： 3.3.2 抽象语法树 If语句只需要3个附属结构就可以翻译：测试表达式、then部分和else部分。因此上例对应的语法树是： 3.3.2 抽象语法树 例11：用分号分隔开的语句序列的文法： stmt-sequence → stmt ; stmt-sequence | stmt stmt → s 串s; s; s关于这个文法的分析树和语法树： 语句序列的 抽象语法树 3.7.2 TINY编译器的语法树结构 TINY有两种基本的结构类型：语句和表达式。 语句共有5类（if语句、repeat语句、assign语句、read语句和write语句） 表达式共有3类（算符表达式、常量表达式和标识符表达式）。 3.7.2 TINY编译器的语法树结构 一个TINY语法树节点的C声明 typedef enum{Stmtk,ExpK}NodeKind; typedef enum{Ifk,RepeatK,AssingK,ReadK,WriteK}StmtKind; typedef enum{Opk,ConstK,IdK}ExpKind; /*ExpType用于类型检查*/ typedef enum｛Void，Integer，Boolean｝ExpType; #define MAXCHILDREN 3 一个TINY语法树节点的C声明 typedef struct treeNode ｛struct treeNode *child[MAXCHILDREN]； struct treeNode *sibling； int lineno； NodeKind nodekind; union｛StmtKind stmt；ExpKind Exp；｝kind； union{TokenType op; int val; char *name;}attr; ExpType type; }TreeNode; TINY语法树节点举例 TINY语法树节点举例 TINY语法树节点举例 write 语句也有一个孩子， 它表示要写出值的表达式： TINY语法树举例 计算一个整型阶乘的语法树： * * P97程序清单3-1 3.3.2 抽象语法树 3.3.2 抽象语法树 if 0 other other 语法树结构的图形表示方法： 矩形框表示语句节点， 用圆形框或椭圆形框表示表达式节点。 语句或表达式的类型用框中的标记表示，额外的属性也在括号中列出来了。 同属指针（表示同属一个嵌套层次的语句）画在节点框的右边，而子指针（连接孩子结点）则画在框的下面。 用三角形表示额外的非指定的树结构，其中用点线表示可能出现也可能不出现的结构。 3.7.2 TINY编译器的语法树结构 3.7.2 TINY编译器的语法树结构 3.7.2 TINY编译器的语法树结构 assign 语句有一个表示其值是 被赋予的表达式的孩子： 3.7.2 TINY编译器的语法树结构 算符表达式有两个孩子，它们表示 左操作数表达式和右操作数表达式： 3.7.2 TINY编译器的语法树结构 {TINY语言范例-计算阶乘} read x;{输入一个整数} if 0x t