〈a, b | aba=bb, aaab=ab〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right ab

Complete rewriting system

1. aba ⇒ b²
2. a³b ⇒ ab
3. a²b² ⇒ b²
4. b³a ⇒ ab³
5. b²a²b ⇒ b³
6. b²ab² ⇒ ab³
7. ab⁵ ⇒ bab³
8. b⁷ ⇒ b⁴

Right Cayley graph (truncated)

Left Cayley graph (truncated)