〈a, b | abbaab=aba〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

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