| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2007-06-29 16:35 拡張正規表現所属問題および検索問題に対するDFA型アルゴリズムの効率的な実装について ○山本博章（信州大）・宮崎 敬（長野高専）  COMP2007-29 |
|
| 抄録 | （和） | 正規表現はコンピュータサイエンスの分野で広く利用されている。 本論文では、正規表現に共通集合演算および補集合演算を加えた拡張正規表現 （EREと略す）の 所属問題および検索問題を扱う。 所属問題は、アルファベット$\Sigma$上のERE $r$及び記号列$x$が与えられたとき、 $x\in L(r)$かどうかを判定する問題である。また、検索問題は、 $x$から$y\in L(r)$なるすべての部分列$y$を見つけ出す問題である。 ここで、$L(r)$は$r$によって表される言語を意味する。 そのとき、我々は$O(n^2(k_12^H+k_2\lceil n/\log n\rceil))$時間かつ $O(n(k_12^H+k_2\lceil n/\log n\rceil))$領域で 所属問題を解くアルゴリズムを与える。さらに、このアルゴリズムを拡張して、同程度の 計算量で検索問題を解くことができることも示す。ここで、 $n$は$x$の長さ、$k$は$r$に出現する共通集合演算及び補集合演算（これらを拡張演算子と呼ぶ）の数を表し、 その内$k_1$は、我々が良性と呼ぶある条件を満たす拡張演算子の数で、 $k_2=k-k_1$である。 また、$H$は$H=\max\{m_j~|~\mbox{$m_j$は$r$の$j$番目のモジュールに出現する $\Sigma$の記号と拡張演算子の数}\}$と定義する。 |
| （英） | This paper addresses the following extended regular expression (EREs for short, that is, regular expressions with intersection and complement) membership problem: given an ERE $r$ over an alphabet $\Sigma$ and an input string $x$, determine if $x\in L(r)$, where $L(r)$ denotes the language denoted by $r$. Then we present a new automata-based membership algorithm such that it runs in $O(Wn^2(k_12^H+k_2\lceil n/\log n\rceil))$ time and $O(Wn(k_12^H+k_2\lceil n/\log n\rceil))$ space. Furthermore, we also show that we can solve the ERE searching problem in the similar time and space as the ERE membership problem. Here $n$ is the length of $x$, $k$ is the number of intersection and complement operators (called extended operators) occurring in $r$, $k_1$ is the number of extended operators satisfying a nice condition and $k_2=k-k_1$. Furthermore, $H=\max\{m_j~|~\mbox{$m_j$ is the number of symbols of $\Sigma$ and extended operators occurring in $j$-th module of $r$}\}$. |
|
| キーワード | （和） | 拡張正規表現 / 所属問題 / 検索問題 / 決定性有限オートマトン / / / / |
| （英） | extended regular expression / membership problem / pattern matching algorithm / deterministic finite automaton / / / / | |
| 文献情報 | 信学技報, vol. 107, no. 127, COMP2007-29, pp. 85-92, 2007年6月. | |
| 資料番号 | COMP2007-29 | |
| 発行日 | 2007-06-22 (COMP) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | COMP2007-29 |
|
| 研究会情報 | |
| 研究会 | COMP |
| 開催期間 | 2007-06-29 - 2007-06-29 |
| 開催地（和） | 北海道大学 |
| 開催地（英） | Hokkaido University |
| テーマ（和） | |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | COMP |
| 会議コード | 2007-06-COMP |
| 本文の言語 | 日本語 |
| タイトル（和） | 拡張正規表現所属問題および検索問題に対するDFA型アルゴリズムの効率的な実装について |
| サブタイトル（和） | |
| タイトル（英） | On an Efficient Implementation of a DFA-based Algorithm for the Exetended Regular Expression Membership and Search Problems |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 拡張正規表現 / extended regular expression |
| キーワード(2)（和/英） | 所属問題 / membership problem |
| キーワード(3)（和/英） | 検索問題 / pattern matching algorithm |
| キーワード(4)（和/英） | 決定性有限オートマトン / deterministic finite automaton |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 山本 博章 / Hiroaki Yamamoto / ヤマモト ヒロアキ |
| 第1著者 所属（和/英） | 信州大学 (略称： 信州大) Shinshu University (略称： Shinshu Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 宮崎 敬 / Takashi Miyazaki / |
| 第2著者 所属（和/英） | 長野工業高等専門学校 (略称： 長野高専) Nagano National College of Technology (略称： Nagano NCT) |
| 講演者 | 第1著者 |
| 発表日時 | 2007-06-29 16:35:00 |
| 発表時間 | 25分 |
| 申込先研究会 | COMP |
| 資料番号 | COMP2007-29 |
| 巻番号（vol） | vol.107 |
| 号番号（no） | no.127 |
| ページ範囲 | pp.85-92 |
| ページ数 | 8 |
| 発行日 | 2007-06-22 (COMP) |
[研究会発表申込システムのトップページに戻る]