〈a, b | abaab=aaaba〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right aedbc
• Auxiliary generator aa=c
• Auxiliary generator cba=d
• Auxiliary generator bc=e

Complete rewriting system

1. a² ⇒ c
2. bc ⇒ e
3. ca ⇒ ac
4. ce ⇒ da
5. aeb ⇒ ad
6. adc ⇒ ae²
7. abd ⇒ ada
8. e²b ⇒ ed
9. edc ⇒ e³
10. eba ⇒ bd
11. ebd ⇒ eda
12. dab ⇒ cd
13. deb ⇒ d²
14. d²c ⇒ de²
15. dbd ⇒ d²a
16. bac ⇒ ea
17. bda ⇒ e²
18. bdc ⇒ e²a
19. cdc ⇒ dae
20. cba ⇒ d
21. cbd ⇒ cda
22. aeda ⇒ ad²
23. adac ⇒ ae²a
24. ad²a ⇒ ae³
25. ad²b ⇒ aecd
26. eaba ⇒ bad
27. e²da ⇒ ed²
28. edac ⇒ e³a
29. ed²a ⇒ e⁴
30. ed²b ⇒ e²cd
31. (da)² ⇒ cd²
32. deda ⇒ d³
33. d²ac ⇒ de²a
34. d³a ⇒ de³
35. d³b ⇒ decd
36. bae² ⇒ (ea)²
37. bada ⇒ eae
38. bd²a ⇒ e²ae
39. cdac ⇒ daea
40. cd²a ⇒ dae²
41. cd²b ⇒ dacd
42. ae²ae ⇒ acd²
43. ae³a ⇒ ade²
44. ade²a ⇒ ae³c
45. ade³ ⇒ aecd²
46. (ea)²b ⇒ baed
47. e(ea)² ⇒ bde²
48. e³ae ⇒ ecd²
49. e⁴a ⇒ ede²
50. ede²a ⇒ e⁴c
51. ede³ ⇒ e²cd²
52. d(ae)² ⇒ c²d²
53. dae²a ⇒ cde²
54. de²ae ⇒ dcd²
55. de³a ⇒ d²e²
56. d²e²a ⇒ de³c
57. d²e³ ⇒ decd²
58. bde²a ⇒ e²aec
59. cde²a ⇒ dae²c
60. cde³ ⇒ dacd²
61. ad²eae ⇒ aec²d²
62. (ea)³ ⇒ bade²
63. (ea)²da ⇒ baed²
64. ed²eae ⇒ e²c²d²
65. d³eae ⇒ dec²d²
66. cd²eae ⇒ dac²d²
67. aecd²ea ⇒ adede²
68. (ea)²e²a ⇒ baede²
69. e²cd²ea ⇒ (ed)²e²
70. dacd²ea ⇒ cdede²
71. decd²ea ⇒ d²ede²
72. ae²ad²ea ⇒ acdede²
73. ade²d²ea ⇒ aecdede²
74. e³ad²ea ⇒ ecdede²
75. ede²d²ea ⇒ e²cdede²
76. daead²ea ⇒ c²dede²
77. de²ad²ea ⇒ dcdede²
78. d²e²d²ea ⇒ decdede²
79. cde²d²ea ⇒ dacdede²
80. a(d²ea)² ⇒ aec²dede²
81. (ea)²cd²ea ⇒ ba(ed)²e²
82. e(d²ea)² ⇒ e²c²dede²
83. d(d²ea)² ⇒ dec²dede²
84. c(d²ea)² ⇒ dac²dede²