〈a, b | abaabbab=ba〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right bc/a
• Auxiliary generator baa=c

Complete rewriting system

1. (c²b)²bab ⇒ bac
2. acb²ab ⇒ ba
3. acb²ac ⇒ ca
4. acbc²b²ab ⇒ c
5. ba² ⇒ c
6. (ba)² ⇒ c²b²ab
7. baca ⇒ c²b²ac
8. ca² ⇒ acbc²b²ac
9. cab²ab ⇒ acb³a
10. cab²ac ⇒ acb²ca
11. cabc²b²ab ⇒ acb²c
12. c²(b²a)² ⇒ bac²b²ab
13. c²b²abca ⇒ bac²b²ac
14. c(cb²ab)² ⇒ bab²a
15. c²b²abcb²ac ⇒ babca
16. (c²b²a)²b ⇒ bacba
17. (c²b²a)²c ⇒ bac²a
18. c²b²abcbc²b²ab ⇒ babc