〈a, b | ababba=bab〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left ac/b
• Auxiliary generator bba=c

Complete rewriting system

1. ab(ac)² ⇒ cb
2. a⁴bac³ ⇒ bac²a
3. ca³bac³ ⇒ bc³a
4. bab ⇒ abac
5. bcb ⇒ cbac
6. a²bac²b ⇒ bac²
7. cabac²b ⇒ bc³
8. b²a ⇒ c
9. abacba ⇒ bac
10. (cba)² ⇒ bc²
11. bac²ba ⇒ a²bac³
12. bc³ba ⇒ cabac³
13. ba²bac ⇒ abacab
14. bcabac ⇒ cbacab
15. (bac)² ⇒ abac²b
16. bc²bac ⇒ cbac²b
17. (abac)² ⇒ bacb
18. cbacabac ⇒ bc²b
19. bac²abac ⇒ a²bac³b
20. bc³abac ⇒ cabac³b
21. a²bac³bac ⇒ bac³b
22. cabac³bac ⇒ bc⁴b
23. b²c² ⇒ cb(ac)²ba
24. bacbc² ⇒ a²bac⁴ba
25. (bc²)² ⇒ cabac⁴ba
26. abacabc² ⇒ c³ba
27. ba³bac³ ⇒ c²baca
28. bca²bac³ ⇒ cbacac²ba
29. bacabac³ ⇒ abac⁴ba
30. bc²abac³ ⇒ cbac⁴ba
31. baca²bac³ ⇒ abac³baca
32. bc²a²bac³ ⇒ cbac³baca
33. bac²a²bac³ ⇒ a²bac⁵ba
34. bc³a²bac³ ⇒ cabac⁵ba
35. a(abac³)² ⇒ bac⁵ba
36. c(abac³)² ⇒ bc⁶ba
37. (a²bac³)² ⇒ bac⁴baca
38. cabac³a²bac³ ⇒ bc⁵baca