〈a, b | aabaaab=aba〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. c⁹b ⇒ cbc
2. ca ⇒ ac²
3. c³bc⁸b ⇒ c³b²c
4. c⁵ba ⇒ cbac
5. abc ⇒ c³ba
6. ac²bc ⇒ c⁴ba
7. ac⁴b ⇒ cba
8. ac⁶b ⇒ c²ba
9. ac⁸b ⇒ c³ba
10. c³bc⁴ba ⇒ c³b²ac
11. cbacbc ⇒ c⁵bc³ba
12. cbac³b ⇒ c⁵b²a
13. cbac⁵b ⇒ c⁵bcba
14. cbac⁷b ⇒ c⁵bc²ba
15. c³bac²b ⇒ c³b²a
16. c³ba² ⇒ cba²c
17. abac ⇒ cba²
18. ac²bac ⇒ c²ba²
19. a²c²b ⇒ aba
20. c³b²acbc ⇒ c²(cbc³)²ba
21. c³b²ac³b ⇒ c³bc⁴b²a
22. c³b²ac⁵b ⇒ (c³bc)²ba
23. c³b²ac⁷b ⇒ (c³bc)²cba
24. c(c²b)²a² ⇒ c³b²a²c
25. c(bac)² ⇒ c⁵bcba²
26. cba²cbc ⇒ c⁷b²a²
27. cba²c³b ⇒ c³(ba)²
28. cba²c⁵b ⇒ c²(cba)²
29. cba²c⁷b ⇒ c³b²a²
30. cba³ ⇒ c³
31. aba² ⇒ c
32. ac²ba² ⇒ c²
33. c³b(bac)² ⇒ (c³bc)²ba²
34. c³b²a²cbc ⇒ c³bc⁶b²a²
35. c³b²a²c³b ⇒ c³bc²(ba)²
36. c³b²a²c⁵b ⇒ c³bc(cba)²
37. c³b²a²c⁷b ⇒ c³b(c²ba)²
38. c³b²a³ ⇒ c³bc²
39. (cba)²a ⇒ c⁵bc
40. cba²ba ⇒ c⁵b
41. cba²cba ⇒ c⁷b
42. a(ba)² ⇒ c³b
43. ac²(ba)² ⇒ c⁴b
44. c³b²acba² ⇒ (c³bc)²
45. c³b²a²ba ⇒ c³bc⁴b
46. c³b²a²cba ⇒ c³bc⁶b
47. (cba)²ba ⇒ c⁵bc³b
48. c³b²ac(ba)² ⇒ c²(cbc³)²b