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