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

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

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

Right Cayley graph (truncated)

Left Cayley graph (truncated)