正規せいき表現ひょうげん

正規せいき表現ひょうげん（せいきひょうげん、英えい: regular expression）は、文字もじ列れつの集合しゅうごうを一ひとつの文字もじ列れつで表現ひょうげんする方法ほうほうの一ひとつである。正則せいそく表現ひょうげん（せいそくひょうげん）とも呼よばれ、形式けいしき言語げんご理論りろんの分野ぶんやでは比較的ひかくてきこちらの訳語やくごの方ほうが使つかわれる。まれに正則せいそく式しき（せいそくしき）あるいは正規せいき式しき（せいきしき）と呼よばれることもある。

もともと正規せいき表現ひょうげんは形式けいしき言語げんご理論りろんにおいて正規せいき言語げんごを表あらわすための手段しゅだんとして導入どうにゅうされた。形式けいしき言語げんご理論りろんでは、形式けいしき言語げんごが「正規せいき言語げんごであること」と「正規せいき表現ひょうげんによって表あらわせること」は同値どうちである。

その後ご正規せいき表現ひょうげんは単たん機能きのうの文字もじ列れつ探索たんさくツールやテキストエディタ、ワードプロセッサなどのアプリケーションで、マッチさせるべき対象たいしょうを表あらわすために使用しようされるようになり、表あらわせるパターンの種類しゅるいを増ふやすために本来ほんらいの正規せいき表現ひょうげんにはないさまざまな記法きほうが新あらたに付つけ加くわえられた。このような拡張かくちょうされた正規せいき表現ひょうげんには正規せいき言語げんごではない文字もじ列れつも表あらわせるものも多おおく、ゆえに正規せいき表現ひょうげんという名前なまえは実態じったいに即そくしていない面めんもあるが、伝統でんとう的てきに正規せいき表現ひょうげんと呼よばれ続つづけている。

この記事きじでは主おもにこのような正規せいき表現ひょうげんを用もちいたパターンマッチングについて説明せつめいしている。以下いか、誤解ごかいのない限かぎり、アプリケーションやプログラミングにおいて正規せいき表現ひょうげんを用もちいた文字もじ列れつのパターンマッチングを行おこなう機能きのうのことを、単たんに正規せいき表現ひょうげんという。

ほとんどのプログラミング言語げんごでは、ライブラリによって正規せいき表現ひょうげんを使つかうことができる他ほか、一部いちぶの言語げんごでは正規せいき表現ひょうげんのリテラルもある。「正規せいき表現ひょうげんによるマッチ」を意味いみする（専用せんようの）演算えんざん子こがある言語げんごなども一部いちぶある。具体ぐたい例れいとして、grep, AWK, sed, Perl, Tcl, lex などがある。

それぞれの言語げんごやアプリケーションで細部さいぶの仕様しようが異ことなっている、といったように思おもわれることも多おおいが（古ふるい実装じっそうでは実際じっさいにそのようなことも多おおい）、近年きんねんは同おなじライブラリを使つかっていれば同おなじということも多おおい。またPOSIXなど標準ひょうじゅんもある。

基本きほん的てきな概念がいねん

理論りろん的てきに明解めいかいであり扱あつかいも容易よういであるため、形式けいしき的てきな説明せつめいを先さきに述のべる。

形式けいしき的てきな説明せつめい

詳細しょうさいは「正規せいき言語げんご」を参照さんしょう

記号きごう（アルファベット）$A=\{a_{1},\dots ,a_{n}\}$ 上うえの正規せいき表現ひょうげんは次つぎのようなものから成なる。正規せいき表現ひょうげんがあらわす記号きごう列れつ（アルファベット列れつ）の集合しゅうごうによって形式けいしき言語げんごが定義ていぎされる。

• $\varnothing$ は正規せいき表現ひょうげんである。これは記号きごう列れつを何なにも含ふくまない空そら集合しゅうごう $\varnothing$ を表あらわす。
• $a_{i}$（$A$ の任意にんいの要素ようそ）は正規せいき表現ひょうげんである。これは $a_{i}$ という記号きごう列れつのみからなる集合しゅうごう $\{a_{i}\}$ を表あらわす。
• $X$ と $Y$ が正規せいき表現ひょうげんならば、
  • $X\mid Y$ も正規せいき表現ひょうげんである。これは $X$ に含ふくまれる記号きごう列れつの集合しゅうごうと $Y$ に含ふくまれる記号きごう列れつの集合しゅうごうの和わ集合しゅうごうを表あらわす。
  • $XY$ も正規せいき表現ひょうげんである。これは $X$ に含ふくまれる記号きごう列れつに $Y$ に含ふくまれる記号きごう列れつをつなげてできる記号きごう列れつの集合しゅうごう $\{ab\mid a\in X,b\in Y\}$ を表あらわす。
  • $X*$ も正規せいき表現ひょうげんである。これは $X$ に含ふくまれる記号きごう列れつを 0 個こ以上いじょうつなげてできる文字もじ列れつの集合しゅうごう $\bigcup _{n}\{X^{n}\mid n\geq 0\}$ を表あらわす（クリーネ閉包へいほう）。
• 上記じょうきの帰納的きのうてき導出どうしゅつによって構成こうせいされる記号きごう列れつのみが正規せいき表現ひょうげんである。

正規せいき表現ひょうげんの定義ていぎに、次つぎの項目こうもくを含ふくめることもある:

• $\varepsilon$ は正規せいき表現ひょうげんである。これは空そら記号きごう列れつ $\varepsilon$ のみからなる集合しゅうごう $\{\varepsilon \}$ を表あらわす。

正規せいき表現ひょうげん $\varepsilon$ の表あらわす集合しゅうごうは正規せいき表現ひょうげん $\varnothing *$ の表あらわす集合しゅうごうに等ひとしいので、$\varepsilon$ を正規せいき表現ひょうげんの定義ていぎに含ふくめなくても $\varnothing *$ で代用だいようできる。

$X\mid Y$ の代かわりに $X+Y$ と書かくことや、$XY$ の代かわりに $X\cdot Y$ と書かくこともある。また、「$\mid$」や「$*$」の優先ゆうせん順位じゅんいを明確めいかくにするために、補助ほじょ的てきなカッコも（上述じょうじゅつの定義ていぎには含ふくめていないが）必要ひつようである。

実用じつよう的てき説明せつめい

以下いかではもっぱらよく使つかわれているライブラリやツールなどの実用じつよう的てきな観点かんてんから説明せつめいする。

例たとえば、「Handel」「Hendel」「Haendel」という3つの文字もじ列れつを含ふくむ集合しゅうごうは「H(e|ae?)ndel」というパターンで表現ひょうげんできる（あるいは、パターンは個々ここの3つの文字もじ列れつにマッチすると言いわれる）。ほとんどの形式けいしきでは、もし特定とくていの集合しゅうごうにマッチする何なんらかの正規せいき表現ひょうげんが存在そんざいすれば、無限むげんの数かずのそのような表現ひょうげんがある。ほとんどの形式けいしきでは正規せいき表現ひょうげんを構築こうちくするために次つぎの演算えんざん子こを提供ていきょうしている。

選言せんげん

縦たて棒ぼうは選択肢せんたくしを区切くぎる。例たとえば「gray|grey」は「gray」または「grey」にマッチし、これは通常つうじょう「gr(a|e)y」に短縮たんしゅくされる。

グループ分わけ

丸まる括弧かっこはスコープと演算えんざん子この優先ゆうせん順位じゅんいを定義ていぎするために用もちいられる。例たとえば、「gr(a|e)y」では「(a|e)」の部分ぶぶんで「a」または「e」を示しめし、全体ぜんたいで「gray」または「grey」にマッチする。

量りょう化か

文字もじやグループの後うしろの量りょう化か子こは、直前ちょくぜんの表現ひょうげんが何なん回かい現あらわれることが許ゆるされるかを指定していする。非常ひじょうによく使つかわれる量りょう化か子ことして「?」「*」「+」がある。

?

疑問符ぎもんふは直前ちょくぜんの表現ひょうげんが0個こか1個いっこあることを示しめす。例たとえば、「colou?r」は「color」と「colour」にマッチする。

*

アスタリスクは直前ちょくぜんの表現ひょうげんが0個こ以上いじょうあることを示しめす。例たとえば、「go*gle」は「google」「gogle」「ggle」などにマッチする。

+

プラス符号ふごうは直前ちょくぜんの表現ひょうげんが1個いっこ以上いじょうあることを示しめす。例たとえば、「go+gle」は「google」「gogle」などにマッチするが、「ggle」にはマッチしない。

これらの構文こうぶんは任意にんいの複雑ふくざつな表現ひょうげんを形成けいせいするために組くみ合あわされて使用しようされる。

歴史れきし

正規せいき表現ひょうげんの起源きげんは、言語げんご学がくと、理論りろん計算けいさん機き科学かがくの一いち分野ぶんやであるオートマトン理論りろんや形式けいしき言語げんご理論りろんにみることができる。20世紀せいきの言語げんご学がくでは数理すうり的てきに言語げんごを扱あつかう数理すうり言語げんご学がくが発展はってんしその過程かていの一部いちぶとして、また後者こうしゃは計算けいさんのモデル化か（オートマトン）や形式けいしき言語げんごの分類ぶんるい方法ほうほうなどを扱あつかう学術がくじゅつ分野ぶんやである。数学すうがく者しゃのスティーヴン・クリーネは1950年代ねんだいに正規せいき集合しゅうごうと呼よばれる独自どくじの数学すうがく的てき表記ひょうき法ほうを用もちい、これらの分野ぶんやのモデルを記述きじゅつした。

Unix系けいのツールに広ひろまったのは、ケン・トンプソンがテキストファイル中ちゅうのパターンにマッチさせる手段しゅだんとして、この表記ひょうき法ほうをエディタQEDに導入どうにゅうしたことなどに始はじまる。彼かれはこの機能きのうをUNIXのエディタedにも追加ついかし、後のちに一般いっぱん的てきな検索けんさくツールであるgrepの正規せいき表現ひょうげんへと受うけ継つがれていった。これ以降いこう、トンプソンの正規せいき表現ひょうげんの適用てきようにならい、多おおくのUnix系けいのツールがこの方法ほうほうを採用さいようした（例たとえば expr, awk, Emacs, vi, lex, Perl など）。

PerlとTclの正規せいき表現ひょうげんはヘンリー・スペンサー^(英えい)によって書かかれたものから派生はせいしている（Perlは後のちにスペンサーの正規せいき表現ひょうげんを拡張かくちょうし、多おおくの機能きのうを追加ついかした）。フィリップ・ヘーゼルはPerlの正規せいき表現ひょうげんとほぼ互換ごかんのものを実装じっそうする試こころみとしてPerl Compatible Regular Expressions (PCRE) を開発かいはつした。これはPHPやApacheなどといった新あたらしいツールで使用しようされている。

Rakuでは、正規せいき表現ひょうげんの機能きのうを改善かいぜんしてその適用てきよう範囲はんいや能力のうりょくを高たかめ、Parsing Expression Grammarを定義ていぎできるようにする努力どりょくがなされた。この結果けっかとして、Raku文法ぶんぽうの定義ていぎだけでなくプログラマのツールとしても使用しようできる、Perl 6 rulesと呼よばれる小しょう言語げんごが生うみ出だされた。

（本来ほんらいの）正規せいき表現ひょうげんからの拡張かくちょうは各種かくしゅあり便利べんりであるがその多おおくは、（本来ほんらいの）正規せいき言語げんごから逸脱いつだつするものであり、キャプチャなどが代表だいひょう例れいである。なお、正規せいき言語げんごから逸脱いつだつしないことによって理論りろん的てきな扱あつかいが可能かのうになるという利点りてんがあるため、例たとえば「非ひ包含ほうがんオペレータ」の提案ていあんではそういった観点かんてんからの理由りゆうも挙あげられている。

Rakuに限かぎらずいくつかの実装じっそうでは、（Perlではsubpatternと呼よんでいる）部分ぶぶんパターンの定義ていぎとその再帰さいき的てきな呼出よびだしにより、例たとえばカッコの対応たいおうなどといった（本来ほんらいの）正規せいき表現ひょうげんでは不可能ふかのうなパターンも表現ひょうげんできる。これは、対象たいしょう部分ぶぶんにマッチした文字もじ列れつが捕獲ほかくされ、後ごから利用りようできるキャプチャとは異ことなり、パターンそのものの定義ていぎと利用りようである。PHP, Perl, Python（regexライブラリ）, Ruby などで利用りようできる。

構文こうぶん

標準ひょうじゅん

UNIXの標準ひょうじゅんであるPOSIXでは、単純たんじゅん正規せいき表現ひょうげん、基本きほん正規せいき表現ひょうげん、拡張かくちょう正規せいき表現ひょうげんの3種類しゅるいの記法きほうが示しめされている。このうち、単純たんじゅん正規せいき表現ひょうげんは「歴史れきし的てき」また「レガシー」と書かかれており、後方こうほう互換ごかん性せいを提供ていきょうするものとされ、標準ひょうじゅんの将来しょうらいの版はんでは廃止はいしされ得えると注意ちゅういされている。

単純たんじゅん正規せいき表現ひょうげん

単純たんじゅん正規せいき表現ひょうげんはSREとも呼よばれる。その仕様しようは「regexp.h」のマニュアルページとして示しめされている。

基本きほん正規せいき表現ひょうげん

基本きほん正規せいき表現ひょうげんはBREとも呼よばれる。ほとんどの正規せいき表現ひょうげんを利用りようする UNIXのユーティリティ（grepやsed）のデフォルトはこれである。

この文法ぶんぽうでは、ほとんどの文字もじはリテラル（機能きのうを意味いみせず書かかれたそのまま）に扱あつかわれる。つまり、ある文字もじはその文字もじにのみマッチする。例たとえば、正規せいき表現ひょうげん「a」は文字もじ「a」にマッチし、正規せいき表現ひょうげん「(bc」は文字もじ列れつ「(bc」にマッチするなど。例外れいがいはメタ文字もじと呼よばれる。

正規せいき表現ひょうげん	マッチする対象たいしょう
.	任意にんいの1文字もじにマッチする。
[…]	括弧かっこ内ないに含ふくまれる1文字もじにマッチする。例たとえば、正規せいき表現ひょうげん「[abc]」は1文字もじ「a」「b」「c」にマッチする。正規せいき表現ひょうげん「[a-z]」は全すべての英えい小文字こもじの1文字もじにマッチする。これらは混まぜることができる。「[abcq-z]」は1文字もじ「a」「b」「c」「q」「r」「s」「t」「u」「v」「w」「x」「y」「z」にマッチし、正規せいき表現ひょうげん「[a-cq-z]」も同様どうようである。正規せいき表現ひょうげん中ちゅうの「-」は括弧かっこ内ないの最初さいしょか最後さいごにあるときのみ、リテラルとして扱あつかわれる。例たとえば正規せいき表現ひょうげん「[abc-]」や正規せいき表現ひょうげん「[-abc]」は1文字もじ「a」「b」「c」「-」にマッチする。1文字もじ「]」自身じしんにマッチさせる最もっとも手てっ取とり早ばやい方法ほうほうは、囲かこんでいる括弧かっこ内ないで、括弧かっこが最初さいしょになるようにすることである。例たとえば正規せいき表現ひょうげん「[][ab]」は1文字もじ「]」「[」「a」「b」にマッチする。
[^…]	括弧かっこ内ないに含ふくまれない1文字もじにマッチする。例たとえば正規せいき表現ひょうげん「[^abc]」は「a」「b」「c」以外いがいの任意にんいの文字もじにマッチする。正規せいき表現ひょうげん「[^a-z]」は英えい小文字こもじ以外いがいの任意にんいの1文字もじにマッチする。上うえと同様どうようにこれらは混まぜることができる。
^	行くだりの最初さいしょにマッチする。
$	行くだりの最後さいごにマッチする。
\(…\)	これに囲かこまれた表現ひょうげんは、後方こうほうで呼よび出だすことができる。次つぎの \1, …, \9 の項こうを参照さんしょうのこと。
\1 \2 \3 \4 \5 \6 \7 \8 \9	それぞれ「\(」と「\)」で囲かこまれた部分ぶぶんに先行せんこうしてマッチした1 - 9 番目ばんめの文字もじ列れつと同おなじ文字もじ列れつパターンにマッチする。この機能きのうは理論りろん的てきには、言いうならば非ひ正規せいきで（正規せいき言語げんごの記述きじゅつ力りょくを超こえる）、POSIX拡張かくちょう正規せいき表現ひょうげんでは採用さいようされていない。
*	1文字もじに続つづく「*」は0回かい以上いじょうの表現ひょうげんの繰くり返かえしにマッチする。例たとえば「[xyz]*」は空文字くうもじ列れつや文字もじ列れつ「x」「y」「zx」「zyx」などにマッチする。 n を1から9までの数字すうじとしたとき、基本きほん正規せいき表現ひょうげん「\n*」は「\(」と「\)」で囲かこまれた部分ぶぶんの0回かい以上いじょうの繰くり返かえしにマッチする。例たとえば、基本きほん正規せいき表現ひょうげん「\(a.\)c\1*」 は文字もじ列れつ「abcab」 「abcabab」「abcababab」などにマッチするが、文字もじ列れつ「abcac」にはマッチしない。 「\(」と「\)」で囲かこまれた表現ひょうげんに続つづく「*」は無効むこうとされる。しかし、一部いちぶの環境かんきょうではそうならない。
\{m,n\}	直前ちょくぜんのブロックの m 回かい以上いじょう n 回かい以下いかの繰くり返かえしにマッチする。例たとえば、正規せいき表現ひょうげん「a\{3,5\}」は文字もじ列れつ「aaa」「aaaa」「aaaaa」にマッチする。

古ふるいバージョンのgrepは選言せんげん演算えんざん子こ「\|」をサポートしていない。

例れい

正規せいき表現ひょうげん「.at」は文字もじ列れつ「hat」「cat」「5at」のような3文字もじの文字もじ列れつにマッチする

正規せいき表現ひょうげん「[hc]at」は文字もじ列れつ「hat」と「cat」にマッチする

正規せいき表現ひょうげん「[^b]at」は文字もじ列れつ「bat」以外いがいの「.at」でマッチする全すべての文字もじ列れつにマッチする

正規せいき表現ひょうげん「^[hc]at」は行こうの最初さいしょにあるときだけ、文字もじ列れつ「hat」と「cat」にマッチする

正規せいき表現ひょうげん「[hc]at$」は行こうの最後さいごにあるときだけ、文字もじ列れつ「hat」と「cat」にマッチする

符号ふごう点てんの範囲はんいによってたとえば「アルファベット大文字おおもじ」などを表現ひょうげんしようとすることは、時ときに問題もんだいをひきおこす。たとえばロケールに依存いぞんする例れいとして、エストニア語ごのアルファベット順じゅんでは、文字もじ「s」の後のちに「z」があり、その後ごは「t」「u」「v」「w」「x」「y」と続つづくので、正規せいき表現ひょうげん「[a-z]」ではすべての言語げんごのすべてのアルファベット小文字こもじにマッチするわけではない。そのため、POSIX 標準ひょうじゅんでは次つぎの表ひょうに示しめされているクラス、つまり文字もじの区分くぶんを定義ていぎしている。

POSIX クラスを用もちいた正規せいき表現ひょうげん	対応たいおうする表現ひょうげん	意味いみ
[[:upper:]]	[A-Z]	英語えいごの大文字おおもじ
[[:lower:]]	[a-z]	英語えいごの小文字こもんじ
[[:alpha:]]	[A-Za-z]	英語えいごのアルファベット
[[:alnum:]]	[A-Za-z0-9]	アラビア数字すうじと英語えいごのアルファベット
[[:digit:]]	[0-9]	アラビア数字すうじ
[[:xdigit:]]	[0-9A-Fa-f]	16進しん数字すうじ
[[:punct:]]	[.,!?:...]	英語えいごの句読点くとうてん
[[:blank:]]	[ \t]	（半角はんかくの）スペースとタブ
[[:space:]]	[ \t\n\r\f\v]	（半角はんかくの）空白くうはく
[[:cntrl:]]		制御せいぎょ文字もじ
[[:graph:]]	[^ \t\n\r\f\v[:cntrl:]]	印字いんじ文字もじ
[[:print:]]	[^\t\n\r\f\v[:cntrl:]]	印字いんじ文字もじとスペース

例れい:正規せいき表現ひょうげん「[[:upper:]ab]」は英語えいごの大文字おおもじ「A」〜「Z」と「a」と「b」のうち1文字もじのみにマッチする。

いくつかのツールで使用しようできる、POSIX にないクラスとして「[:word:]」がある。「[:word:]」は通常つうじょう「[:alnum:]」とアンダースコアからなる。これらが多おおくのプログラミング言語げんごで識別子しきべつしとして使用しようできる文字もじであることを反映はんえいしている。

拡張かくちょう正規せいき表現ひょうげん

拡張かくちょう正規せいき表現ひょうげんはEREとも呼よばれる。より現代げんだい的てきな拡張かくちょう正規せいき表現ひょうげんは多おおくの場合ばあい、現在げんざいの UNIXのユーティリティでコマンドラインオプションに「-E」を含ふくめることで使用しようできる。

POSIXの拡張かくちょう正規せいき表現ひょうげんは伝統でんとう的てきな UNIX の正規せいき表現ひょうげんに似にているが、いくつかの点てんで異ことなっている。

基本きほん正規せいき表現ひょうげん	拡張かくちょう正規せいき表現ひょうげん
(対応たいおうなし)	+
(対応たいおうなし)	?
(対応たいおうなし)	|
\{…\}	{…}
\(…\)	(…)
(	\(
)	\)
[	\[
]	\]
.	\.
*	\*
?	\?
+	\+
^	\^
$	\$

例たとえば、拡張かくちょう正規せいき表現ひょうげん「a\.(\(|\))」は文字もじ列れつ「a.)」や文字もじ列れつ「a.(」にマッチする。

GNU Emacsの正規せいき表現ひょうげん

GNU findコマンドにおけるデフォルトの正規せいき表現ひょうげん文法ぶんぽうとしても用もちいられる。（findutils-4.2.28）

GNU Emacs Manual - Regexps

Perlの正規せいき表現ひょうげん

PerlはPOSIXの拡張かくちょう正規せいき表現ひょうげんさえも上回うわまわる豊富ほうふな文法ぶんぽうを持もっている。その例れいとして、POSIXとは異ことなり、Perlの正規せいき表現ひょうげんには「非ひ欲張よくばり量りょう指定してい子こ」がある。標準ひょうじゅんの「*」は、例たとえば、正規せいき表現ひょうげん「a.*b」の「.*」はできるだけ長ながい文字もじ列れつにマッチしようとする。このふるまいを「貪欲どんよく」という。たとえば文字もじ列れつ「a bad dab」にマッチさせると、全体ぜんたいにマッチする。これに対たいし、Perlでは使つかうことができる正規せいき表現ひょうげん「a.*?b」の「.*?」は、マッチするのであれば、できるだけ短みじかい文字もじ列れつにマッチする。たとえば文字もじ列れつ「a bad dab」に対たいして「a b」にだけマッチする。これを「非ひ欲張よくばり量りょう指定してい子こ」と言いう。

また、Perlには以下いかの定義ていぎ済ずみ文字もじクラスがある。

メタ文字もじ	マッチする対象たいしょう
\d	アラビア数字すうじ、つまり「[0-9]」
\D	アラビア数字すうじ以外いがいの文字もじ、つまり「[^\d]」
\w	アルファベット、アラビア数字すうじまたはアンダーバー、つまり「[a-zA-Z_0-9]」（ロケールに依存いぞんし、例たとえばウムラウト付つき文字もじなどの扱あつかいが変かわる）
\W	アルファベット、数字すうじやアンダーバー以外いがいの文字もじ、つまり「[^\w]」
\s	空白くうはく文字もじ、つまり「[ \t\n\r\f]」（ASCII文字もじ集合しゅうごうの場合ばあい）
\S	空白くうはく文字もじ以外いがいの文字もじ、つまり、[^\s]

すぐれた機能きのうをもつPerlの拡張かくちょう正規せいき表現ひょうげんは、多おおくのプログラミング言語げんごやソフトウェアで採とりいれられている。例たとえば、JavaのPatternクラス、Python、Rubyなどがそうである。しかし、これらがPerlの正規せいき表現ひょうげんと完全かんぜんに互換ごかんである訳わけではない。また、Perl Compatible Regular Expressions (PCRE) と呼よばれる汎用はんようの正規せいき表現ひょうげんライブラリはアプリケーションに組くみ込こまれ、Perlの正規せいき表現ひょうげんとほぼ互換ごかんの機能きのうを提供ていきょうする。

正規せいき表現ひょうげんライブラリ

言語げんご処理しょり系けいやアプリケーションが正規せいき表現ひょうげんをサポートしていない場合ばあいであっても、正規せいき表現ひょうげんに必要ひつような処理しょりを提供ていきょうする外部がいぶライブラリを導入どうにゅうすることで正規せいき表現ひょうげんを使つかうことができる。以下いかにその一いち例れいを挙あげておく。

PCRE

Perl互換ごかんのライブラリ。Eximのために開発かいはつされ、ApacheやPostfixをはじめ、さまざまなソフトウェアに組くみ込こまれている。

鬼おに車しゃ

正規せいき表現ひょうげんオブジェクトごとに異ことなる文字もじエンコーディングを指定していできる特徴とくちょうをもつ。Rubyの1.9系列けいれつやPHPの5系列けいれつに採用さいようされている。macOS用ように検索けんさくウィンドウを追加ついかして移植いしょくしたOgreKit（Oniguruma Regular Expression Framework for Cocoa）が存在そんざいする。

鬼おに雲くも

鬼おに車しゃから派生はせいした正規せいき表現ひょうげんライブラリで、Perl 5.10以降いこうで導入どうにゅうされた機能きのうをサポートする。Ruby 2.0以降いこうの標準ひょうじゅんライブラリとして利用りようされている。

re2

PCREなどのバックトラック式しきではなくオートマトンを用もちいることで、省しょうメモリでマッチングを行おこなうことができる。Googleが内部ないぶで利用りようしている。

GNU Regex

GNU Cライブラリに含ふくまれているため、Unix系けいでは標準ひょうじゅんで利用りようできる。

Boost.Regex

Boost C++ライブラリによる実装じっそう。デフォルトでPerl互換ごかんの文法ぶんぽうが使つかわれるが、POSIXやECMAScriptなどの文法ぶんぽうプロファイルを任意にんいに選択せんたくすることもできる。C++11規格きかくにてBoost.Regexのサブセットが標準ひょうじゅん化かされた。

参考さんこう文献ぶんけん

• Jeffrey E.F. Friedl『詳説しょうせつ正規せいき表現ひょうげん』歌代うたしろ和正かずまさ監訳かんやく、春はる遍へん雀すずめ來らい・鈴木すずき武生たけお共とも訳やく（第だい1版はん）、オライリー・ジャパン、1999年ねん4月がつ。ISBN 4-900900-45-1。 
  • Jeffrey E.F. Friedl『詳説しょうせつ正規せいき表現ひょうげん』田和たわ勝まさる訳わけ（第だい2版はん）、オライリー・ジャパン、2003年ねん5月がつ。ISBN 4-87311-130-7。 
  • Jeffrey E.F. Friedl『詳説しょうせつ正規せいき表現ひょうげん』株式会社かぶしきがいしゃロングテール・長尾ながお高弘たかひろ訳わけ（第だい3版はん）、オライリー・ジャパン、2008年ねん4月がつ。ISBN 978-4-87311-359-3。https://www.oreilly.co.jp/books/9784873113593/。 
• Jan Goyvaerts、Steven Levithan『正規せいき表現ひょうげんクックブック』長尾ながお高弘たかひろ訳わけ、オライリー・ジャパン、2010年ねん4月がつ。ISBN 978-4-87311-450-7。https://www.oreilly.co.jp/books/9784873114507/。 

外部がいぶリンク

• 正規せいき表現ひょうげんメモ - sed, grep, perl など様々さまざまなソフトの正規せいき表現ひょうげんがまとめられている。