〈a, b | abaaaaaba=a〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right acb
• Auxiliary generator aaaaa=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. (ab)²a² ⇒ a²(ba)²
8. a(ba)²c ⇒ a²
9. aba⁴c ⇒ cbc
10. aba³c² ⇒ a⁴cbc
11. aba²c³ ⇒ a³c²bc
12. abac⁴ ⇒ a²c³bc
13. abc⁵ ⇒ ac⁴bc
14. cbc⁵ ⇒ c⁵bc