〈a, b | abbaab=baba〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. dcd ⇒ c²
2. c³d ⇒ dc³
3. da ⇒ ac
4. c²a ⇒ dcac
5. cb ⇒ bd
6. ab ⇒ d
7. ba ⇒ c