〈a, b | ababaab=abb〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right a/cb
• Auxiliary generator abb=c

Complete rewriting system

1. ab² ⇒ c
2. cb² ⇒ cabac
3. caba²b ⇒ cb
4. a(ba)²c ⇒ cb
5. (ab)²a²b ⇒ c
6. c(ba)²c ⇒ cabacb
7. cbaba²b ⇒ cabac