🚀 go-pugleaf

In article <mtfbuh66mq3.fsf@emerald.nak.math.keio.ac.jp>,
  tozaki@nak.math.keio.ac.jp (Hidekazu TOZAKI) writes:

>   それに、leftmost と longest を加えた時点で、最初にマッチするものは決
> まるので、 (g のない) s/// の動きもこれで決まります。

まぁ, $1, $2 とかを使うと, オートマトンの中でどのような経路を通ったか
が問題になりますが。

>  |でも, これらの条件もやはり空文字列に対して曖昧でない規則を与えていると
>  |は思いませんけど。
> 
> ということなのですが、これを定めていないで良いのかという疑問があります。

現実の多種多様な処理系とつきあっていくためにはむしろ未定義であると認識
した方がいいのかも知れない, と私は思っています。

>   正規表現自体は空文字列に関しても成り立つ理論体系なので、s///g も空文
> 字列を含めて一意に動作が定まるような規定が欲しいと思うのですが。そして、
> その規定に従えば、 s/.*/X/g としたら、どんな文字列に対しても X になっ
> て欲しいし、"foo" =~ s/.{0}/X/g としたら XfXoXoX となって欲しいと思い
> ますが、こうなるような規定を簡単な規則で説明できないものでしょうか、と
> いうのが主張したい点です。

perl では . は \n にはマッチしませんから, 「どんな文字列に対しても」っ
てのはおかしいですね。

まぁ, そーいう本質的でないことはともかく, 規則が欲しければ適当に作れば
いいと思います。例えば, こんなのはどうでしょう。
(間違ってたら指摘して下さい。)

文字列 s に対し, 正規表現にマッチした部分文字列のリストが
substr(s, i[0], l[0]), ... , substr(s, i[n-1], l[n-1]) と表されるとす
ると,  次の条件が成り立つ。(non-overlapping)
i[0] < ... < i[n-1]
i[0] + l[0] < ... < i[n-1] + l[n-1]
i[0] + l[0] <= i[1], ... , i[n-2] + l[n-2] <= i[n-1]

leftmost や longest も適当にやれば同様に作れるでしょう。
--
[田中 哲][たなか あきら][Tanaka Akira]