FIRST集合とFOLLOW集合の計算

定義

FIRST集合とFOLLOW集合の計算は、program意味を保ちながら解析・変換しやすい表現へ移す処理である。対象、前提、入力、結果を区別する。

仕組みと具体例

SSAは各値を一度だけ定義し、phiで制御flowの値を統合するため定数伝播を容易にする。通常時に加え、境界値、失敗、並行実行、依存条件の変化も追跡する。

実践と検証

変換前後のobservable behaviorを比較し、overflowや未定義動作の仮定を明記する。期待結果を観測可能に記述し、最小例から異常系へ広げる。

トレードオフ

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