〈a, b | aababba=baa〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left ce/d/ab
• Auxiliary generator ab=c
• Auxiliary generator bca=d
• Auxiliary generator accb=e

Complete rewriting system

1. dc ⇒ e²c
2. de ⇒ e³
3. da ⇒ e²a
4. aec ⇒ cac
5. ae² ⇒ cae
6. ac²ec ⇒ eac
7. ac²e² ⇒ eae
8. ad ⇒ c²a
9. ac²d ⇒ eca
10. be ⇒ ec²b
11. bc² ⇒ db
12. bce ⇒ e²c²b
13. aea ⇒ ca²
14. ac²ea ⇒ ea²
15. bca ⇒ d
16. bac ⇒ ec
17. bae ⇒ e²
18. ab ⇒ c
19. ac²b ⇒ e
20. ba² ⇒ ea