关于几类具有Kleene*-运算的半环

On some classes of Kleene*-semirings

Kleene代数在计算机科学中具有基础而特殊的重要性。在计算机工程应用中,Kleene代数及相关*-半环已被成功应用于基础安全分析、底层程序变换以及并行控制等许多领域。本文定义了几类具有Kleene*-运算的半环,给出了相关的等价刻画,并研究了这些*-半环之间的关系。

Kleene algebra is fundamental and ubiquitous in computer science. In computer engineering and applications, Kleene algebra and related ＊ - semirings have been used successfully in various fields such as basic safety analysis, low- level program transformations and concurrency control. In this paper, several classes of semirings equipped with Kleene ＊ - operations are defined and related equivalent characterizations are given. Relations among these ＊- semirings are also investigated.