〈a, b | abaaaba=aab〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right d/ca/b
• Auxiliary generator ab=c
• Auxiliary generator aac=d

Complete rewriting system

1. dc ⇒ cd⁴
2. d²a ⇒ ad
3. ac ⇒ cda
4. c(da)² ⇒ d
5. db ⇒ c²dad⁶
6. ab ⇒ c