〈a, b | abaaaab=aab〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right abc
• Auxiliary generator abaaaa=c

Complete rewriting system

1. a²b ⇒ cb
2. a²c ⇒ c²
3. cab ⇒ acb
4. cac ⇒ ac²
5. abac² ⇒ ac
6. abc²b ⇒ cb
7. abc³ ⇒ c²
8. cbac² ⇒ c²
9. cbc²b ⇒ acb
10. cbc³ ⇒ ac²
11. aba⁴ ⇒ c
12. cba⁴ ⇒ ac