简介:本文主要讨论有限特殊Church-RosserThue系统所表现的么半群上Green等价的数量性质.证明每种Green等价类都是正则集合,其个数或1或∞且多项式时间内可计算.同时获得一个关于有限特殊Thue系统描述能力的结论.
简介:提出两类联系函数,它们是阿基米德联系函数与Fréchet-Hoeffding界的融合,是正序簇.一类介于Fréchet-Hoeffding下界与一个特殊的联系函数之间;另一类介于Fréchet-Hoeffdingshang上界与一个特殊的联系函数之间.本文最后提出几个有待解决的问题.