〈a, b | aaa=1, baabb=bba〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. b⁹ ⇒ b³
2. b⁸ab ⇒ b²ab
3. b²ab³ ⇒ b⁵a
4. b³a² ⇒ b⁷ab
5. b(ba)² ⇒ b⁴
6. (b²a)² ⇒ b⁴ab²
7. b²a²b ⇒ b⁶ab²
8. ba²b² ⇒ b²a
9. a³ ⇒ 1

Right Cayley graph (truncated)

Left Cayley graph (truncated)