1) Kleene module
Kleene模
1.
On Kleene modules and *-μ-semimodules;
Kleene模与*-μ-半模
3) Kleene-Stone algebra
Kleene-Stone代数
1.
Kleene-Stone algebras formed by the divisor set of positive integers;
自然数的约数集构成的Kleene-Stone代数
4) Kleene closure
Kleene闭包
5) Kleen-orthogonal Complement
Kleene正交补
6) Kleene algebra
Kleene代数
1.
Kleene algebra is fundamental and ubiquitous in computer science.
Kleene代数在计算机科学中具有基础而特殊的重要性。
2.
In this paper using the concept of the crisp element we discuss the problem of direct product decomposition of Kleene algebra.
本文利用分明元等概念 ,讨论了Kleene代数的直积分解 ,得到了Kleene代数为既约的条件 ,并在完备的条件下给出了Kleene代数有既约分解的一个充要条件 。
3.
Itself also is a Kleene algebra.
已经研究得出,MP~M中介代数在一定条件下可以转化为Boole代数、中介代数,并且它本身是一个Kleene代数。
补充资料：Kleene-Mostowski分类
Kleene-Mostowski分类
Kleene - Mostowski dassification
幻份.一M说勿银幻分类【刃日改比一M加to服匆选坦沥口住叨;心.一Mocosc劝ro期accll中似绷。] 由5 .C .Kleene(【l」)和A.M“to招ki([2」)各自独立提出的数论谓词的一种分类.所有递归谓词的类同时用n。和艺。表示.对每一个k>0，类及定义为由一切能表示为日夕R(y，xt，…，x。)形状的谓词构成的类，其中日是存在最词(qUant政r)，并且R(y，x，，二几x。)是类n卜:中的一个谓词;而n*定义为由一切能表示为丫夕R(y，x，，…，x。)形状的谓词构成的类，其中丫是全称量词，并且谓词R(y，x，，…，x。)属于类艺k一1.用这个方法得到类的两个序列:艺，艺:沉。”’“‘ 工。=n。 n 1 flZ n3‘’‘’‘” 如果一个谓词属于工*或nk，那么对任意j>k，它也属于n，和艺j，即对任意z>k，z*三z，自nz，并且fl*三艺，自n，.如果k>O，那么x*中存在不属于n、的谓词，并且n、中也存在不属于Z*的谓词，即z*\n*笋必，并且n*\工*笋必.一个谓词属于类z*或类n*之一当且仅当它可以用形式算术(颐让田℃tic，fonT以1)的语言表示.如果一个谓词Q(x:，…，x。)属于x*(或n*)，那么二Q(xt，·…x。)属于n*(艺k)，其中，是否定符号.一个谓词Q(x，，…，x，)是递归的(见递归谓词(~i祀p阁卜cate))，当且仅当Q(x，，…，x。)和.，Q(x，，…，x。)都属于艺:，即z:自fl;=x。=fl。.如果k>0，那么(名*+:自flk+，)\(艺*Ufl*)笋必. 定义于形式算术的语言中的集合的分类(d创铝ifiul-石曲of sets)依据谓词的分类进行:一个集合M属于n。(或x*)，如果谓词“x‘M”属于这个类.【补注】nj自乙通常用△j表示.幻优。e一MOSto仍石ki分类一般也叫做算术谱系(ari让田货ti口1场郎助山y).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条