自己动手写编译器之Tiny语言语法分析器的实现

接着上一篇文章介绍的Tiny语言的词法分析的实现，本文将介绍Tiny语言的语法分析器的实现。

1 Tiny语言的语法

下图是Tiny在BNF中的文法，

文法的定义可以看出，INNY语言有以下特点：

1 程序共有5中语句：if语句，repea语句，read语句，write语法和assign语句。
2 if语句以end作为结束符号，if语句和repeat语句允许语句序列作为主体。
3 输入/输出由保留字read和write开始。read语句一次只读出一个变量，而write语句一次只写出一个表达式。

2 Tiny编译器的语法树结构

TINY有两种基本的结构类型：语句和表达式。语句共有5类：（if语句、repeat语句、assign语句、read语句和read语句），表达式共有3类（算符标的是、常量表达式和标识符表达式）。因此，语法树节点首先安装它是语句还是表达式来进行分类，接着根据语句或表达式的种类进行再次分类。
树节点最大可有3个孩子的结构（仅在带有else部分的if
语句才用到）。语句通过同属域而不是子域来排序，即由父亲到他的孩子的唯一物理连接是到最左孩子的。孩子则在一个标准连接表中自左向右连接到一起，这种连接称作同属连接,用于区别父子连接。

左边的图片是同属连接，右边的图片表示父子连接。

一个Tiny语法树节点的C声明如下：

/***********   Syntax tree for parsing ************/
/**************************************************/

typedef enum {StmtK,ExpK} NodeKind;
typedef enum {IfK,RepeatK,AssignK,ReadK,WriteK} StmtKind;
typedef enum {OpK,ConstK,IdK} ExpKind;

/* ExpType is used for type checking */
typedef enum {Void,Integer,Boolean} ExpType;

#define MAXCHILDREN 3

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; /* for type checking of exps */
   } TreeNode;

/**************************************************/

下面画出语法树的结构，用矩形框表示语句节点，用圆形框或椭圆形框表示表达式节点。仍然以Tiny语言的阶乘为例，给出Tiny程序的语法树。

{ Sample program
  in TINY language -
  computes factorial
}
read x; { input an integer }
if 0 < x then { don't compute if x <= 0 }
  fact := 1;
  repeat
    fact := fact * x;
    x := x