摘要
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,the notion of symmetric *-λ-semirings is introduced and equivalent charac- terization of symmetric *-λ-semirings is given.Moreover, it is pointed out that symmetric *-λ-semirings extend the notion of Kleene algebras.
出处
《计算机工程与应用》
CSCD
北大核心
2007年第33期46-47,97,共3页
Computer Engineering and Applications