〈a, b | aba=b, bbbbb=b〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. cb ⇒ ba
2. ab ⇒ bc
3. ac ⇒ ca
4. bca ⇒ b
5. c²a ⇒ c
6. b⁴ ⇒ ca

Right Cayley graph (truncated)

Left Cayley graph (truncated)