〈a, b | bab=abb, bbb=bb〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right bca
• Auxiliary generator ab=c

Complete rewriting system

1. cb ⇒ bc
2. ab ⇒ c
3. b³ ⇒ b²
4. b²c ⇒ bc
5. bc² ⇒ c²
6. ac² ⇒ c³

Right Cayley graph (truncated)

Left Cayley graph (truncated)