〈a, b | aababba=aab〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. cab ⇒ (cb)²a
2. cbabc ⇒ (cb)²a
3. cbc(ba)² ⇒ c
4. a²b ⇒ c(ba)²