摘要
本文讨论了 Knuth-Bendix 完备化过程的一些理论问题和实现技术,同时,分析完备化过程终止的成功率,进而讨论完备化过程在教学科研中应用的可行性.
The complete procedure of Thue system is one of the most basic problems of Thue sys-tem.This paper dwells on the theoretical problems and realization technique about Knuth-Bendix procedure,then analyzes its success probability of termination and further discussesthe feasiability of Knuth-Bendix procedure for teaching and research.
出处
《兰州大学学报（自然科学版）》
CAS
CSCD
北大核心
1992年第S1期44-48,共5页
Journal of Lanzhou University(Natural Sciences)
