Knuth-Bendix算法与幺半群中的共轭问题
Knuth-Bendix algorithm and the conjugacy problems in monoids
AI总结:
本文针对幺半群共轭问题,扩展Knuth-Bendix经典重写理论,提出纳入循环共轭的重写算法方法。
摘要:
我们提出一种利用重写系统解决幺半群中共轭问题的算法方法。我们将Knuth和Bendix发展的经典重写理论扩展为一种考虑循环共轭的重写。
英文摘要:
We present an algorithmic approach to the conjugacy problems in monoids, using rewriting systems. We extend the classical theory of rewriting developed by Knuth and Bendix to a rewriting that takes into account the cyclic conjugates.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。