〈a, b | abababba=ab〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. c²dc ⇒ d
2. cb ⇒ d
3. c²da ⇒ c
4. d²c ⇒ c⁴d²
5. (dc)² ⇒ c²d²
6. ab ⇒ c
7. db ⇒ c²d²
8. d²a ⇒ c²d
9. dcda ⇒ d