〈a, b | aabbaaaab=a〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

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