〈a, b | aaa=1, abbaab=ba〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. cb²c ⇒ b⁴
2. cbc² ⇒ b²cb
3. c²bc ⇒ bcb²
4. c⁴ ⇒ bc²b
5. b⁷ ⇒ b
6. b⁶c ⇒ c
7. cb⁶ ⇒ c
8. cb⁴cb ⇒ b⁵c²
9. cb³cb² ⇒ b⁴cbc
10. cb³c²b ⇒ b⁴c³
11. cbcb⁴ ⇒ b²cb³c
12. (cb)³b ⇒ b(bc)³
13. c²b⁵ ⇒ bcb⁴c
14. c²b³cb ⇒ bcb³c²
15. c³b⁴ ⇒ bc²b³c
16. bab⁶ ⇒ ba
17. ca ⇒ bacb⁵
18. cba ⇒ b²ab⁵c
19. b³a ⇒ ab(b³c)²
20. cb²a ⇒ ab⁴cb⁵cb³c
21. a²b ⇒ bab²cb⁵
22. a²c ⇒ bab²cb⁴c
23. aba ⇒ b⁴c
24. ab²a ⇒ b²ab²c²b⁴
25. ba² ⇒ b²ab²cb⁴
26. a³ ⇒ 1

Right Cayley graph (truncated)

Left Cayley graph (truncated)