〈a, b | aaba=a, bbabb=a〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left abc
• Auxiliary generator abab=c

Complete rewriting system

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

Right Cayley graph (truncated)

Left Cayley graph (truncated)