2007 Fiscal Year Annual Research Report
多様なブール演算を持つ正規表現に対する検索アルゴリズムの高速化に関する研究
| Project/Area Number |
18500010
|
|---|
| Research Institution | Shinshu University |
|---|
Principal Investigator |
山本 博章 Shinshu University, 工学部, 教授 (10182643)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
宮崎 敬 長野工業高等専門学校, 教授 (10141889)
|
|---|
| Keywords | 拡張正規表現 / パターン照合アルゴリズム / 検索アルゴリズム / 有限オートマトン |
|---|
| Research Abstract |
平成19年度は、拡張正規表現に対するDFA型の照合アルゴリズムの改善,DFA表現のコンパクト化と正規表現への応用について以下の成果を挙げるとともに,木パターンへの応用についても考察した.
1. 決定性有限オートマトン(DFA)を利用した高速検索アルゴリズムの改善
開発したアルゴリズムを詳細に解析し,どのような性質を持つ拡張正規表現に対し,DFA型のアルゴリズムが有効に働くかを示した.実際,共通集合演算および補集合演算について,DFAが有効に働くための性質を示した.
2. 正規表現からコンパクトな決定性有限オートマトンを作成する手法の開発
決定性有限オートマトンを利用するとき問題になるのがそのサイズである.ここでは,デュアル位置オートマトンというものを定義し,それを利用したコンパクトなDFA表現を示すとともに,照合アルゴリズムへの応用を示した.
|
