〈a, b | aabbbaa=ab〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right a/cb
• Auxiliary generator abb=c

Complete rewriting system

1. acba² ⇒ ab
2. ab² ⇒ c
3. c²ba² ⇒ cb
4. acbac ⇒ cb
5. acbab ⇒ cb²a²
6. abcba² ⇒ c
7. (cb)²a² ⇒ cb²
8. cb²ac ⇒ a(cb)²
9. cb³ ⇒ c²bac
10. cb²a²b ⇒ acbc
11. abcbac ⇒ cb²
12. abcbab ⇒ c²baca²
13. c²b(ac)²a² ⇒ abcb²
14. c²baca²b ⇒ a(bc)²
15. (cb)²ac ⇒ c²bacb
16. acbcb²a² ⇒ cb²ab
17. cb²cba² ⇒ c²bac
18. ab(cb)² ⇒ c²b(ac)²
19. c²b(ac)³a² ⇒ abc²bab
20. c²bacb²a² ⇒ (cb)²ab
21. cb²cbac ⇒ c²bacb²
22. (cb²)²a² ⇒ acbcb²ab
23. abc²bacb ⇒ c²b(ac)³
24. c²b(ac)⁴ ⇒ abc(cb)²
25. (c²ba)²ca² ⇒ cb²cbab
26. (cb)³ba² ⇒ c²bacb²ab
27. cb²a²(cb)² ⇒ acbc²b(ac)²
28. abc²bcb²a² ⇒ c²ba(ca)³b
29. abcbc²bac ⇒ c²b(ac)²b²
30. (c²baca)²a ⇒ abcbc²bab
31. c²b(ac)³b²a² ⇒ a(bcb)²ab
32. (c²ba)²cac ⇒ cb²(cb)²
33. cb²a²c²bacb ⇒ acbc²b(ac)³
34. cb(bc)²b²a² ⇒ (c²ba)²cab
35. ab(c²ba)²c ⇒ c²b(ac)³b²
36. c²b(ac)³cbaca² ⇒ ab(c²ba)²b
37. c²b(ac)³cb²a² ⇒ abc²bcb²ab
38. c(cb(ac)²)² ⇒ ab(cbc)²b
39. cb²a²c²bcb²a² ⇒ acbc²ba(ca)³b
40. cb²a²cbc²bac ⇒ acbc²b(ac)²b²
41. ab(cbc)²b²a² ⇒ (c²baca)²b
42. c²b(ac)³cb(ac)² ⇒ abc²bac(cb)²
43. c²(bac²)²b²a² ⇒ cb(bc)²b²ab
44. cb²a²(c²ba)²c ⇒ acbc²b(ac)³b²
45. abc²bac²bcb²a² ⇒ c²b(ac)³cbacab
46. c²bac(ac²b)²ba² ⇒ ab(cbc)²b²ab
47. cb²a²(cbc)²b²a² ⇒ acb(c²baca)²b
48. c²b(ac)²(ac²b)²ba² ⇒ abc²bac²bcb²ab
49. cb²a(ac²b)²cb²a² ⇒ acbc²b(ac)³cbacab