摘要
讨论了有限可交换特殊图厄系统 (Σ∶ R)及其字问题 ,证明了一个有限可交换特殊图厄系统 (Σ∶ R)是一个有限群与一个自由幺半群的直积 ;在所讨论的系统是完备的情况下 ,得到了一个判定有限阶元问题存在的线性时间算法 ,这个算法同时还构造了字方程 xm =xn
A finite commutative special Thue system and its word problem are discussed.It is proved that a finite commutative special Thue system is a product of a finite group and a monoid; if the system is in completion,a linear time algorithm to decide the existence of finite order elements of this system is obtained;meantime,all the solutions of word equation x m=x n are given in this algorithm.
出处
《兰州大学学报（自然科学版）》
CAS
CSCD
北大核心
2002年第1期11-14,共4页
Journal of Lanzhou University(Natural Sciences)
