クリーネ閉包（くりーねへいほう、）は、形式言語とオートマトンの理論において、ある演算の繰り返しが「生成」するシンボルないし文字の列（文字列）の集合である。また、この繰り返しの単項演算子をクリーネスター（）という。集合 "V" に対するクリーネ閉包の適用は、"V"* と表す。スティーヴン・コール・クリーネがある種のオートマトンを特徴付けるために導入した方法である、正規表現でよく用いられる。文字列の集合に適用されるクリーネ閉包の例：文字の集合に適用されるクリーネ閉包の例：クリーネ閉包はしばしば、以下のようなモノイド ("M

出典:wikipedia