〈a, b | bab=aaa, bbbb=b〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. a²⁹ ⇒ a⁵
2. aba²⁸ ⇒ aba⁴
3. a⁴b ⇒ ba⁴
4. b²a⁵ ⇒ aba²⁶
5. bab ⇒ a³
6. ba²ba⁴ ⇒ a³ba⁷
7. ab²a⁴ ⇒ a²ba²⁵
8. aba³ba⁴ ⇒ ba³ba¹¹
9. a³b²a³ ⇒ ba⁴
10. b³a³ ⇒ a³
11. b²a³ba⁴ ⇒ a²ba²⁵
12. a³b³ ⇒ a³
13. b⁴ ⇒ b

Right Cayley graph (truncated)

Left Cayley graph (truncated)