〈a, b | aba=a, abba=ab〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right cb/a
• Auxiliary generator bbba=c

Complete rewriting system

1. cbc ⇒ c²b
2. cb² ⇒ c²
3. abc ⇒ acb
4. ab² ⇒ ac
5. c²a ⇒ cb
6. cba ⇒ c
7. b³a ⇒ c
8. aca ⇒ ab
9. aba ⇒ a

Right Cayley graph (truncated)

Left Cayley graph (truncated)