構文木 (Parse Tree) ・ 形成木

構文木は、式の構成要素と入れ子関係を木構造で表したものだ。演算子の優先順位、スコープ、結合方向を明示でき、コンパイラ・静的解析・クエリ最適化の基礎になる。

仕組みと確認

字句解析と構文解析を分け、入力から一意に近い木を作る。変換前後で木の意味が保存されるかを、境界例と代表的な式で確認する。

限界と注意点

表面的な文字列置換は括弧やコメント、文字列リテラルを壊す。意味を変える変換は構文木と型情報を使って行う。