〈a, b | abaaba=bab〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right d/abc
• Auxiliary generator ba=c
• Auxiliary generator ca=d

Complete rewriting system

1. d³a ⇒ ad³
2. d³b ⇒ bd³
3. d³c ⇒ cd³
4. ad²a ⇒ cd
5. ad²b ⇒ d²c
6. ad²c ⇒ d³
7. ba ⇒ c
8. ca ⇒ d
9. cd²a ⇒ bcd
10. cb ⇒ adc
11. cd²b ⇒ bd²c
12. c² ⇒ ad²
13. cd²c ⇒ bd³