抽象構文木

提供: miniwiki
移動先:案内検索

抽象構文木: abstract syntax treeAST)とは、通常の構文木(具象構文木あるいは解析木とも言う)から、言語意味に関係ない情報を取り除き、意味に関係ある情報のみを取り出した(抽象した)木構造データ構造である。

理論的には、有限なラベル付き有向木であり、分岐点[1]演算子、葉[2]にそのオペランドを対応させたものである。つまり、葉は変数や定数に対応する。

抽象構文木は構文解析構文木データ構造の中間的なものとして使用される。さらにコンパイラインタプリタなど(プログラミング言語処理系)でのプログラム中間表現として使われ、コンパイラ最適化やコード生成はその上で行われる。抽象構文木のとりうる構造は抽象構文で記述されている。

抽象構文木は(具象)構文木とは異なり、プログラムの意味に関係ない部分を省略する。そのような省略の例としては括弧の省略があげられる。抽象構文木では、オペランドのグループ化が自明な木構造とするのが普通であり、グループ化のための括弧などは意味的に不要である。

大多数のプログラミング言語のような文脈自由言語構文解析で抽象構文木を作るのは簡単である。構文規則ごとに新たな節点を作成し、葉はその規則における記号に対応する。グループ化規則のような抽象構文木に関わらない規則は無視される。そのようにいきなり抽象構文木を生成することもあるし、完全な具象構文木を作り、その後そこから冗長な部分(プログラムの意味に関係しない部分)を除いて抽象構文木に変換することもある。

理論的な観点からは、たとえばソースコード上の位置(何行目の何カラム目など)といった具象の情報は言語処理系には不要であり、抽象構文木には無くてもよいのだが、実践的には、エラーを見つけた時にプログラマに親切なエラーメッセージを出力するためなど、重要な情報であり、時には処理系のフロントエンドではなくバックエンドでも必要なこともある。

脚注

  1. : internal node
  2. : leaf node

関連項目

参考文献

この記事は2008年11月1日までGFDLバージョン1.3以降の再ライセンス規約に基づいていたFree On-line Dictionary of Computingにある項目の資料が元になっている。

外部リンク