克莱尼代数

克莱尼代数，是数学名词，又称Kleene代数，是下列两个事物之一：带有满足德·摩根定律和不等式 x∧−x ≤ y∨−y 的对合的有界分配格。所有布尔代数都是 Kleene 代数，但是多数 Kleene 代数不是布尔代数。克莱尼代数并非 Kleene提出，但是他有着不可磨灭的贡献。Kleene 代数不是 Kleene 定义的；他介入了正则表达式并寻求一个完备的公理集合来允许在正则表达式上的所有等式的推导。首先约翰·何顿·康威在正则代数的名义下研究了这个问题。Dexter Kozen 最先证明了 Kleene 代数的公理解决了这个问题。