本文主要讨论有限特殊Ｃｈｕｒｃｈ－ＲｏｓｓｅｒＴｈｕｅ系统所表现的么半群上Ｇｒｅｅｎ等价的数量性质．证明每种Ｇｒｅｅｎ等价类都是正则集合，其个数或１或∞且多项式时间内可计算．同时获得一个关于有限特殊Ｔｈｕｅ系统描述能力的结论．
大学数学
1996年4期
