〈a, b | baa=abb, aaaa=a〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left ab

Complete rewriting system

1. ab² ⇒ ba²
2. a⁴ ⇒ a
3. a²ba ⇒ b²a²
4. b(ba)² ⇒ aba³
5. b⁵a ⇒ (ab)²a²
6. a(ba)³ ⇒ (ba)³a

Right Cayley graph (truncated)

Left Cayley graph (truncated)