克莱尼代数
克莱尼代数(名称源自于美国数学家逻辑学家 斯蒂芬·科尔·克莱尼)在数学中是下列两个事物之一:
- 带有满足德·摩根定律和不等式 x∧−x ≤ y∨−y 的对合(补)运算的有界分配格。所以所有布尔代数都是 Kleene 代数,但是多数 Kleene 代数不是布尔代数。如同布尔代数有关于经典命题逻辑,Kleene代数有关于Kleene的三值逻辑。
- 推广来源自正则表达式的运算的代数结构。本文余下部分采用这种Kleene代数的概念。
单词 | Kleene algebra |
释义 |
Kleene algebra
中文百科
克莱尼代数克莱尼代数(名称源自于美国数学家逻辑学家 斯蒂芬·科尔·克莱尼)在数学中是下列两个事物之一:
英语百科
Kleene algebra 克莱尼代数In mathematics, a Kleene algebra (/ˈkleɪni/ KLAY-nee; named after Stephen Cole Kleene) is an idempotent (and thus partially ordered) semiring endowed with a closure operator. It generalizes the operations known from regular expressions. |
随便看 |
|
英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。