论文部分内容阅读
作为代数的对偶概念,共代数概念在20世纪90年代中后期以来在国际上得到了理论计算机学界的广泛关注.对于计算机科学而言,代数从构造的角度考察数据类型的性质,而共代数则从观察的角度考察基于状态的系统的行为.本文以一个简单的例子介绍共代数方法这一理论计算机前沿领域的基本概念,并试图阐述该方法的意义和远景.