〈a, b | abaabaaab=a〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left de/bca
• Auxiliary generator aaa=c
• Auxiliary generator ab=d
• Auxiliary generator ad=e

Complete rewriting system

1. cd ⇒ (de)²c
2. ce ⇒ e²dec
3. ad ⇒ e
4. deae ⇒ a
5. e²aed ⇒ ae
6. e²ae² ⇒ (de)²c
7. cb ⇒ ae
8. ab ⇒ d
9. e²aeb ⇒ e
10. ca ⇒ ac
11. a² ⇒ e²ae
12. e(ea)² ⇒ c
13. (ae)² ⇒ dec
14. ae²ae ⇒ c