对称*-λ-半环  

On symmetric *-λ-semirings

作　　者：冯锋[1] 柳晓燕[1] 张辉[2] 

机构地区：[1]西安邮电学院应用数学与应用物理系,西安710121 [2]西安交通大学理学院,西安710049

出　　处：《计算机工程与应用》2007年第33期46-47,97,共3页Computer Engineering and Applications

摘　　要：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.

关 键 词：＊-半环 对称＊-λ-半环 归纳＊-半环 Kleene代数 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]