〈a, b | abbbbbba=ab〉

Properties

• Infinite non-commutative monoid

Completion parameters

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