〈a, b | aaa=1, baba=abbb〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right b/a

Complete rewriting system

1. b¹⁰ ⇒ b⁷
2. ab⁷ ⇒ b⁸
3. bab⁴ ⇒ b⁹
4. b⁵ab² ⇒ b⁸
5. b⁶ab ⇒ b⁸
6. b⁷a ⇒ b⁸
7. ba²b³ ⇒ ab⁴a
8. (ba)² ⇒ ab³
9. b(ab²)² ⇒ b⁷
10. bab³ab ⇒ b⁷
11. (b²a)²b ⇒ b⁷
12. b⁵a²b ⇒ b⁸
13. a³ ⇒ 1
14. a(ab)² ⇒ b³a²
15. ab³a² ⇒ bab
16. ab⁶a² ⇒ (bab)²
17. b²a²b²ab ⇒ b⁸
18. b⁴ab²a²b ⇒ b⁷
19. ab⁴a²ba ⇒ ba²b²ab³
20. b(b²a²)² ⇒ a²b²ab
21. b⁴(a²b)² ⇒ b⁷
22. (a²b)²bab³ ⇒ b⁴a²ba
23. (ba²)²b²ab ⇒ b⁷

Right Cayley graph (truncated)

Left Cayley graph (truncated)