〈a, b | abbaaab=ba〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right cd/b/a
• Auxiliary generator baaa=c
• Auxiliary generator ab=d

Complete rewriting system

1. dc²b ⇒ cd
2. (dc)²bd ⇒ cb
3. (dc)³b ⇒ c
4. d(dc)²d²cbd² ⇒ cdb
5. dc(dcd)²cbc ⇒ c²(dc)²b
6. cbc²b ⇒ (dc)²bcd
7. cbc(dc)²b ⇒ (dc)²bc
8. c²b² ⇒ (dc)²d²cbd²
9. cdbc²b ⇒ d(dc)²d²cbdcd
10. cdbc(dc)²b ⇒ d(dc)²d²cbdc
11. dcb² ⇒ bd
12. c³bcdcb ⇒ dc(dcd)³cbc
13. c²dcbdb ⇒ (dc)²(d²c)²bd²
14. dcd(cb)² ⇒ cbcdcbd
15. (dc)²bcdb ⇒ cb(dc)²d²cbd²
16. (dc)²bc³b ⇒ cbc(dcd)²cbcd
17. (dc)²bc²(dc)²b ⇒ cbc(dcd)²cbc
18. d(dc)²d²cbcdb ⇒ cdbcdcd²cbd²
19. d²(cd)²(dcb)² ⇒ cdbcdcbd
20. d(dc)²d²cbdcdb ⇒ cdb(dc)²d²cbd²
21. d(dc)²d²cbdc³b ⇒ cdbc(dcd)²cbcd
22. d(dc)²d²cbdc²(dc)²b ⇒ cdbc(dcd)²cbc
23. cbcb² ⇒ dcbd²
24. cbcdcbdb ⇒ dcd²cbd²
25. cdbcb² ⇒ d(dc)²d²c(bd)²
26. cdbcdcbdb ⇒ d²(cd)²bd²
27. c³bcbdb ⇒ (dc)²(d²c)³bd²
28. ab ⇒ d
29. ca ⇒ dc²
30. da ⇒ adcb
31. ba ⇒ dcb