〈a, b | aaabba=ab〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left c/ab
• Auxiliary generator ab=c

Complete rewriting system

1. ab ⇒ c
2. cb² ⇒ cacbc
3. cacba ⇒ cb
4. a²cbc ⇒ cb
5. c(ac)²bc ⇒ (cb)²a
6. ca(cb)² ⇒ cbacbc
7. a²cba ⇒ c
8. (cba)² ⇒ cacbc
9. a(ac)²bc ⇒ c²ba
10. cb(ac)²bc ⇒ cacbc²ba
11. cba(cb)² ⇒ c(acbc)²