〈a, b | aabba=abab〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. (ab)² ⇒ ac
2. ab²a ⇒ c
3. abc ⇒ acba
4. abac ⇒ acab
5. cbab ⇒ c²
6. (ac)²ba ⇒ ac²b
7. ab²c ⇒ cb²a
8. cbc ⇒ c²ba
9. cbac ⇒ c²ab
10. ac²b² ⇒ acac²
11. ac³ba ⇒ acac²ab
12. c²acba ⇒ c³b
13. ac⁴a ⇒ acac³
14. c³b² ⇒ c²ac²
15. acac²ab² ⇒ ac⁴
16. c⁴ba ⇒ (c²a)²b
17. c⁵a ⇒ c²ac³
18. aca(c²a)² ⇒ ac⁵
19. (c²a)²b² ⇒ c⁵
20. (c²a)³ ⇒ c⁶