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

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. b¹⁰ ⇒ b⁴
2. bab⁹ ⇒ bab³
3. b³a ⇒ ab³
4. a²b⁴ ⇒ bab⁸
5. aba ⇒ b²
6. ab²ab³ ⇒ b²ab⁵
7. ba²b³ ⇒ b²ab⁷
8. b²a²b² ⇒ ab³
9. a³b² ⇒ b²
10. b²a³ ⇒ b²
11. a⁴ ⇒ a

Right Cayley graph (truncated)

Left Cayley graph (truncated)