〈a, b | aabbba=baa〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left ae/d/cb
• Auxiliary generator bbba=c
• Auxiliary generator ccc=d
• Auxiliary generator ad=e

Complete rewriting system

1. a²e³ ⇒ ea
2. ad ⇒ e
3. da ⇒ ae³
4. de ⇒ ae³d
5. ca ⇒ ae
6. ce ⇒ aed
7. cd ⇒ dc
8. ba² ⇒ a²c
9. bea ⇒ a³e(ae³)²d
10. bae ⇒ aec
11. be² ⇒ a³e(ae³)²d²
12. c³ ⇒ d
13. b³a ⇒ c
14. b³e ⇒ dc