〈a, b | aaabbbba=ab〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. cacb² ⇒ (cb)²a
2. ca(cb)² ⇒ cbacbc
3. cacba ⇒ cb
4. a²cbc ⇒ cb
5. cb⁴ ⇒ cacbc
6. cbacb² ⇒ cb²cba
7. cba(cb)² ⇒ cb²acbc
8. (cba)² ⇒ cb²
9. ab³ ⇒ c
10. abacbc ⇒ cb²
11. a²cb² ⇒ abcba
12. a²cba ⇒ ab
13. cb²acb² ⇒ cb³cba
14. cb²a(cb)² ⇒ cb³acbc
15. (cb)²ab² ⇒ c(ac)²bc
16. cb²acba ⇒ cb³
17. ab²acbc ⇒ cb³
18. abacb² ⇒ ab²cba
19. abacba ⇒ ab²
20. cac(acbc)² ⇒ (cb)³b²
21. a(ac)³bc ⇒ cb²ab²
22. c(ac)⁴bc ⇒ c(bc)²ab²
23. cb³acb² ⇒ cacbc²ba
24. cb³a(cb)² ⇒ c(acbc)²
25. cb²cbab² ⇒ cb(ac)²bc
26. cb³acba ⇒ cacbc
27. cbacbcab² ⇒ c(ac)³bc
28. cbac(acbc)² ⇒ cb(bc)²b³
29. cb(ac)⁴bc ⇒ cb(bc)²ab²
30. ab²acb² ⇒ c²ba
31. abcbab² ⇒ a(ac)²bc
32. cacbc²bab² ⇒ cb³(ac)²bc
33. ab²acba ⇒ c
34. ab²(ac)²bc ⇒ c²bab²
35. ab(ac)³bc ⇒ cb³ab²
36. c((ac)²bc)² ⇒ (cb)²c²bab²
37. a²c(acbc)² ⇒ a(bc)²b³
38. a(ac)⁴bc ⇒ a(bc)²ab²
39. cb³cbab² ⇒ cb²(ac)²bc
40. cb²acbcab² ⇒ cb(ac)³bc
41. cb²ac(acbc)² ⇒ cb³cbcb³
42. cb²(ac)⁴bc ⇒ cb³cbcab²
43. cbacbc²bab² ⇒ cacbc(ac)²bc
44. cb((ac)²bc)² ⇒ cb²cbc²bab²
45. ab²cbab² ⇒ ab(ac)²bc
46. ab²(ac)³bc ⇒ cacbcab²
47. ca(cbca)²b² ⇒ cb³(ac)³bc
48. abac(acbc)² ⇒ ab(bc)²b³
49. ab(ac)⁴bc ⇒ ab(bc)²ab²
50. c(ac)²bc(ac)³bc ⇒ cb(cbca)²b²
51. a((ac)²bc)² ⇒ abcbc²bab²
52. cb³acbcab² ⇒ cb²(ac)³bc
53. cb³ac(acbc)² ⇒ ca(cbc)²b³
54. cb³(ac)⁴bc ⇒ ca(cbc)²ab²
55. cb²acbc²bab² ⇒ cbacbc(ac)²bc
56. cb²((ac)²bc)² ⇒ cb³cbc²bab²
57. cba(cbca)²b² ⇒ cacbc(ac)³bc
58. cb(ac)²bc(ac)³bc ⇒ cb²(cbca)²b²
59. ab²(ac)⁴bc ⇒ c²bcab²
60. ab((ac)²bc)² ⇒ ab²cbc²bab²
61. a(ac)²bc(ac)³bc ⇒ ab(cbca)²b²
62. cb³acbc²bab² ⇒ cb²acbc(ac)²bc
63. cb³((ac)²bc)² ⇒ cacb(c²b)²ab²
64. cb²a(cbca)²b² ⇒ cbacbc(ac)³bc
65. cb²(ac)²bc(ac)³bc ⇒ cb³(cbca)²b²
66. ab(ac)²bc(ac)³bc ⇒ ab²(cbca)²b²
67. cb³a(cbca)²b² ⇒ cb²acbc(ac)³bc
68. cb³(ac)²bc(ac)³bc ⇒ cacbc(cbca)²b²