讨论一类特殊集———有限群上的Word问题的可判断性及其算法。给出图厄系统及改写系统的定义,并证明了在有限改写系统上的Word问题是可判断的并给出了具有线性运行时间的算法。
徐子珊.改写系统的Word问题的算法及其复杂性[J].重庆工商大学学报(自然科学版),2004,(1): .[J]. Journal of Chongqing Technology and Business University(Natural Science Edition),2004,(1):