〈a, b | abbaaab=aba〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right b/ac
• Auxiliary generator baaa=c

Complete rewriting system

1. abcb ⇒ aba
2. (cb)² ⇒ cba
3. ba³ ⇒ c
4. abacb ⇒ aba²
5. ac²b ⇒ aca
6. abc² ⇒ aca
7. cbacb ⇒ cba²
8. c³b ⇒ c²a
9. cbc² ⇒ c²a
10. aba²cb ⇒ ac
11. aca² ⇒ abac²
12. (ac)²b ⇒ abac²
13. cba²cb ⇒ c²
14. c²a² ⇒ cbac²
15. c²acb ⇒ cbac²
16. abac²a ⇒ aba²c²
17. ac³a ⇒ acac²
18. cbac²a ⇒ cba²c²
19. c⁴a ⇒ c²ac²
20. aba²c²a ⇒ ac³
21. acac²a ⇒ abac⁴
22. cba²c²a ⇒ c⁴
23. (c²a)² ⇒ cbac⁴