〈a, b | abbaaaab=ba〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. dc²b ⇒ cd
2. (dc)³bd ⇒ cb
3. (dc)⁴b ⇒ c
4. d²(cd)³(dc)²bd² ⇒ cdb
5. d(cd)³(dc)³bc ⇒ c²(dc)³b
6. cbc²b ⇒ (dc)³bcd
7. cbc(dc)³b ⇒ (dc)³bc
8. c²b² ⇒ d(cd)³(dc)²bd²
9. cdbc²b ⇒ d²(cd)³(dc)²bdcd
10. cdbc(dc)³b ⇒ d²(cd)³(dc)²bdc
11. dcb² ⇒ bd
12. c³bc(dc)²b ⇒ dc(d(cd)²)³cbc
13. c²(dc)²bdb ⇒ (dc)³(d(dc)²)²bd²
14. (dc)³bcb ⇒ cbc(dc)²bd
15. (dc)³bcdb ⇒ cbd(cd)³(dc)²bd²
16. (dc)³bc³b ⇒ cb(cd)³(dc)³bcd
17. (dc)³bc²(dc)³b ⇒ cb(cd)³(dc)³bc
18. d²(cd)³(dc)²bcdb ⇒ cdb(cd)³(dc)²bd²
19. d(dc)³d²c(dcb)² ⇒ cdbc(dc)²bd
20. d²(cd)³(dc)²bdcdb ⇒ cdbd(cd)³(dc)²bd²
21. d²(cd)³(dc)²bdc³b ⇒ cdb(cd)³(dc)³bcd
22. d²(cd)³(dc)²bdc²(dc)³b ⇒ cdb(cd)³(dc)³bc
23. cbcb² ⇒ (dc)²bd²
24. cbc(dc)²bdb ⇒ dc(dcd)²cbd²
25. cdbcb² ⇒ d²(cd)³(dc)²(bd)²
26. cdbc(dc)²bdb ⇒ d(dc)³d²cbd²
27. c³bcdcbdb ⇒ (dc)³(d(dc)²)³bd²
28. ab ⇒ d
29. ca ⇒ dc²
30. da ⇒ adcb
31. ba ⇒ dcb