克林恩定理

克林恩定理(Kleene theorem)语言理论中的一个重要定理.设F是X上所有有限语言所组成的语言族，Rat X‘是由F经“U;， + ，”和“*”等运算而生成的语言族，称为X上的有理语言族，其中"U”是集合论的并，对任意L‑z.zcX.，