〈a, b | ababaaaab=a〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left cd/ea/b
• Auxiliary generator ab=c
• Auxiliary generator caac=d
• Auxiliary generator aaaa=e

Complete rewriting system

1. ec ⇒ cdce
2. ed ⇒ cd³ce
3. ea ⇒ ae
4. ca²c ⇒ d
5. ca²d ⇒ da²c
6. da³c ⇒ cac²e
7. c²a³c ⇒ a
8. dca³c ⇒ ca³
9. da³d ⇒ cacd²ce
10. c²a³d ⇒ a³c
11. dca³d ⇒ cacdce
12. a⁴ ⇒ e
13. aca³c ⇒ c²e
14. aca³d ⇒ cd²ce
15. eb ⇒ a³c
16. ab ⇒ c