〈a, b | aaa=1, babab=abb〉

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²ab⁵ ⇒ b²ab²
4. b³ab ⇒ ab⁴
5. abab³ ⇒ b²ab⁴
6. ba²b² ⇒ ab²ab
7. b(ab)² ⇒ ab²
8. (b²a)²b ⇒ a²b⁵
9. a³ ⇒ 1
10. a(ab²)² ⇒ bab⁴
11. ab(ab²)² ⇒ bab²ab⁴
12. ba²bab² ⇒ a(bab)²

Right Cayley graph (truncated)

Left Cayley graph (truncated)