〈a, b | aabbbaaab=a〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right bc/a
• Auxiliary generator aaa=c

Complete rewriting system

1. c²b³cb ⇒ cb³cbc
2. c²bcb³cb ⇒ c²b⁴cbc
3. (cb)³b²cb ⇒ cbcb⁴cbc
4. cb(bc)²b³cb ⇒ cb²cb⁴cbc
5. (cb³cb)² ⇒ c(b³cb)²c
6. c²b⁴cbcb³cb ⇒ cbcb⁴cbcb³c
7. cbcb⁴cbcb³cb ⇒ cb²cb⁴cbcb³c
8. cb²cb⁴cbcb³cb ⇒ c(b³cb)²cb³c
9. c(b³cb)²cb³cb ⇒ c
10. a ⇒ c(b³cb)²