〈a, b | aabbaaab=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(bc)²
2. c²(bcb)² ⇒ c²b³cbc
3. (cb)³bcb ⇒ cbcb³cbc
4. (cb²cb)² ⇒ c(b²cb)²c
5. c²b³c(bcb)² ⇒ cbcb³cbcb²c
6. cbcb³c(bcb)² ⇒ c(b²cb)²cb²c
7. cb²cb³c(bcb)² ⇒ c
8. a ⇒ c(b²cb)²