〈a, b | aba=bb, aaaaaa=1〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right b/d/c/a
• Auxiliary generator aa=c
• Auxiliary generator accbaccbaccbaccbaccbacc=d

Complete rewriting system

1. db² ⇒ b
2. bd ⇒ db
3. d²b ⇒ d
4. bcdb ⇒ bc
5. b³c ⇒ cb³
6. dc ⇒ b²cd³
7. dbc ⇒ cdb
8. bc²db ⇒ bc²
9. (bc)² ⇒ c²b⁵
10. b²c² ⇒ cbcd²
11. c³ ⇒ 1
12. ba ⇒ ac²b²
13. da ⇒ abcd³
14. ca ⇒ ac
15. a² ⇒ c

Right Cayley graph (truncated)

Left Cayley graph (truncated)