状態遷移の並列比較によるNFA照合高速化

抄録

NFA照合において状態間を結ぶエッジのラベルは必ずしも1文字のアルファベットである必要は無い。複数文字による長いラベルによる状態遷移は状態数を減らす一方、ラベルと入力文字との比較演算コストが大きいという課題がある。並列比較とは減算時のキャリーbitの変化を利用して複数値の大小比較を並列化する手法である。本稿ではこの並列比較を用いて、次状態決定のためのラベル比較の高速化を試みる。