〈a, b | abaaaaba=a〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. ca ⇒ ac
2. cba ⇒ abc
3. a⁴ ⇒ c
4. (ab)²c ⇒ a
5. a(bc)² ⇒ c
6. c(bc)² ⇒ a³c
7. aba³c ⇒ cbc
8. aba²c² ⇒ a³cbc
9. abac³ ⇒ a²c²bc
10. (ab)²a² ⇒ a²(ba)²
11. a(ba)²c ⇒ a²
12. abc⁴ ⇒ ac³bc
13. cbc⁴ ⇒ c⁴bc