〈a, b | abbbba=ab〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. cbc ⇒ c²b
2. cb² ⇒ c²
3. abc ⇒ acb
4. ab² ⇒ ac
5. c³a ⇒ cb
6. c³ba ⇒ c²
7. b⁵a ⇒ c
8. ac²a ⇒ ab
9. ac²ba ⇒ ac