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

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right bc/a
• Auxiliary generator bab=c

Complete rewriting system

1. c²b ⇒ cb
2. c³ ⇒ c²
3. b²cb ⇒ cb
4. b²c² ⇒ c²
5. ab² ⇒ bcb
6. abc ⇒ bc²
7. acb ⇒ b(cb)²
8. ac² ⇒ bcbc²
9. bab ⇒ c
10. cab ⇒ bac
11. a² ⇒ a

Right Cayley graph (truncated)

Left Cayley graph (truncated)