〈a, b | baaab=a, bbbbb=1〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right da/c/b
• Auxiliary generator aab=c
• Auxiliary generator baabaabaabaab=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 ⇒ dcd
14. ba ⇒ dca
15. bc ⇒ dc²
16. db ⇒ cd²
17. ab ⇒ dac
18. cb ⇒ cdc
19. b⁵ ⇒ 1

Right Cayley graph (truncated)

Left Cayley graph (truncated)