克莱尼代数维基百科,自由的 encyclopedia 克莱尼代数(名称源自于美国数学家逻辑学家 斯蒂芬·科尔·克莱尼)在数学中是下列两个事物之一: 带有满足德·摩根定律和不等式 x∧−x ≤ y∨−y 的对合(补)运算的有界分配格。所以所有布尔代数都是 Kleene 代数,但是多数 Kleene 代数不是布尔代数。如同布尔代数有关于经典命题逻辑,Kleene代数有关于Kleene的三值逻辑。 推广来源自正则表达式的运算的代数结构。本文余下部分采用这种Kleene代数的概念。 本条目存在以下问题,请协助改善本条目或在讨论页针对议题发表看法。 此条目已列出参考资料,但文内引注不足,部分内容的来源仍然不明。 (2021年1月18日) 此条目已列出参考文献,但因为没有文内引注而使来源仍然不明。 (2021年1月18日) 此条目或其章节极大或完全地依赖于某个单一的来源。 (2021年1月18日) 此条目需要补充更多来源。 (2021年1月18日)
克莱尼代数(名称源自于美国数学家逻辑学家 斯蒂芬·科尔·克莱尼)在数学中是下列两个事物之一: 带有满足德·摩根定律和不等式 x∧−x ≤ y∨−y 的对合(补)运算的有界分配格。所以所有布尔代数都是 Kleene 代数,但是多数 Kleene 代数不是布尔代数。如同布尔代数有关于经典命题逻辑,Kleene代数有关于Kleene的三值逻辑。 推广来源自正则表达式的运算的代数结构。本文余下部分采用这种Kleene代数的概念。 本条目存在以下问题,请协助改善本条目或在讨论页针对议题发表看法。 此条目已列出参考资料,但文内引注不足,部分内容的来源仍然不明。 (2021年1月18日) 此条目已列出参考文献,但因为没有文内引注而使来源仍然不明。 (2021年1月18日) 此条目或其章节极大或完全地依赖于某个单一的来源。 (2021年1月18日) 此条目需要补充更多来源。 (2021年1月18日)