〈a, b | abbabaaab=a〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left cbe/da
• Auxiliary generator ab=c
• Auxiliary generator aaa=d
• Auxiliary generator aba=e

Complete rewriting system

1. eb ⇒ c²
2. dc ⇒ cbec²d
3. edb ⇒ c²bec²d
4. c²db ⇒ cbcd
5. ecdb ⇒ c³d
6. c²bcdb ⇒ e
7. de ⇒ cbeced
8. ecbcdbc ⇒ cdb
9. cbcdb² ⇒ c
10. cecbcdbe ⇒ cbed
11. e²cbcdbe ⇒ c²ed
12. c²becbcdbe ⇒ ecbcdb
13. (ecb)²cdbe ⇒ cd
14. cbecbcdbec ⇒ db
15. a ⇒ cbcdb
16. d²b ⇒ db²ec²d
17. (db)² ⇒ cbcdbc²d
18. dbcdb ⇒ db²cd
19. db²cdb ⇒ d
20. d(bc)²db ⇒ cbecbcdbe²
21. dbecbcdbe ⇒ db²ed
22. db²ecbcdbe ⇒ cbcdbd
23. dbcbecbcdbe ⇒ cbecbcdbe²cbcdb