Regular Expression(正規表現) Part14 [無断転載禁止]©2ch.net

[過去ﾛｸﾞ] Regular Expression(正規表現) Part14 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

654(1): 2018/10/14(日)22:51 ID:yTLvFK6H(1) AAS
１、<test>a="[^\"]*"</test>
２、<test>a=".*?"</test>

この２つが↓これにどうマッチするか試してごらん
---------------------------------------------------------------------------
<test>a="pokemon"(^-^)</test> <test>a="doramon"</test>
----------------------------------------------------------------------------

655: 650 2018/10/14(日)23:38 ID:wMwKNjnw(1) AAS
>>654
サンプルありがとう
でも、そういった検索/置換対象の場合だったら .*? は最初から考えないとは思う

656: 2018/10/15(月)00:13 ID:fKW/Yset(1/3) AAS
この誤爆のことに注意を払えているなら .*? で問題ないよ
[^"] はそういう心配をしなくて良くなるからこっちを予防的に使うのもあり

657: 2018/10/15(月)22:36 ID:fKW/Yset(2/3) AAS
# 文字列 xy を含まない正規表現
$states = 3;
@matrix = ( # E A p q ※ A は求める答え
[qw(X X E E)], # A = p + q = pε + qε
[qw(E X [^x] [^xy])], # p = p[^x] + q[^xy] + ε
[qw(X X x x)], # q = px + qx
);

658: 2018/10/15(月)22:37 ID:fKW/Yset(3/3) AAS
# 文字列 xyz を含まない正規表現
$states = 4;
@matrix = ( # E A p q r ※ A は求める答え
[qw(X X E E E)], # A = p + q + r = pε + qε + rε
[qw(E X [^x] [^xy] [^xz])], # p = p[^x] + q[^xy] + r[^xz] + ε
[qw(X X x x x)], # q = px + qx + rx
[qw(X X X y X)], # r = qy
);

659: 2018/10/18(木)14:54 ID:s3Db0e4D(1/2) AAS
y*(x*[^xy]y*)*x* について考察

左右対称形、後ろから読めば yx を含まない正規表現になる
x の後ろでは [^xy] しかマッチ出来ないようになっている

{[^x]|x+[^xy]}*x* # 状態遷移図から導かれる正規表現
# ※ ここでは見やすいように ( ) を { } としている
# 最後の x* は状態 0 から状態 1 への遷移を表している
[^x]*{x+[^xy][^x]*}*x* # 分岐の繰り返し ( | )* の展開
([^xy]|y)*{x+[^xy]([^xy]|y)*}*x* # [^x] を ([^xy]|y) に分解
y*{x*[^xy]y*}*x* # x+ を x* にすると中央の [^xy] が分解した [^xy] と
# 同じを動作するので分解した [^xy] を消せる、完成

661: 2018/10/20(土)20:45 ID:WB0b2hD6(1) AAS
(a|b|c)* の展開についての考察

# (b|c) を1つのパーツと考えて {a|(b|c)}* を展開する
a*{(b|c)a*}*

# 分配の法則
a*{ba*|ca*}*

# 再び (x|y)* の形が現れたのでここを展開する
a*(ba*)*{ca*(ba*)*}*

a=123、b=456、c=789 とすると
^(123)*(456(123)*)*(789(123)*(456(123)*)*)*$

662(4): 2018/10/21(日)19:43 ID:7AODCPK7(1) AAS
(a|b|c|d)* の展開についての考察

a*(ba*)*{ca*(ba*)*}*　の a は全て a* の形になっているのでこれを利用する
a を (a|d) に置き換えることで分岐を１つ増やす

(a|d)* = a*(da*)*　なので a* を a*(da*)* に置き換えるだけで答えが求まる
a*(da*)*(ba*(da*)*)*(ca*(da*)*(ba*(da*)*)*)*

(a|b|c|d|f)* を求めたいときは同じように a* を置き換えるだけで求まる
このように a* は分岐を無限に増やす入り口のような役割をする

663(1): 2018/10/21(日)23:04 ID:mkrTRrBN(1) AAS
このスレで名前が挙がってたTresGrep、気が付いたらbregonig.dllにも対応してるじゃん
プルダウンのモード切替で.NETの正規表現と切り替えられるのもいい感じ
もうこれでサクラエディタのGrepはお役御免にできるかもしれない

なんだけど・・・rubyの正規表現が全部使えるわけじゃないのに
「鬼雲検索」
を名乗るのはどうなんだろう

664: 662 2018/10/22(月)01:40 ID:oA8lJo/T(1/3) AAS
>>663
ちょろっと試してみたけど戻り読みも後方参照も再帰もちゃんと動いたよ？
動かないのがあるならこちらで検証するよ〜

665: 名無しさん＠そうだ選挙に行こう！ Go to vote! 2018/10/22(月)07:15 ID:nc1bV2B+(1) AAS
全角スペースを\u3000と書いた場合とか
bregonigだとperl互換じゃない書き方は受け入れてもらえないわけで

666: 662 2018/10/22(月)14:03 ID:oA8lJo/T(2/3) AAS
自分は文字コードの知識が無いので迂闊なことは言えないから
ちょっと調べたことだけ書いておくね

ここで
外部ﾘﾝｸ[html]:k-takata.o.oo7.jp
\u0149 を検索してみるとbregonigでも使えてそうなことが書かれてたよ

667: 662 2018/10/22(月)21:23 ID:oA8lJo/T(3/3) AAS
サクラエディタでいろいろ実験してたら \s が全角スペースにマッチした
サクラエディタ向けの正規表現を作るときには気を付けないといけないな

668: 2018/10/22(月)23:33 ID:aIOUU5bU(1) AAS
bregonigは鬼雲の機能限定版（perl互換の正規表現だけが動く）って話をどこかで読んだ記憶があったんだよね
どうせやるなら本家onigmoのRuby版正規表現も全部動くようにすればいいのに、って思っただけなんだ
ちょっと難癖に近いなとは自分でも思ってる

\sもそうだけど\dに全角数字がマッチしちゃって痛い目に合うのもまれによくあること
サクラに限らないんじゃないかね

669(1): 2018/10/23(火)00:10 ID:W9szHIq5(1/2) AAS
AA省

670: 662 2018/10/23(火)00:11 ID:FESm7ID8(1/4) AAS
なるほど、dll からは ONIG_SYNTAX_PERL しか使えないから
ruby を使い慣れてる人にとっては歯がゆいと..

＞ \dに全角数字がマッチしちゃって
ですね〜、(?a) で防げるようなので覚えておきます

671: 2018/10/23(火)00:18 ID:FESm7ID8(2/4) AAS
レスが被ってしまった..

>>669
ありがとうございます
サクラエディタはUnicode仕様で動いているんですね
う〜ん、文字コードの話は難しいなぁ

672: 2018/10/23(火)00:24 ID:W9szHIq5(2/2) AAS
なおUnicodeの空白でも、上記のCc(0009〜0085)、LS,PS,Zs(Space Separator)
以外のCf(200b,200c,200d,FEFF)だとどうかなと試したが案の定マッチしなかった
さすがは仕様どおりだ

673: 2018/10/23(火)01:02 ID:FESm7ID8(3/4) AAS
＞ 200b,200c,200d,FEFF

サクラエディタにIMEパッドから打ち込んで試してみたら同じくマッチせず

# 主要部
(?&sp)
# 定義部
(|(?!)
(?<sp>
(?u)
[\x{200b}\x{200c}\x{200d}\x{FEFF}\s]
)
省2

上下前次 1-新書関写板覧索設栞歴

あと 329 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.021s