〈a, b | aaabbbaa=ba〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. a³bca ⇒ ba
2. b²a ⇒ c
3. a³bc² ⇒ bc
4. ca²bca ⇒ bc
5. ba²bca ⇒ a³b²c
6. a³bcba ⇒ c
7. a³(bc)² ⇒ b²c
8. ca²b²c ⇒ (bca)²
9. b³c ⇒ ca²bc²
10. ba³b²c ⇒ cabca
11. ca²bcba ⇒ b²c
12. ba²bcba ⇒ a³ca²bc²
13. a³(ca²)²bc² ⇒ babcba
14. ba³ca²bc² ⇒ cabcba
15. ca²(bc)² ⇒ bca²bc²
16. a³b(bca)² ⇒ ba²b²c
17. a³bcb²c ⇒ ca²bc²
18. bcabcba ⇒ (ca²)²bc²
19. (ca²)³bc² ⇒ b(cb)²a
20. a³b²ca²bc² ⇒ ba²(bc)²
21. ca²bcb²c ⇒ b²ca²bc²
22. a²(ab²c)² ⇒ ba²b(bca)²
23. a³b²(cb)²a ⇒ ba²(ca²)²bc²
24. a³c(a²bc²)² ⇒ ba²bcb²c
25. a³b²ca(bc)² ⇒ ba²b²ca²bc²
26. (bca)²a²b²c ⇒ (ca²)²bc²abca
27. ca²bc²abcba ⇒ b²(ca²)²bc²
28. a(a²ca²bc²)² ⇒ ba²bc²abcba
29. a³b²ca(ca²)²bc² ⇒ ba²b²(cb)²a
30. ca²c(a²bc²)² ⇒ bcabcb²c
31. a³b²cabcb²c ⇒ ba²c(a²bc²)²
32. a³b(bc)²a³b²c ⇒ ba²(ca²)²bc²abca
33. ((ca²)²bc)²c ⇒ b(cabc)²ba
34. ca²bc²abca³b²c ⇒ b²(ca²)²bc²abca
35. a³b²(cabc)²ba ⇒ b(a²ca²bc²)²
36. a³b²cac(a²bc²)² ⇒ ba²b²cabcb²c
37. a³b²caca²bc(ca²)²bc² ⇒ ba²b²(cabc)²ba
38. a³b²(cabc)²a³b²c ⇒ b(a²ca²bc²)²abca