2006 年度実績報告書

多様なブール演算を持つ正規表現に対する検索アルゴリズムの高速化に関する研究

研究課題

研究課題/領域番号	18500010
研究種目	基盤研究(C)
研究機関	信州大学
研究代表者	山本博章信州大学, 工学部, 教授 (10182643)
研究分担者	宮崎敬長野工業高等専門学校, 教授 (10141889)
キーワード	拡張正規表現 / パターン照合アルゴリズム / 検索アルゴリズム / 有限オートマトン
研究概要	平成18年度は、多様なプール演算を持つ正規表現(プール演算付き拡張正規表現)に対する高速な検索アルゴリズムの開発に関する研究を行い、以下の成果を挙げた。 1.決定性有限オートマトンを利用した高速検索アルゴリズムの開発我々が開発したモジュール分割法は、与えられたブール演算付き拡張正規表現を、正規表現を表す断片(モジュールと呼ばれる)に分割した後、各モジュールを有限オートマトンに変換し、得られた有限オートマトンを模倣することによって検索を実行するものである。本研究では、関係オートマトンという新たな概念を導入し、決定性有限オートマトンを利用したアルゴリズムを考案した。 2.正規表現を非決定性有限オートマトンに変換するための高速アルゴリズムの開発正規表現からできるだけ小さな有限オートマトンを生成することはアルゴリズムの効率化にとって重要な要素である。本研究では、小さな非決定性有限オートマトンを得るための高速なアルゴリズムを開発した。 3.ブール演算とアルゴリズムの効率さとの関係ブール演算とパターン照合アルゴリズムの効率さの関係について、作成した検索ソフトウエアを使って実験的に評価し、ブール演算の種類によるアルゴリズムの効率さの違いを示した。