〈a, b | abbbbba=ab〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

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