〈a, b | abaaab=aaba〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right badc
• Auxiliary generator abaaa=c
• Auxiliary generator baa=d

Complete rewriting system

1. cd ⇒ ac
2. ba² ⇒ d
3. ada ⇒ c
4. aca ⇒ adc
5. dba ⇒ bcb
6. d²a ⇒ bac
7. dca ⇒ d²c
8. cba ⇒ a²d
9. c²a ⇒ ac²
10. a²ba ⇒ cb
11. ac²b ⇒ abc²
12. daba ⇒ bacb
13. d²cb ⇒ bcad
14. dc²b ⇒ dbc²
15. cbda ⇒ a²bc
16. (cb)² ⇒ a³d
17. cbca ⇒ cbdc
18. caba ⇒ adcb
19. c³b ⇒ cbc²
20. abacb ⇒ a²d
21. a²dcb ⇒ cad
22. dadcb ⇒ bc²
23. cbc²b ⇒ cb²c²
24. cadcb ⇒ abac²
25. cb²acb ⇒ a²d²