特殊Thue系统相关论文
串重写系统(∑:R)是定义在字母表∑上的所有字符串的集合。对于一个有限可交换的特殊Thue系统(∑:R),证明了(∑:R)是有限生成交换群;相反,任意......
给出了判定可交换特殊Thue系统完备化的方法.对于所考虑的Thue系统,检验Church-Rosser性质可进行系统完备化判定.而使Church-Rosser......