〈a, b | aaa=aa, babb=a〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. a³ ⇒ a²
2. aba² ⇒ ba²
3. (ba)² ⇒ a²b²
4. ba²ba ⇒ a²b²
5. b²a² ⇒ a²b²a
6. bab² ⇒ a
7. a²b³a ⇒ ba²b²
8. ba²b²a ⇒ a²
9. a²b⁴ ⇒ ba²

Right Cayley graph (truncated)

Left Cayley graph (truncated)