〈a, b | abbbaaab=ba〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. (dc)³b ⇒ c
2. dc(dcd)²cbd ⇒ cb
3. (dc)²(d(dc)²)²bc ⇒ c²(dc)²b
4. (d(dc)²)²(d²c)²dcbd² ⇒ cdb
5. cb² ⇒ (dc)²bd
6. cbc(dc)²b ⇒ dc(dcd)²cbc
7. cdbc(dc)²b ⇒ (d(dc)²)²(d²c)²dcbdc
8. c²dcbdb ⇒ dc(dcd)²c((d²c)²dc)²bd²
9. c(dc)²bdb ⇒ (dc)²d²c(dcd)³cbd²
10. d(dc)²bdb ⇒ bd
11. c²((dc)²b)² ⇒ dc((dcd)²cd)²(dc)²bc
12. dc(dcd)²(cb)² ⇒ cbc(dcd)²cbd
13. dc(dcd)²cbcdb ⇒ cb(dc)²d²c(dcd)³cbd²
14. dc(dcd)²cbc²(dc)²b ⇒ cbcdc(d(dc)²)²bc
15. (d(dc)²)²(d²c)²dcbcdb ⇒ cdbcdcd²c(dcd)³cbd²
16. (d(dc)²)²(d²c)²(dcb)² ⇒ cdbc(dcd)²cbd
17. (d(dc)²)²(d²c)²dcbdcdb ⇒ cdb(dc)²d²c(dcd)³cbd²
18. (d(dc)²)²(d²c)²dcbdc²(dc)²b ⇒ cdbcdc(d(dc)²)²bc
19. cbcdcbdb ⇒ (dc)²((d²c)²dc)²bd²
20. cb(dc)²bdb ⇒ dc(dcd)³cbd²
21. cdbcdcbdb ⇒ (d(dc)²)²(d²c)³dcbd²
22. cdb(dc)²bdb ⇒ d²c(dcd²c)²bd²
23. c(cd)²(cbd)²b ⇒ dc(dcd)²c((d²c)²dc)³bd²
24. ab² ⇒ d
25. ca ⇒ dc²
26. da ⇒ abdcb
27. ba ⇒ dcb