クリーネ閉包

クリーネ閉包（くりーねへいほう、英：Kleene closure）またはクリーネスター（英：Kleene star）とは、数理論理学および計算機科学の概念で、文字列の集合もしくはシンボル・文字の集合に対する単項演算である。集合 V に対するクリーネ閉包の適用は、V* と表す。スティーヴン・コール・クリーネがある種のオートマトンを特徴付けるために導入した方法である、正規表現でよく用いられる。V が文字列の集合であるとき、V* は、空文字列 ε を含み、文字列連結演算に閉じているような最小の集合と定義される。この集合は、別の書き方をすれば、V に含まれるゼロ個以上の文字列を連結して作ることができるような文字列の集合である。V がシンボル・文字の集合であるとき、V* は、空文字列を含む V 上のあらゆる文字列の集合である。
Wikipedia.orgをもっと見ると…