〈a, b | ababaaab=a〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left ce/bda
• Auxiliary generator aba=c
• Auxiliary generator aca=d
• Auxiliary generator ab=e

Complete rewriting system

1. cb ⇒ e²
2. dc ⇒ (ec)²d
3. de ⇒ e³cd
4. ea ⇒ c
5. c²a ⇒ ed
6. cecac ⇒ e²cd
7. e²cac ⇒ ca
8. ecae ⇒ a
9. db ⇒ ace
10. ab ⇒ e
11. da ⇒ ae²cd
12. a² ⇒ ecac
13. aca ⇒ d
14. aecac ⇒ ecd