YOYU地図：構文解析の地形モデル
概要
[編集]YOYU地図とは、構文解析における困難さの分布を「地形」として視覚的・階層的にモデル化した概念である。これは、特定の文法構造がどの程度の文法的処理能力を要求するかを分類し、適切な処理手法（再帰下降、正規文法、型依存処理など）を選択するための設計図として機能する。
地形モデルの5層分類
[編集]第1層：先頭決定性（Prefix Determinism）
[編集]特徴: 入力の1文字目（または数文字）でトークン種別が完全に判別できる。 例:
C言語の単独記号（+, -, *, & など）
//, /*, " などの開始記号 解析手法: 配列ベースの即時分岐、テーブル駆動型分岐。
第2層：正規文法（DFAレベル）
[編集]特徴: 有限オートマトンで記述可能なトークン列。 例:
数値リテラル（10進, 16進, 浮動小数点）
識別子、予約語 解析手法: 字句解析器（DFAベース）、手書きの状態遷移コード
第3層：再帰下降構文（LL(1)に近い）
[編集]特徴: トークン列にある程度の構文的構造を持ち、トップダウンで分岐できる。 例:
if/while/for構文
関数呼び出し、文ブロック 解析手法: 再帰下降パーサ、手書きLL(1)解析
第4層：文脈的曖昧性（Contextual Ambiguity）
[編集]特徴: 同じトークン列が意味によって異なる解釈を取る。 例:
(T)x がキャストなのか乗算なのか（C言語）
f(x) が関数呼び出しか、fが変数か未解決な場合 解析手法: 型情報を伴う前方解析、曖昧性の保留とバックトラック
第5層：型依存構文（Type-directed Parsing）
[編集]特徴: 構文解析と意味解析が循環的に依存。 例:
C++ テンプレート文法（typename / template 文脈依存）
Rustの型ヒント構文 解析手法: 遅延構文解析（deferred parsing）、依存型エンジン
応用
[編集]YOYU地図は次の目的に有用である：
構文記述の設計：どの構文がどのレイヤに属するかを明示することで、適切な実装方法を選定可能。
軽量実装志向：低レイヤに属する構文は、lex/yaccなど汎用ツールに頼らず、特化した高速処理が可能。
構文地図の視覚化：将来的には構文ごとに「地図」を描画し、全体の構文的難所を一望できる。
結論
[編集]YOYU地図は、構文解析を「地形として分類する」実装者向け思考ツールであり、必要最小限の構文処理戦略を選び出す設計の指針となる。