特殊Thue系统表现的幺半群的两个性质

Two Properties of the Monoids Presented by Special Thue Systems

本文给出了有限特殊Ｃｈｕｒｃｈ－ＲｏｓｓｅｒＴｈｕｅ系统表现的上半群是群或正则半群的两个充要条件．并由此获得了判定该种幺半群是否群、正则半群的十分简单的算法．

Two sufficient and necessary conditions are given for the monoids presented by finitespecial Church-Rosser Thue systems to be groups and regular ones respectively.And thus an algorithm is derived to decide whether such a monoid is a group or a regular monoid.