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

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. a¹³ ⇒ a⁵
2. aba⁴ ⇒ ba⁷
3. a³ba³ ⇒ ba⁴
4. a⁴b ⇒ ba⁴
5. b²a³ ⇒ a³
6. bab ⇒ a³
7. a³b² ⇒ a³
8. b³ ⇒ b

Right Cayley graph (truncated)

Left Cayley graph (truncated)