〈a, b | abababaab=a〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. ba ⇒ c
2. c⁴ab ⇒ c
3. c⁴ac ⇒ ca
4. ca²b ⇒ c¹⁰a
5. (ca)²b ⇒ c⁷a
6. cac²ab ⇒ c⁴a
7. ac³ab ⇒ a
8. ca²c ⇒ c¹⁰a²
9. c(ac)² ⇒ c⁷a²
10. (cac)² ⇒ c⁴a²
11. ac³ac ⇒ a²
12. a³b ⇒ ac⁹a
13. a²cab ⇒ ac⁶a
14. a²c²ab ⇒ ac³a
15. a³c ⇒ ac⁹a²
16. a(ac)² ⇒ ac⁶a²
17. a²c²ac ⇒ ac³a²