〈a, b | aaabbba=ab〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. cb³ ⇒ cacbc
2. ab² ⇒ c
3. cacb² ⇒ (cb)²a
4. ca(cb)² ⇒ cbacbc
5. cacba ⇒ cb
6. a²cbc ⇒ cb
7. (cb)²ab ⇒ c(ac)²bc
8. cbacb² ⇒ cb²cba
9. cba(cb)² ⇒ cb²acbc
10. (cba)² ⇒ cb²
11. abacbc ⇒ cb²
12. a²cb² ⇒ abcba
13. a²cba ⇒ ab
14. cb²cbab ⇒ cb(ac)²bc
15. cb²acb² ⇒ cacbc²ba
16. cb²a(cb)² ⇒ c(acbc)²
17. cb²acba ⇒ cacbc
18. cbacbcab ⇒ c(ac)³bc
19. abcbab ⇒ a(ac)²bc
20. cacbc²bab ⇒ cb²(ac)²bc
21. abacb² ⇒ c²ba
22. abacba ⇒ c
23. ab(ac)²bc ⇒ c²bab
24. cac(acbc)² ⇒ (cb)³b
25. a(ac)³bc ⇒ cb²ab
26. c(ac)⁴bc ⇒ c(bc)²ab
27. cb²acbcab ⇒ cb(ac)³bc
28. cbacbc²bab ⇒ cacbc(ac)²bc
29. cbac(acbc)² ⇒ cb(bc)²b²
30. cb(ac)⁴bc ⇒ cb(bc)²ab
31. ca(cbca)²b ⇒ cb²(ac)³bc
32. ab(ac)³bc ⇒ cacbcab
33. c((ac)²bc)² ⇒ (cb)²c²bab
34. a²c(acbc)² ⇒ a(bc)²b²
35. a(ac)⁴bc ⇒ a(bc)²ab
36. cb²acbc²bab ⇒ cbacbc(ac)²bc
37. cb²ac(acbc)² ⇒ ca(cbc)²b²
38. cb²(ac)⁴bc ⇒ ca(cbc)²ab
39. cba(cbca)²b ⇒ cacbc(ac)³bc
40. cb((ac)²bc)² ⇒ cb²cbc²bab
41. ab(ac)⁴bc ⇒ c²bcab
42. c(ac)²bc(ac)³bc ⇒ cb(cbca)²b
43. a((ac)²bc)² ⇒ abcbc²bab
44. cb²a(cbca)²b ⇒ cbacbc(ac)³bc
45. cb²((ac)²bc)² ⇒ cacb(c²b)²ab
46. cb(ac)²bc(ac)³bc ⇒ cb²(cbca)²b
47. a(ac)²bc(ac)³bc ⇒ ab(cbca)²b
48. cb²(ac)²bc(ac)³bc ⇒ cacbc(cbca)²b