〈a, b | aaa=aa, babbb=a〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

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

Right Cayley graph (truncated)

Left Cayley graph (truncated)