〈a, b | abbbbba=abb〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. cb²c ⇒ c²b²
2. cb³ ⇒ c²a
3. cabc ⇒ c²ab
4. cab² ⇒ cb²a
5. c²aba ⇒ cb
6. cb²ab ⇒ c
7. ab⁴ ⇒ caba
8. c(ab)²c ⇒ cb²
9. cabab² ⇒ ca
10. ca(ba)² ⇒ ab²