〈a, b | aaa=1, baabb=abb〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left b/ca
• Auxiliary generator aabab=c

Complete rewriting system

1. c²b ⇒ bab²
2. ac ⇒ bab
3. abcb ⇒ cb
4. bcab² ⇒ ab²cb
5. ba²b² ⇒ ab²
6. abab² ⇒ bcb
7. a²b²cb ⇒ cab²
8. c²ab² ⇒ b²cb
9. ca²b² ⇒ b²
10. a³ ⇒ 1
11. a(ab)² ⇒ c

Right Cayley graph (truncated)

Left Cayley graph (truncated)