摘要
本文利用分明元等概念 ,讨论了Kleene代数的直积分解 ,得到了Kleene代数为既约的条件 ,并在完备的条件下给出了Kleene代数有既约分解的一个充要条件 .
In this paper using the concept of the crisp element we discuss the problem of direct product decomposition of Kleene algebra. The condition of Kleene algebra being irreducible is obtained. Moreover the necessary and sufficient condition,under which Kleene algebra has irreducible decomposition when Kleene algebra is a complete lattice,is obtained.
出处
《洛阳师范学院学报》
2004年第2期22-24,共3页
Journal of Luoyang Normal University
关键词
K1eene代数
Bode可补元
F-补
既约分解
Kleene algebra
Boolean complemented element
F-complement
irreducible decomposition
