〈a, b | abbaaaab=bb〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left cb/a
• Auxiliary generator aaaab=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