对称*-λ-半环

计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (33): 46-47.

对称*-λ-半环

冯锋¹,柳晓燕¹,张辉²

1.西安邮电学院应用数学与应用物理系,西安710121
2.西安交通大学理学院,西安 710049

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2007-11-21 发布日期:2007-11-21
通讯作者: 冯锋

On symmetric *-λ-semirings

FENG Feng¹,LIU Xiao-yan¹,ZHANG Hui²

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

摘要/Abstract

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

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

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

冯锋¹,柳晓燕¹,张辉². 对称*-λ-半环[J]. 计算机工程与应用, 2007, 43(33): 46-47.

FENG Feng¹,LIU Xiao-yan¹,ZHANG Hui². On symmetric *-λ-semirings[J]. Computer Engineering and Applications, 2007, 43(33): 46-47.

对称*-λ-半环

On symmetric *-λ-semirings

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

编辑推荐

Metrics