〈a, b | aaaabbba=ab〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. ab² ⇒ c
2. cb³ ⇒ ca²cbc
3. ca²cba ⇒ cb
4. a³cbc ⇒ cb
5. ca²cb² ⇒ (cba)²
6. ca²(cb)² ⇒ cba²cbc
7. a³cba ⇒ ab
8. cba²cba ⇒ cb²
9. aba²cbc ⇒ cb²
10. (cba)²b ⇒ c(a²c)²bc
11. a³cb² ⇒ abacba
12. cba²cb² ⇒ cb²acba
13. cba²(cb)² ⇒ cb²a²cbc
14. aba²cba ⇒ c
15. cb²a²cba ⇒ ca²cbc
16. abacbab ⇒ a(a²c)²bc
17. cb²acbab ⇒ cb(a²c)²bc
18. aba²cb² ⇒ cacba
19. cb²a²cb² ⇒ ca²cbcacba
20. cb²a²(cb)² ⇒ c(a²cbc)²
21. c(a²c)³bc ⇒ (cb)²ab
22. ab(a²c)²bc ⇒ cacbab
23. ca²cbcacbab ⇒ cb²(a²c)²bc
24. a(a²c)³bc ⇒ abcbab
25. cb(a²c)³bc ⇒ cb²cbab
26. ca²c(a²cbc)² ⇒ cbacbcb²
27. cba²cbcacbab ⇒ ca²cbc(a²c)²bc
28. ab(a²c)³bc ⇒ c²bab
29. cb²(a²c)³bc ⇒ ca²cbc²bab
30. a³c(a²cbc)² ⇒ abacbcb²
31. cba²c(a²cbc)² ⇒ cb²acbcb²
32. cb²a²cbcacbab ⇒ cba²cbc(a²c)²bc
33. c((a²c)²bc)² ⇒ cbacbcacbab
34. cb²a²c(a²cbc)² ⇒ ca(acbc)²b²
35. a((a²c)²bc)² ⇒ abacbcacbab
36. cb((a²c)²bc)² ⇒ cb²acbcacbab
37. cb²((a²c)²bc)² ⇒ ca²cb(cacb)²ab