クリーネ閉包
クリーネ閉包(くりーねへいほう、英: Kleene closure)は、形式言語とオートマトンの理論において、ある演算の繰り返しが「生成」するシンボルないし文字の列(文字列)の集合である。また、この繰り返しの単項演算子をクリーネスター(英: Kleene star)という。
集合 V に対するクリーネ閉包の適用は、V* と表す。スティーヴン・コール・クリーネがある種のオートマトンを特徴付けるために導入した方法である、正規表現でよく用いられる。
V が文字列の集合であるとき、V* は、空文字列 ε を含み、文字列連結演算に閉じているような最小の集合と定義される。この集合は、別の書き方をすれば、V に含まれるゼロ個以上の文字列を連結して作ることができるような文字列の集合である。
V がシンボル・文字の集合であるとき、V* は、空文字列を含む V 上のあらゆる文字列の集合である。