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

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

Right Cayley graph (truncated)

Left Cayley graph (truncated)