🚀 go-pugleaf

ちょっとした捕捉です。

In article <rsqybk9iqmo.fsf@carbon.jaist.ac.jp>,
  akr@jaist.ac.jp (Tanaka Akira) writes:

> >   それに、leftmost と longest を加えた時点で、最初にマッチするものは決
> > まるので、 (g のない) s/// の動きもこれで決まります。
> 
> まぁ, $1, $2 とかを使うと, オートマトンの中でどのような経路を通ったか
> が問題になりますが。

ここでいっているオートマトンというのは正規表現を素直に変換した結果の
非決定性有限オートマトンのことです。

(「素直に」っていうのは... 多分推測できると予測していますので, ここで
は説明しません。わからなかったら聞いて下さい。要するに, DFA にして最小
化とかをしてしまうと $1, $2 とかに対応するところがわからなくなってしま
うので, そーいうことはしない, というだけの話です。
そもそも後方参照があるからそーいう変換はできない, という話もありますが...)

> まぁ, そーいう本質的でないことはともかく, 規則が欲しければ適当に作れば
> いいと思います。例えば, こんなのはどうでしょう。

perl の最短一致とかを考えると,マッチした結果から選ぶのでなく, 非決定性
有限オートマトンの経路から選んだ方がいいような気がしてきました。

つまり, 正規表現 r が与えられた時 (.*r)*.* という正規表現を素直に変換
した結果の非決定性有限オートマトンを与えられた文字列に適用し, 得られた 
1つ以上の経路から 1つを選び出す規則を作るわけです。
([\000-\377] と書くのは面倒なんで . は任意の文字にマッチするものとしま
す。)
--
[田中 哲][たなか あきら][Tanaka Akira]