摘要
提出了Todd-Coxeter算法在有限步内终止的条件,并作出了论证.结论可以作为Todd-Coxeter算法应用的理论依据.
The paper has put forward the condition to terminate the Todd - Coxeter algorithm within finite steps and also proves it. The theorem can be used as the theoretical basis of the application of Todd - Coxeter algorithm.
出处
《长沙大学学报》
2013年第5期5-6,共2页
Journal of Changsha University
