〈a, b | aaab=b, abbba=b〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

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

Right Cayley graph (truncated)

Left Cayley graph (truncated)