〈a, b | abbba=ab〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right cb/a
• Auxiliary generator bbbba=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. acba ⇒ ab