〈a, b | aaaa=1, abbab=bb〉

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

Right Cayley graph (truncated)

Left Cayley graph (truncated)