Back

a, b | aab=aa, bba=a

Monoid presentation of length 9

Properties

Completion parameters

Complete rewriting system

  1. a2ba2
  2. b2aa

Right Cayley graph (truncated)

Left Cayley graph (truncated)