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

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right da/c/b
• Auxiliary generator aabbbb=c
• Auxiliary generator bbbbaabbbbaabbbbaabbbbaabbbb=d

Complete rewriting system

1. ad ⇒ da
2. d²a² ⇒ d
3. da³ ⇒ a
4. cda² ⇒ c
5. d²c ⇒ cd²
6. a²c ⇒ dca⁴
7. d²ac ⇒ acd²
8. cac ⇒ a³
9. c³ ⇒ acdcd²a
10. c(dc)² ⇒ dac²a³
11. ac²dac² ⇒ d(cd)²acdcd²a
12. a(cd)²acdc ⇒ c²dac²a⁷
13. bd ⇒ acd²a
14. ba ⇒ ac
15. bc ⇒ acdac
16. db ⇒ dacda
17. ab ⇒ dca³
18. cb ⇒ a²
19. b⁵ ⇒ 1

Right Cayley graph (truncated)

Left Cayley graph (truncated)