克莱尼代数 克莱尼代数名稱源自于美国数学家逻辑学家 斯蒂芬科尔克莱尼在数学中是下列两个事物之一 带有满足德摩根定律和不等式 xx  yy 的对合补运算的有界分配格所以所有布尔代数都是 Kleene 代数但是多数 Kleene 代数不是布尔代数如同布尔代数有关于经典命题逻辑Kleene代数有关于Kleene的三值逻辑 推广来源自正则表达式的运算的代数结构本文余下部分采用这种Kleene代数的概念