Kleene模与*-μ-半模  

On Kleene modules and *-μ-semimodules

作　　者：冯锋[1] 李锋[2] 

机构地区：[1]西安邮电学院应用数理系,陕西西安710121 [2]临沂师范学院数学系,山东临沂276005

出　　处：《西安邮电学院学报》2007年第5期124-125,137,共3页Journal of Xi'an Institute of Posts and Telecommunications

摘　　要：Kleene模及相关代数结构在程序推理中发挥着重要作用。作为对Kleene模等概念的推广,本文提出了*-μ-半模的概念,并给出了*-μ-半模成为Kleene模的充要条件。Kleene modules and related algebraic structures play important role in reasoning about programs. As a generalization of Kleene modules, the notion of ＊ - μ- semimodules is defined in this paper. Moreover, a necessary and sufficient condition for ＊-μ- semimodule to be a Kleene module is also given.

关 键 词：＊-半环 Kleene模 ＊-μ-半模 

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