〈a, b | abbbba=abb〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. cac ⇒ c²a
2. c²a² ⇒ cb²
3. cb²c ⇒ c²b²
4. cb²a ⇒ c
5. cab² ⇒ c
6. ca²c ⇒ cb²
7. ca³ ⇒ ab²
8. cb⁴ ⇒ c²a
9. ca²b² ⇒ ca
10. ab⁴ ⇒ ca²