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

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. ac ⇒ ca
2. c²a ⇒ cb
3. cbc ⇒ c²b
4. cb² ⇒ c²
5. cba ⇒ c
6. cab ⇒ c
7. ca² ⇒ ab
8. abc ⇒ c
9. ab² ⇒ ca
10. aba ⇒ a
11. a²b ⇒ a

Right Cayley graph (truncated)

Left Cayley graph (truncated)