〈a, b | aaa=1, abbbbba=b〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right c/d/a/b
• Auxiliary generator bbbb=c
• Auxiliary generator abbbbabbbba=d

Complete rewriting system

1. dc² ⇒ c
2. cd ⇒ dc
3. d²c ⇒ d
4. cadc ⇒ ca
5. c³a ⇒ ac³
6. da ⇒ c²ad³
7. dca ⇒ adc
8. ca²dc ⇒ ca²
9. (ca)² ⇒ a²d
10. c²a² ⇒ acac⁴
11. a³ ⇒ 1
12. bdc ⇒ b
13. badc ⇒ ba
14. ba²dc ⇒ ba²
15. cb ⇒ bc
16. db ⇒ bd
17. ab ⇒ ba²d
18. b⁴ ⇒ c

Right Cayley graph (truncated)

Left Cayley graph (truncated)