〈a, b | abab=aaa, bbbb=1〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. a¹⁹ ⇒ a⁷
2. a¹⁷ba ⇒ a⁵ba
3. a¹⁶ba² ⇒ a⁴ba²
4. aba³ ⇒ a⁴b
5. (ab)² ⇒ a³
6. a¹⁶b²a ⇒ a⁴b²a
7. (aba)² ⇒ a⁶b²
8. a⁴b²a² ⇒ a¹⁴ba²b
9. a³b³ ⇒ aba
10. a⁴b²ab ⇒ a⁴ba²
11. a⁴ba²b²a ⇒ a⁹ba²b²
12. b⁴ ⇒ 1
13. a⁴ba²b³ ⇒ a⁴b²a

Right Cayley graph (truncated)

Left Cayley graph (truncated)