串重写系统（∑：R）是定义在字母表∑上的所有字符串的集合。对于一个有限可交换的特殊Thue系统（∑：R），证明了（∑：R）是有限生成交换群；相反，任意......

给出了判定可交换特殊Thue系统完备化的方法.对于所考虑的Thue系统，检验Church-Rosser性质可进行系统完备化判定.而使Church-Rosser......