〈a, b | aaaabba=aab〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right acb
• Auxiliary generator aab=c

Complete rewriting system

1. a²b ⇒ c
2. a²cba ⇒ c
3. a²cbc ⇒ cab
4. cacba ⇒ cab
5. c(ab)² ⇒ cacbc
6. cabacba ⇒ cacbc
7. cabacbc ⇒ cacbcab