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

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. bab⁴ ⇒ bab
2. b⁵ab ⇒ b²ab
3. (ab)² ⇒ bab²
4. ab⁴ab ⇒ b⁴ab²
5. (bab)² ⇒ (ab²)²
6. (b³a)²b ⇒ ab³ab
7. a³ ⇒ 1
8. a²b²ab ⇒ b(ab³)²
9. a(b²ab)² ⇒ b(bab²)²
10. ba²b³ab ⇒ a²b³ab²

Right Cayley graph (truncated)

Left Cayley graph (truncated)