コンウェイの和スター公式とデリミータで区切ったデータ - 檜山正幸のキマイラ飼育記 (はてなBlog)

正規表現パターンに対して次が成立します。 (A | B)* = (A*B)* (A*) AとBは任意のパターン、イコールは「左辺にマッチする文字列は右辺にもマッチし、右辺にマッチする文字列は左辺にもマッチする」という意味。 もう少し一般的な文脈では、これをコンウェイ（Conway）の和スター公式（sum-star equation）と呼びます。右辺の「|」を「+」に書き換えると、(A + B)* なので、和とスターの組み合わせから和を除く手順だと思ってもいいでしょう。 この和スター公式は憶えにくいし、憶えても忘れる。そこで、具体的で馴染みのある例を考えました。 DataChar ::= [-_a-zA-Z0-9] DelmChar ::= [, ] EndOfData ::= [.\n] /* 注：[]のなかでは\.としなくてもよい。 */ 区切り文字を「コンマまたは空白」として、データ項

[kgbu]

正規表現の等式ってのが気になった。たとえばRubyのregexクラスにはequalは定義されているのか？とか。