〈a, b | bab=aba, aaaa=a〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right ab

Complete rewriting system

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

Right Cayley graph (truncated)

Left Cayley graph (truncated)