2.2. 構文解析 (Syntax Analysis ・ Parsing) MOC

定義

2.2. 構文解析 (Syntax Analysis ・ Parsing) MOCは、source文字列をtoken列と構文木へ変換し文法構造を認識する処理である。対象、前提、入力、結果を区別する。

仕組みと具体例

1+2*3 は優先順位により加算nodeの右に乗算nodeを持つASTとなる。通常時に加え、境界値、失敗、並行実行、依存条件の変化も追跡する。

実践と検証

曖昧性、左再帰、error recoveryを扱い、全nodeへsource spanを保持する。期待結果を観測可能に記述し、最小例から異常系へ広げる。

トレードオフ

精度・性能・単純さ・運用costの間にはtradeoffがある。適用範囲を広げる前に解決するriskと仮定を確認し、例外には理由と代替策を記録する。