Morphocompletion for #14293 ⟨a, b | abba=b, aaaaaa=1⟩

Back:⟨a, b | abba=b, aaaaaa=1⟩

Solved by morph:3/1,7/0. (See Morphocompletion.)

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. bbba ⇒ abbb
2. abba ⇒ b
3. baaa ⇒ abababb
4. bbababa ⇒ aaab
5. aaaab ⇒ bbaba
6. ababababb ⇒ baa
7. abababaabbb ⇒ baaba
8. bbabaabababb ⇒ aaabaa
9. aaaaaa ⇒ 1
10. ababaabababbbbb ⇒ baabaa
11. abababaababbb ⇒ baababa
12. baababababa ⇒ ababababaab
13. babababababa ⇒ abababababab
14. bbabaababaabbb ⇒ aaabaaba
15. ababaababaabbbbbb ⇒ baabaaba
16. abababaabaabbb ⇒ baababaa
17. abababaabababbb ⇒ baabababa
18. abababababaab ⇒ bababababa
19. baabaabababa ⇒ abababaabaab
20. bbabaabaabababbbbb ⇒ aaabaabaa
21. bbabaababaababbb ⇒ aaabaababa
22. ababaabaabababbbbbbbb ⇒ baabaabaa
23. ababaababaababbbbbb ⇒ baabaababa
24. abababaabaababbb ⇒ baababaaba
25. abababaababaabbb ⇒ baabababaa
26. ababababaabaab ⇒ babaabababa
27. baababaabababa ⇒ abababaababaab
28. baabababaabababb ⇒ ababababaabaa
29. bababababaababab ⇒ aaabababababa
30. bbabaabaababaabbbbbb ⇒ aaabaabaaba
31. bbabaababaabaabbb ⇒ aaabaababaa
32. bbabaababaabababbb ⇒ aaabaabababa
33. ababaabaababaabbbbbbbbb ⇒ baabaabaaba
34. ababaababaabaabbbbbb ⇒ baabaababaa
35. abababaabaabaabbb ⇒ baababaabaa
36. abababaabaabababbb ⇒ baababaababa
37. abababaababaababbb ⇒ baabababaaba
38. ababababaababaab ⇒ bababaabababa
39. baabaababaabababb ⇒ abababaabaabaa
40. baabababaabababa ⇒ abababaabababaab
41. bbabaabaabaabababbbbbbbb ⇒ aaabaabaabaa
42. bbabaabaababaababbbbbb ⇒ aaabaabaababa
43. bbabaababaabaababbb ⇒ aaabaababaaba
44. bbabaababaababaabbb ⇒ aaabaabababaa
45. bbabaabababaabaab ⇒ aaababaabababa
46. ababaabaabaabababbbbbbbbbbb ⇒ baabaabaabaa
47. ababaabaababaababbbbbbbbb ⇒ baabaabaababa
48. ababaababaabaababbbbbb ⇒ baabaababaaba
49. abababaabaabaababbb ⇒ baababaabaaba
50. abababaabaababaabbb ⇒ baababaababaa
51. abababaababaabaabbb ⇒ baabababaabaa
52. abababaababaabababbb ⇒ baabababaababa
53. ababababaabababaab ⇒ babababaabababa
54. baabaababaababaabbb ⇒ abababaabaabaaba
55. baababaababaabababb ⇒ abababaababaabaa
56. bbabaabaababaabaabbbbbb ⇒ aaabaabaababaa
57. bbabaababaabaabaabbb ⇒ aaabaababaabaa
58. bbabaababaabaabababbb ⇒ aaabaababaababa
59. bbabaababaababaababbb ⇒ aaabaabababaaba
60. bbabaabababaababaab ⇒ aaabababaabababa
61. ababaababaabaabaabbbbbb ⇒ baabaababaabaa
62. ababaababaabaabababbbbbb ⇒ baabaababaababa
63. abababaabaabaabaabbb ⇒ baababaabaabaa
64. abababaabaabaabababbb ⇒ baababaabaababa
65. abababaabaababaababbb ⇒ baababaababaaba
66. abababaababaabaababbb ⇒ baabababaabaaba
67. abababaababaababaabbb ⇒ baabababaababaa
68. abababaabababaabaab ⇒ babaabababaababa
69. bbaabababaababaabaab ⇒ aaabaabababaababa
70. bbabaababaabaabaababbb ⇒ aaabaababaabaaba
71. bbabaababaabaababaabbb ⇒ aaabaababaababaa
72. bbabaababaababaabaabbb ⇒ aaabaabababaabaa
73. ababaabababaabaabaab ⇒ baababaababaababa
74. abababaabaabaabaababbb ⇒ baababaabaabaaba
75. abababaabaabaababaabbb ⇒ baababaabaababaa
76. abababaabaababaabaabbb ⇒ baababaababaabaa
77. abababaababaabaabaabbb ⇒ baabababaabaabaa
...

Collecting factors up to length 7, frequency 2:

Length 2:[2/0] ba, [2/1] bb
Length 3:[3/0] aba, [3/1] bbb
Length 4:[4/0] baab, [4/1] baba
Length 5:[5/0] ababa, [5/1] baaba
Length 6:[6/0] baabaa, [6/1] ababaa

Considering [length 3 / frequency 1] bbb=c.

Step 2

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. cb ⇒ bc
2. bbb ⇒ c
3. ca ⇒ ac
4. abba ⇒ b
5. baaa ⇒ abababb
6. bbababa ⇒ aaab
7. aaaac ⇒ bbababb
8. aaaab ⇒ bbaba
9. abababac ⇒ baab
10. ababababc ⇒ baabb
11. ababababb ⇒ baa
12. abababaac ⇒ baaba
13. abababaabc ⇒ baabab
14. abababaabbc ⇒ baababb
15. bbabaababac ⇒ aaabaab
16. bbabaabababc ⇒ aaabaabb
17. bbabaabababb ⇒ aaabaa
18. aaaaaa ⇒ 1
19. ababaababacc ⇒ baabaab
20. ababaabababcc ⇒ baabaabb
21. ababaabababbc ⇒ baabaa
22. abababaabac ⇒ baababa
23. abababaababc ⇒ baababab
24. abababaababbc ⇒ baabababb
25. baababababa ⇒ ababababaab
26. babababababa ⇒ abababababab
27. bbabaababaac ⇒ aaabaaba
28. bbabaababaabc ⇒ aaabaabab
29. bbabaababaabbc ⇒ aaabaababb
30. ababaababaacc ⇒ baabaaba
31. ababaababaabcc ⇒ baabaabab
32. ababaababaabbcc ⇒ baabaababb
33. abababaabaac ⇒ baababaa
34. abababaabaabc ⇒ baababaab
35. abababaabaabbc ⇒ baababaabb
36. abababaababac ⇒ baabababa
37. abababaabababc ⇒ baabababab
38. abababababaab ⇒ bababababa
39. baabaabababa ⇒ abababaabaab
40. bbabaabaababacc ⇒ aaabaabaab
41. bbabaabaabababcc ⇒ aaabaabaabb
42. bbabaabaabababbc ⇒ aaabaabaa
43. bbabaababaabac ⇒ aaabaababa
44. bbabaababaababc ⇒ aaabaababab
45. bbabaababaababbc ⇒ aaabaabababb
46. ababaabaababaccc ⇒ baabaabaab
47. ababaabaabababccc ⇒ baabaabaabb
48. ababaabaabababbcc ⇒ baabaabaa
49. ababaababaabacc ⇒ baabaababa
50. ababaababaababcc ⇒ baabaababab
51. ababaababaababbcc ⇒ baabaabababb
52. abababaabaabac ⇒ baababaaba
53. abababaabaababc ⇒ baababaabab
54. abababaabaababbc ⇒ baababaababb
55. abababaababaac ⇒ baabababaa
56. abababaababaabc ⇒ baabababaab
57. abababaababaabbc ⇒ baabababaabb
58. ababababaabaab ⇒ babaabababa
59. baababaabababa ⇒ abababaababaab
60. baabababaabababb ⇒ ababababaabaa
61. bababababaababab ⇒ aaabababababa
62. bbabaabaababaacc ⇒ aaabaabaaba
63. bbabaabaababaabcc ⇒ aaabaabaabab
64. bbabaababaabaac ⇒ aaabaababaa
65. bbabaababaabaabc ⇒ aaabaababaab
66. bbabaababaabaabbc ⇒ aaabaababaabb
67. bbabaababaababac ⇒ aaabaabababa
68. bbabaababaabababc ⇒ aaabaabababab
69. ababaabaababaaccc ⇒ baabaabaaba
70. ababaabaababaabccc ⇒ baabaabaabab
71. ababaababaabaacc ⇒ baabaababaa
72. ababaababaabaabcc ⇒ baabaababaab
73. abababaabaabaac ⇒ baababaabaa
74. abababaabaabaabc ⇒ baababaabaab
75. abababaabaababac ⇒ baababaababa
76. abababaababaabac ⇒ baabababaaba
77. ababababaababaab ⇒ bababaabababa
...

Collecting factors up to length 14, frequency 1:

Length 2:[2/0] ab
Length 3:[3/0] aba
Length 4:[4/0] abab
Length 5:[5/0] ababa
Length 6:[6/0] ababab
Length 7:[7/0] abababa
Length 8:[8/0] abababaa
Length 9:[9/0] ababababa
Length 10:[10/0] abababaaba
Length 11:[11/0] abababababa
Length 12:[12/0] abababaabaab
Length 13:[13/0] bbabaababaaba

Considering [length 7 / frequency 0] abababa=d.

Step 3

Rewriting system is complete. See ⟨a, b | abba=b, aaaaaa=1⟩.