克莱尼代数
克莱尼代数(名称源自于美国数学家逻辑学家 斯蒂芬·科尔·克莱尼)在数学中是下列两个事物之一:
- 带有满足德·摩根定律和不等式 x∧−x ≤ y∨−y 的对合(补)运算的有界分配格。所以所有布尔代数都是 Kleene 代数,但是多数 Kleene 代数不是布尔代数。如同布尔代数有关于经典命题逻辑,Kleene代数有关于Kleene的三值逻辑。
- 推广来源自正则表达式的运算的代数结构。本文余下部分采用这种Kleene代数的概念。
网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
依恋情感网英汉例句词典收录3870147条英语例句词条,基本涵盖了全部常用英语单词的释义及例句,是英语学习的有利工具。