克林恩定理(Kleene theorem)語言理論中的一個重要定理.設F是X上所有有限語言所組成的語言族，Rat X‘是由F經“U;， + ,”和“*”等運算而生成的語言族，稱為X上的有理語言族，其中"U”是集合論的並，對任意L‑z.zcX.，克林恩定理:X上一語言L是正則的，若且唯若L為某一X‘自動機所識別的，若且唯若LERatX".
