克萊尼代數

克萊尼代數 （ 名稱源自於美國數學家邏輯學家 斯蒂芬 · 科爾 · 克萊尼 ） 在數學中是下列兩個事物之一: 帶有滿足德 · 摩根定律和不等式 x ∧ − x ≤ y ∨ − y 的對合 運算的有界分配格 。 所以所有布爾代數都是 Kleene 代數 ， 但是多數 Kleene 代數不是布爾代數 。 如同布爾代數有關於經典命題邏輯 ， Kleene代數有關於Kleene的三值邏輯 。 推廣來源自正則表達式的運算的代數結構 。 本文餘下部分採用這種Kleene代數的概念 。