余代数上的弱不变量

Weak Invariant for Coalgebras

余代数上的不变量在理论计算机科学中占有十分重要的地位,本文借助文献[1]的思想建立弱不变量的定义,讨论了弱不变量的性质以及与不变量的关系;其次,定义标记迁移系统的弱不变量并证明这两种定义是等价的.

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.