〈a, b | abaabba=bab〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. acabc ⇒ cb
2. ba ⇒ c
3. c²abca ⇒ bc²
4. cb² ⇒ acac²abc
5. bcb ⇒ c²abc
6. cbc²abc ⇒ acac²abc²b
7. bc³abc ⇒ c²abc²b
8. c(bca)² ⇒ acab²c²