[ruby-dev:16885] Re: sharing sub-regexp

Tanaka Akiraさんの<[e-mail]>から
> また、後方参照については、置換と形式をあわせるといいんじゃないかと思います。
> 現在は後方参照と置換で \1 という形式は共通しているわけで、名前を使う時
> も双方が同じものであるとプログラマにとっての混乱が少ないのではないか、
> というわけです。
> 
> そして、先のメールに書いた通り、置換のテンプレートに $ という新しいメ
> タキャラクタを導入するのはちと野心的過ぎると思うので、\ ではじまる、
>   Python の置換の \g<name> ないしは
>   .NET の後方参照の \k<name>
> のどちらかをRuby の置換と後方参照で使えると良いのではないかと思います。

すいません。前のメールで置換と書いたのは誤記で、Rubyスクリプト上での参照
の意味でした。これは正規表現の中で議論する必要はありませんでした。
置換というのはどんな機能でしょうか？
Pythonのマニュアルの中で見付けられなかったので。

> あと、(前にいらないと書いたのに)再帰的な定義も扱えるようにして欲しいと
> かいったら呆れちゃいますか? これができると括弧の対や、一般に BNF が書
> けるようになるんですが。
> 
> /...(?*non-terminal-1)...   (?# start )
> |[^\s\S] (?<non-terminal-1>...(?*non-terminl-2)...)
> |[^\s\S] (?<non-terminal-2>...(?*non-terminl-1)...)
> ...
> /x
.....
> 
> ただ、再帰的な定義があると、あるサブパターンの先頭に現れる文字の集合を
> 求めるのが難しくなる(ボトムアップには求められなくて、不動点に到達する
> まで繰り返す必要がある)し、左再帰なものを素朴に動かすと無限ループにな
> るなど、実装は厄介になるだろうなぁ、と想像しています。なので、別に強く
> は求めません。

再帰は許そうと思っていました。

検索に関する最適化情報を求める場合には、完全な情報を求める必要はないので、
適当な深さで止めればよいのではないかと思います。
しかし、マッチングが永遠に停止しないような再帰パターンを書かれたときに、
それを検出することまではやる気が起きませんので、ユーザ自身が注意して書く
ということでは駄目ですか。

あと、|[^\s\S] (?<non-terminal-1>... というのは、もうちょっと何とかしたい
気がします。
マッチングには関係しないが、名前定義としては有効になるという表記を追加して。
(具体的には考えていませんが)

他の項目については、私は異存ありません。
--
小迫＠ソフネック   渋谷区恵比寿1-15-1