〈a, b | aababa=baa〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left ad/c/b
• Auxiliary generator aba=c
• Auxiliary generator acb=d

Complete rewriting system

1. a²d²a ⇒ da²
2. a²d³ ⇒ dad
3. a²d²c ⇒ dac
4. ca ⇒ ada
5. cd ⇒ ad²
6. c² ⇒ adc
7. acb ⇒ d
8. aba ⇒ c
9. bd ⇒ dcb
10. ba² ⇒ da
11. bad ⇒ d²
12. abc ⇒ cba
13. bac ⇒ dc