構文解析字句解析によって得られるトークンの列が, プログラミング言語の文法に 沿った正しいプログラムかを調べ, プログラムを抽象構文木と呼ばれる 木構造に変換する処理を構文解析と呼ぶ. また, 構文解析を行うプログラムをパーサ(parser)と呼ぶ. Mini-Schemeの抽象構文木は, 以下のデータ型で表すことができる. type id = string type exp = INTexp of int | IDexp of id | APPexp of id * exp list type func = id * id list * exp type prog = func list * exp 型expが, 式を木構造として表すためのデータ型になっている. 木で表した場合には, もともとの構文にあった括弧が必要なくなっている. その意味で, 抽象構文木と呼ぶ. 関数定義は, 型fu
