Glushkovオートマトンの拡張に基づくPOSIX正規表現の効率的照合手法

2012 年度 研究成果報告書

• 研究課題/領域番号: 22500019
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: 情報学基礎
• 研究機関: 中部大学
• 研究代表者: 奥居 哲 中部大学, 工学部, 准教授 (00283515)
• 研究分担者: 鈴木 大郎 会津大学, コンピュータ理工学部, 准教授 (90272179)
• 研究期間 (年度): 2010 – 2012
• キーワード: 正規表現 / POSIX / パターン照合 / オートマトン

研究概要

正規表現のパターン照合はテキストデータの検索・加工に欠かせない技術であり,広く利用されている.しかしながら,POSIX標準規格が定める正規表現のパターン照合(部分式の捕獲も考慮した最左最長一致による照合)については効率的な照合手法がほとんど知られておらず,バックトラックを用いて試行する非効率的なアルゴリズムが主に用いられてきた.本研究では,Glushkovオートマトンの独自拡張を用いたより効率的な照合手法を提案し,その正当性の証明を与え,計算量を解析し,試験実装により実際のいくつかの事例で著しい効率改善を確認した.

研究成果

• [雑誌論文] 決定性有限オートマトンによる正規表現の貪欲な照合 (2013)
  • 著者名/発表者名: 奥居哲,増田拓也,藤田佳宏,鈴木大郎
  • 雑誌名: 情報科学リサーチャーナル 巻: Vol.20 ページ: 97-104
• [雑誌論文] 拡張ポジションオートマトンを生成するモナド結合子 (2013)
  • 著者名/発表者名: 奥居哲
  • 雑誌名: 情報科学リサーチシャーナル 巻: Vol.19 ページ: 5-18
• [雑誌論文] 正規表現のあいまいさ除去の効率的実現 (2011)
  • 著者名/発表者名: 奥居哲
  • 雑誌名: 情報科学リサーチシャーナル 巻: Vol.18 ページ: 95-96
• [学会発表] Matching Automaton for String Pattern with Greedy Semantics (2011)
  • 著者名/発表者名: Taro Suzuki
  • 学会等名: 34th TRS Meeting
  • 発表場所: The University of Aizu, Japan
  • 年月日: 2011-02-12
• [学会発表] Disambiguation in Regular Expression Matching via Position Automata with Augmented Transitions (2010)
  • 著者名/発表者名: Satoshi Okui
  • 学会等名: 15th International Conference on Implementation and Application of Automata (CIAA2010)
  • 発表場所: University of Manitoba, Canada
  • 年月日: 20100812-15
• [学会発表] POSIX-Compliant Disambiguation in Regular Expression Matching (Preliminary Report) (2010)
  • 著者名/発表者名: Satoshi Okui
  • 学会等名: Workshop on Symbolic Computation and Software Verification
  • 発表場所: University of Tsukuba, Japan
  • 年月日: 20100408-09