〈a, b | aaa=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. b⁴ ⇒ b²
2. b³c ⇒ bc
3. b²cb ⇒ cb
4. b²c² ⇒ c²
5. cb³ ⇒ cb
6. cb²c ⇒ c²
7. c³b ⇒ b³
8. c⁴ ⇒ b²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)