〈a, b | aabbaa=abab〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. (ab)² ⇒ c
2. a²b²a² ⇒ c
3. cab ⇒ abc
4. abcba² ⇒ a²b²ac
5. cb²a² ⇒ a²b²c
6. cbab ⇒ a²b²ac
7. aba²b²ac ⇒ c²ba²
8. ca²b²ac ⇒ abc²ba²
9. (cb)²a² ⇒ abcbac
10. c²ba³b ⇒ a(bc)²
11. cba²b²ac ⇒ a²b²ac²ba²
12. a²(b²ac)² ⇒ c(cba²)²
13. c²ba⁴b²ac ⇒ abcbc²ba²
14. c(cba²)²ab ⇒ a(bc)³
15. abcbacb²ac ⇒ a²b²ac(cba²)²
16. c(b²ac)² ⇒ a²b²c(cba²)²
17. c(cba²)³ ⇒ c²bacb²ac
18. (cb)²acb²ac ⇒ abcbac(cba²)²
19. c(cba²)²a²b²ac ⇒ a(bc)³cba²
20. c²ba(acb)²bac ⇒ c²bacb²ac²ba²
21. c²b(a²cb)²acb²ac ⇒ c²bacb²ac(cba²)²