〈a, b | aabbabaab=a〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. db ⇒ c²
2. dcbd ⇒ c²dc
3. d²c² ⇒ c²d²
4. c²dc² ⇒ d
5. cdc²b ⇒ c
6. dcbc² ⇒ c²dcb
7. dcdc² ⇒ c(cd)²
8. cdc³bd ⇒ cdc
9. cdc³bc² ⇒ cdcb
10. cdcbcdc² ⇒ cdc³bcd
11. d²cbcdc² ⇒ c²d²cbcd
12. a ⇒ cdc²