搜索结果: 1-1 共查到“数学 Knuth-Bendix algorithm”相关记录1条 . 查询时间(0.078 秒)
Knuth-Bendix algorithm and the conjugacy problems in monoids
Knuth-Bendix algorithm conjugacy problems monoids
2011/2/21
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 in...