改写系统的Word问题的算法及其复杂性

讨论一类特殊集———有限群上的Word问题的可判断性及其算法。给出图厄系统及改写系统的定义,并证明了在有限改写系统上的Word问题是可判断的并给出了具有线性运行时间的算法。