はじめに 正規表現とそのエンジンについてちょっとメモ。 正規表現とは 文字列の集合を文字列で表現する方法の一つ 正規言語を表現するための手段 「正規言語」とは、「有限オートマトンで受理可能」な言語 正規表現と有限オートマトンは記述能力において等価 任意の正規表現は、有限オートマトンに相互に変換可能 有限オートマトン 以下の5つの組(Q,Σ,δ,q0,F)のことをいう 有限状態機械ともいう 有限個の状態Q 有限個の文字集合Σ 状態と文字集合の組から状態へ遷移する関数δ 状態Qの一つとして、開始状態q0 状態Qの一つとして、受理状態の集合F 入力に対して、開始状態から状態を遷移させ、状態に応じて出力(受理or拒否)を返す 状態遷移図とは、有限オートマトンを(抽象的に)記述した図 非決定性(Nondeterministic)と決定性(Deterministic) 「決定性有限オートマトン(DFA