〈a, b | bab=aaa, bbbb=1〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. ad ⇒ da
2. a² ⇒ c
3. cd ⇒ dc
4. ca ⇒ ac
5. d²c ⇒ d
6. dac ⇒ a
7. dc² ⇒ c
8. dbdc ⇒ db
9. abdc ⇒ ab
10. cb ⇒ dbc²
11. d²b ⇒ bd²
12. d²ab ⇒ abd²
13. bab ⇒ ac
14. db²dc ⇒ db²
15. ab² ⇒ (db)²a
16. abdb ⇒ b²ac
17. b³d ⇒ abd³a
18. b³a ⇒ abd
19. b³c ⇒ abda
20. b(db)² ⇒ dabac
21. db³ ⇒ dabd²a
22. b⁴ ⇒ 1

Right Cayley graph (truncated)

Left Cayley graph (truncated)