〈a, b | aaa=1, ababb=bab〉

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 ⇒ ab²ab³
6. (b²a)²b ⇒ ab³ab²
7. a³ ⇒ 1
8. a²b²ab ⇒ b(ab²)²
9. ba²b³ab ⇒ a²b³ab²

Right Cayley graph (truncated)

Left Cayley graph (truncated)