〈a, b | aabba=baa〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left ade/cb
• Auxiliary generator bb=c
• Auxiliary generator aca=d
• Auxiliary generator bad=e

Complete rewriting system

1. ae ⇒ da
2. ade ⇒ ea
3. aca ⇒ d
4. adca ⇒ e
5. acd ⇒ dca
6. adcd ⇒ eca
7. ce ⇒ ecd
8. ca² ⇒ e
9. cda ⇒ edca
10. cad ⇒ eca
11. cd² ⇒ edcd
12. cde ⇒ edecd
13. be ⇒ eca
14. ba² ⇒ ad
15. bda ⇒ ad²ca
16. bad ⇒ e
17. bd² ⇒ ad²cd
18. bde ⇒ ad²ecd
19. cb ⇒ bc
20. b² ⇒ c