Leg G be a group on generators A. We investigate C(G,A), the class of all t-complete rewrite systems for G over A, that is convergent inter-reduced rewrite systems for G which can be proved terminating with a total division ordering on A~*. Given G, A and an element > of Tot(A), the total division orderings over A, there is a unique convergent inter-reduced rewrite system for G which can be proved terminating using >. C(G,A) induces a partition of Tot(A), where the complete system T corresponds to the set of all orderings which prove T terminating. We give a collection of examples which illustrate different phenomena which can occur, and indicate some of the natural questions which arise. In particular we investigate how these results extend to subgroups and quotients. (Rewrite rules, algebra)
展开▼
机译：腿G是发电机上的一组。我们调查C（g，a），G的所有T-Theuple Rewrite Systems的CORP Over A的类，这是G的Ground语言互总重写系统，可以证明总共可以终止分部订购〜*。给定的g，a和一个元素> tot（a）的总分割排序，有一个唯一的会聚互相改写系统，用于g可以被证明使用>。 C（g，a）引起TOT（a）的分区，其中完整的系统t对应于证明t终止的所有排序的集合。我们给出了一个示例的集合，其说明了可能发生的不同现象，并指出出现的一些自然问题。特别是我们调查这些结果如何扩展到子组和商。 （重写规则，代数）
展开▼
