Computer Engineering and Applications ›› 2007, Vol. 43 ›› Issue (33): 46-47.

• 学术探讨 • Previous Articles     Next Articles

On symmetric *-λ-semirings

FENG Feng1,LIU Xiao-yan1,ZHANG Hui2   

  1. 1.Department of Applied Math. and Applied Physics,Xi’an Institute of Posts and Telecommunications,Xi’an 710121,China
    2.School of Science,Xi’an Jiaotong University,Xi’an 710049,China
  • Received:1900-01-01 Revised:1900-01-01 Online:2007-11-21 Published:2007-11-21
  • Contact: FENG Feng

对称*-λ-半环

冯 锋1,柳晓燕1,张 辉2   

  1. 1.西安邮电学院 应用数学与应用物理系,西安710121
    2.西安交通大学 理学院,西安 710049
  • 通讯作者: 冯 锋

Abstract: 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 characterization of symmetric *-λ-semirings is given.Moreover,it is pointed out that symmetric *-λ-semirings extend the notion of Kleene algebras.

Key words: *-semiring, symmetric *-λ-semiring, inductive *-semiring, Kleene algebra

摘要: Kleene代数在计算机科学中具有基础而特殊的重要性。在计算机工程应用中,Kleene代数及相关*-半环已被成功应用于基础安全分析、底层程序变换以及并行控制等许多领域。论文给出了对称*-λ-半环的定义及其等价刻画,并指出对称*-λ-半环是Kleene代数概念的推广。

关键词: *-半环, 对称*-λ-半环, 归纳*-半环, Kleene代数