论文部分内容阅读
串重写系统(Σ∶R)是定义在字母表Σ上的所有字符串的集合,一般情况下集合中的元素是不可刻画的.对于一个有限可交换的Thue系统(Σ∶R),令 ΔR={((t1,t2,…,tn),(s1,s2,…,sn))|(at11at22…atnn→as1as22…asnn)∈R}.ΔR是幺半群Nn的一个二元关系,用Δ*R表示Nn上由Δ生成的同余,则有 (Σ∶R)≌Nn/Δ*R. 反之,关于Nn的任意同余θ,令Σ={a1,a2,…,an}和 R1={at11at22…atnn→as11as22…asnn|((t1,t2