〈a, b | abba=ab〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right cba
• Auxiliary generator abbb=c

Complete rewriting system

1. c²a ⇒ cb
2. cbc ⇒ c²b
3. cb² ⇒ c²
4. cba ⇒ c
5. cac ⇒ cb
6. cab ⇒ c
7. ca² ⇒ ab
8. ab² ⇒ ca