〈a, b | aba=bb, aaaab=b〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left b/a

Complete rewriting system

1. b¹⁴ ⇒ b²
2. b¹³a ⇒ ba
3. b¹²ab² ⇒ ab²
4. ab³ ⇒ b³a
5. aba ⇒ b²
6. ab²ab ⇒ b⁵a²
7. a²b² ⇒ b⁸(b²a)²
8. ba³ ⇒ b¹¹ab
9. ab²a²b ⇒ b⁵ab²a²
10. a⁴b ⇒ b

Right Cayley graph (truncated)

Left Cayley graph (truncated)