動的文字列上のMSO問い合わせ評価のための直接アクセス

本論文では、文字列上のMonadic Second Order (MSO) 問い合わせを効率的に評価するための直接アクセスアルゴリズムを提案する。提案手法は、事前処理段階でデータ構造を構築し、その後の個別アクセス時に高速に問い合わせ結果を取得できる。