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

摘要

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