| 余代数上的弱不变量 |
| |
| 引用本文： | 曹学磊,何伟,樊磊,庞智恒.余代数上的弱不变量[J].中央民族大学学报(自然科学版),2007,16(4):304-309. |
| |
| 作者姓名： | 曹学磊 何伟 樊磊 庞智恒 |
| |
| 作者单位： | 1. 中央民族大学,理学院,北京,100081
2. 首都师范大学,教育技术系,北京,100037 |
| |
| 摘 要： | 余代数上的不变量在理论计算机科学中占有十分重要的地位,本文借助文献1]的思想建立弱不变量的定义,讨论了弱不变量的性质以及与不变量的关系;其次,定义标记迁移系统的弱不变量并证明这两种定义是等价的.
|
| 关 键 词： | 余代数 标记迁移系统 不变量 弱不变量 |
| 文章编号： | 1005-8036（2007）04-0304-06 |
| 修稿时间： | 2007-06-05 |
Weak Invariant for Coalgebras |
| |
| CAO Xue-lei,HE Wei,FAN Lei,PANG Zhi-heng.Weak Invariant for Coalgebras[J].Journal of The Central University for Nationalities(Natural Sciences Edition),2007,16(4):304-309. |
| |
| Authors: | CAO Xue-lei HE Wei FAN Lei PANG Zhi-heng |
| |
| Institution: | 1. College of Science, Central University for Nationalities, Beijing 100081, China ; 2. Department of Educational Technology, Capital Normal University, Beifing 100037, China |
| |
| Abstract: | Invariant for coalgebras is very important in theoretical computer science.In this paper,we define the concept of the weak invariant,and discuss some properties about the weak invariant and the relationship with the invariant.At the same time,the definition of weak invariant for labeled transition systems is given.And it is proved that the two definitions are equivalent. |
| |
| Keywords: | coalgebra labeled transition system invariant weak invariant |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
