〈a, b | aaa=1, abaaba=bb〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right a/bc
• Auxiliary generator abb=c

Complete rewriting system

1. a³ ⇒ 1
2. b² ⇒ a²c
3. ba²b ⇒ aca²
4. abac ⇒ baca²
5. cb ⇒ aba²c
6. cab ⇒ a²bca²
7. ca²b ⇒ baca
8. (ac)² ⇒ c²a²
9. a²c² ⇒ (ca)²
10. abc² ⇒ bac²a
11. ac³ ⇒ c³a

Right Cayley graph (truncated)

Left Cayley graph (truncated)