〈a, b | aabbbba=bba〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left c/ba
• Auxiliary generator bbbbbbbba=c

Complete rewriting system

1. b²cac ⇒ cab²c
2. a(ac)² ⇒ ca³c
3. b⁴c ⇒ ca³c
4. a²b²c ⇒ c
5. b²a²c ⇒ c
6. b²cab²c ⇒ caca³c
7. a²cab²c ⇒ cac
8. b⁴a ⇒ a⁴c
9. b²ca³c ⇒ cac
10. ca⁵c ⇒ b²c
11. a²ca³c ⇒ b²c
12. b²a⁴c ⇒ a²c
13. a⁶c ⇒ b²a