理論計算機科学、特に形式言語理論では、Kleeneのアルゴリズムは、与えられた決定論的有限オートマトン（DFA）を正規表現に変換する。他の変換アルゴリズムとともに、通常の言語のための複数の記述形式の同等性を確立します。