〈a, b | aabababaa=a〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. c²bc ⇒ cbc²
2. c²ba ⇒ cbca
3. abc ⇒ cba
4. acbc ⇒ cbac
5. ca² ⇒ a²c
6. c(ac)² ⇒ a
7. cba²c ⇒ c
8. aba ⇒ cac
9. acba ⇒ cba²
10. cba³ ⇒ a