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