〈a, b | aba=bb, aabb=ba〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. b⁹ ⇒ b³
2. b⁸a ⇒ b²a
3. b⁷ab ⇒ bab
4. ab³ ⇒ b³a
5. ba² ⇒ b⁵ab
6. aba ⇒ b²
7. ab²a ⇒ b²ab²
8. a²b² ⇒ ba

Right Cayley graph (truncated)

Left Cayley graph (truncated)