原です。

In message "[ruby-dev:10659] Re: a regex bug?"
    on 00/08/21, Tanaka Akira <akr / m17n.org> writes:

|> これはこういうものだと考えてもらう方が良いと思います。より詳
|> しくは『詳説・正規表現』(オライリー・ジャパン/オーム社)を参
|> 照してください。
|
|これを読んだ上での理解としては、NFA (という名前で参照されているバック
|トラッキング型の)エンジンは最長でないもので満足してしまう可能性はある
|にしても、マッチ可能なものに対してマッチに失敗することはない、と思って
|いたんですが。

僕もそう思います。マッチするしないについては NFA と DFA は
差がないのではないでしょうか。差があるのはマッチした場所だ
けで。