〈a, b | abbaaab=bb〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. cbc³ ⇒ b²
2. cbc²b² ⇒ b³c³
3. ab² ⇒ cbc²
4. acbc ⇒ cb
5. acb³ ⇒ cb²c³
6. a³b ⇒ c