Morphocompletion for #11590 ⟨a, b | baaab=a, bbbbb=1⟩

Back:⟨a, b | baaab=a, bbbbb=1⟩

Solved by morph:13/0. (See Morphocompletion.)

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aaaab ⇒ baaaa
2. baaab ⇒ a
3. bbba ⇒ aaabaab
4. baabaabaaa ⇒ abb
5. abbb ⇒ baabaaa
6. aaabaabaab ⇒ bba
7. baabaabbaaaa ⇒ abbab
8. baabaababaaaa ⇒ abbaab
9. abbabb ⇒ baababaabaaaaaaa
10. aaabaababaabaaa ⇒ bbabb
11. bbbbb ⇒ 1
12. baabaabbabaaaa ⇒ abbabab
13. baabaabbaabaaaa ⇒ abbabaab
14. baabaababbaaaa ⇒ abbaabb
15. baabaabababaaaa ⇒ abbaabab
16. baabaababaabaaaa ⇒ abbaabaab
17. abbabaabaab ⇒ baabaababba
18. abbaabaabaab ⇒ baabaabaabba
19. ababaabaabaab ⇒ baabaabaababa
20. abaabaabaabaab ⇒ baabaabaabaaba
21. aaabaababaabbaaaa ⇒ bbabbab
22. aaabaababaababaaaa ⇒ bbabbaab
23. baabaabbababaaaa ⇒ abbababab
24. baabaabbabaabaaaa ⇒ abbababaab
25. baabaabbaabbaaaa ⇒ abbabaabb
26. baabaabbaababaaaa ⇒ abbabaabab
27. baabaababbabaaaa ⇒ abbaabbab
28. baabaababbaabaaaa ⇒ abbaabbaab
29. baabaabababbaaaa ⇒ abbaababb
30. baabaababababaaaa ⇒ abbaababab
31. baabaabababaabaaaa ⇒ abbaababaab
32. baabaababaabbaaaa ⇒ abbaabaabb
33. baabaababaababaaaa ⇒ abbaabaabab
34. baabaabaababba ⇒ ababaabaab
35. baabaabaabaabba ⇒ abaabaabaab
36. baabaabaabaababa ⇒ aabaabaabaab
37. abbababaabaab ⇒ baabaabbaabba
38. abbaabbaabaab ⇒ baabaabababba
39. abbaababaabaab ⇒ baabaababaabba
40. aaabaababaabbabaaaa ⇒ bbabbabab
41. aaabaababaabbaabaaaa ⇒ bbabbabaab
42. aaabaababaababbaaaa ⇒ bbabbaabb
43. aaabaababaabababaaaa ⇒ bbabbaabab
44. aaabaababaababaabaaaa ⇒ bbabbaabaab
45. baabaabbababbaaaa ⇒ abbabababb
46. baabaabbabababaaaa ⇒ abbabababab
47. baabaabbababaabaaaa ⇒ abbabababaab
48. baabaabbabaabbaaaa ⇒ abbababaabb
49. baabaabbabaababaaaa ⇒ abbababaabab
50. baabaabbaabbabaaaa ⇒ abbabaabbab
51. baabaabbaabbaabaaaa ⇒ abbabaabbaab
52. baabaabbaababbaaaa ⇒ abbabaababb
53. baabaabbaabababaaaa ⇒ abbabaababab
54. baabaababbababaaaa ⇒ abbaabbabab
55. baabaababbabaabaaaa ⇒ abbaabbabaab
56. baabaababbaabbaaaa ⇒ abbaabbaabb
57. baabaababbaababaaaa ⇒ abbaabbaabab
58. baabaabababbabaaaa ⇒ abbaababbab
59. baabaabababbaabaaaa ⇒ abbaababbaab
60. baabaababababbaaaa ⇒ abbaabababb
61. baabaabababababaaaa ⇒ abbaabababab
62. baabaabababaabbaaaa ⇒ abbaababaabb
63. baabaababaabbabaaaa ⇒ abbaabaabbab
64. baabaababaababbaaaa ⇒ abbaabaababb
65. baabaabaabbaabba ⇒ abababaabaab
66. baabaabaababaabba ⇒ abaababaabaab
67. abbababbaabaab ⇒ baabaabbababba
68. abbabababaabaab ⇒ baabaabbabaabba
69. abbabaabbaabaab ⇒ baabaabbaababba
70. abbabaababaabaab ⇒ baabaabbaabaabba
71. abbaababbaabaab ⇒ baabaababababba
72. abbaabababaabaab ⇒ baabaabababaabba
73. abbaabaabbaabaab ⇒ baabaababaababba
74. aaabaababaabbababaaaa ⇒ bbabbababab
75. aaabaababaabaababba ⇒ bbababaabaab
76. baabaabbababbabaaaa ⇒ abbabababbab
77. baabaabbabababbaaaa ⇒ abbababababb
78. baabaababbababbaaaa ⇒ abbaabbababb
...

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] aa, [2/1] ab
Length 3:[3/0] aba, [3/1] aaa
Length 4:[4/0] baab, [4/1] abba
Length 5:[5/0] ababa, [5/1] baaba
Length 6:[6/0] abaaba, [6/1] baabaa
Length 7:[7/0] baabaab, [7/1] babaaaa
Length 8:[8/0] baabaaba, [8/1] baabaabb
Length 9:[9/0] baabaabab, [9/1] abaabaaba
Length 10:[10/0] baabaabaab, [10/1] baabaababa
Length 11:[11/0] baabaababba, [11/1] baabaababab
Length 12:[12/0] abaabaabaaba, [12/1] aaabaababaab
Length 13:[13/0] baabaabaabaab, [13/1] baabaabbaabba

Considering [length 13 / frequency 0] baabaabaabaab=c.

Step 2

Rewriting system is complete. See ⟨a, b | baaab=a, bbbbb=1⟩.