〈a, b | aaa=1, abbbba=bb〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right b/ca
• Auxiliary generator bbbba=c

Complete rewriting system

1. b¹⁴ ⇒ b²
2. cb¹² ⇒ c
3. b⁶c ⇒ cb⁶
4. ab² ⇒ b²cb⁸
5. b²a ⇒ b⁴cb⁶
6. c² ⇒ b⁶
7. cb²c ⇒ b⁴cb⁴
8. cb⁴c ⇒ b²cb²
9. ca ⇒ b⁴cb¹⁰
10. cba ⇒ cb³cb⁶
11. ac ⇒ b²
12. abc ⇒ b(bc)²b⁶
13. a³ ⇒ 1

Right Cayley graph (truncated)

Left Cayley graph (truncated)