〈a, b | aa=a, abbba=abb〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. ac ⇒ c
2. ab ⇒ c
3. a² ⇒ a
4. cb² ⇒ cbc
5. cba ⇒ cb
6. cbc² ⇒ cbc
7. cbca ⇒ cb

Right Cayley graph (truncated)

Left Cayley graph (truncated)