〈a, b | aa=1, 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 ⇒ b³
2. c³ ⇒ b²c
3. b⁴ ⇒ b²
4. b³c ⇒ bc
5. b²cb ⇒ cb
6. b²c² ⇒ c²
7. cb³ ⇒ cb
8. cb²c ⇒ c²
9. ab² ⇒ bcb
10. abc ⇒ bc²
11. acb ⇒ b(cb)²
12. ac² ⇒ bcbc²
13. bab ⇒ c
14. cab ⇒ bac
15. a² ⇒ 1

Right Cayley graph (truncated)

Left Cayley graph (truncated)