本文证明了,对于一个有限生成半群,如果它的生成关系是完备的,则可以在多项式时间内机械地判定半群是砂为有限半群,并且在半群有限......

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

本文给出了识别Ｔｈｕｅ系统不可约字集的有穷自动机的一个新的构作。...

讨论一类特殊集——有限群上的Word问题的可判断性及其算法。给出图厄系统及改写系统的定义，并证明了在有限改写系统上的Word问题是......

串重写系统(Σ∶R)是定义在字母表Σ上的所有字符串的集合，一般情况下集合中的元素是不可刻画的.对于一个有限可交换的Thue系统(Σ......