Morphocompletion for #17137 ⟨a, b | aaaa=1, abbbba=b⟩

Back:⟨a, b | aaaa=1, abbbba=b⟩

Solved by morph:4/0,4/0. (See Morphocompletion.)

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. bbbbba ⇒ abbbbb
2. abbbba ⇒ b
3. baa ⇒ abbbabbbb
4. bbbbabbba ⇒ aab
5. aaab ⇒ bbbba
6. abbbabbbabbbb ⇒ ba
7. bbbbabbabbbabbbb ⇒ aaba
8. aaaa ⇒ 1
9. abbbabbabbbabbbbbbbbb ⇒ baba
10. abbbabbbababbbbb ⇒ babba
11. abbbabbbabbabbbbb ⇒ babbba
12. bababbbabbba ⇒ abbbabbbabab
13. babbabbbabbba ⇒ abbbabbbabbab
14. babbbabbbabbba ⇒ abbbabbbabbbab
15. bbbbabbabbabbbabbbbbbbbb ⇒ aababa
16. bbbbabbabbbababbbbb ⇒ aababba
17. bbbbabbabbbabbabbbbb ⇒ aababbba
18. abbbabbabbabbbabbbbbbbbbbbbbb ⇒ bababa
19. abbbabbabbbababbbbbbbbbb ⇒ bababba
20. abbbabbabbbabbabbbbbbbbbb ⇒ bababbba
21. abbbabbbabababbbbb ⇒ babbaba
22. abbbabbbababbabbbbb ⇒ babbabba
23. abbbabbbababbbabbbbb ⇒ babbabbba
24. abbbabbbabbababbbbb ⇒ babbbaba
25. abbbabbbabbabbabbbbb ⇒ babbbabba
26. abbbabbbabbabbbabbbbb ⇒ babbbabbba
27. abbbabbbabbbabab ⇒ bbabbbabbba
28. abbbabbbabbbabbab ⇒ bbbabbbabbba
29. bababbbabbabbbabbbb ⇒ abbbabbbababa
30. babbabbbabbabbbabbbb ⇒ abbbabbbabbaba
31. babbbabbbabbabbbabbbb ⇒ abbbabbbabbbaba
32. bbbabbbabbbabbabab ⇒ aababbbabbba
33. bbbabbbabbbabbabbab ⇒ aabbabbbabbba
34. bbbabbbabbbabbabbbab ⇒ aabbbabbbabbba
35. bbbbabbabbabbbababbbbbbbbbb ⇒ aabababba
36. bbbbabbabbbabababbbbb ⇒ aababbaba
37. bbbbabbabbbababbabbbbb ⇒ aababbabba
38. bbbbabbabbbababbbabbbbb ⇒ aababbabbba
39. bbbbabbabbbabbababbbbb ⇒ aababbbaba
40. bbbbabbabbbabbabbabbbbb ⇒ aababbbabba
41. abbbabbabbbabababbbbbbbbbb ⇒ bababbaba
42. abbbabbabbbababbabbbbbbbbbb ⇒ bababbabba
43. abbbabbabbbabbababbbbbbbbbb ⇒ bababbbaba
44. abbbabbbababababbbbb ⇒ babbababa
45. abbbabbbabababbabbbbb ⇒ babbababba
46. abbbabbbabababbbabbbbb ⇒ babbababbba
47. abbbabbbababbababbbbb ⇒ babbabbaba
48. abbbabbbababbabbabbbbb ⇒ babbabbabba
49. abbbabbbababbabbbabbbbb ⇒ babbabbabbba
50. abbbabbbababbbababbbbb ⇒ babbabbbaba
51. abbbabbbababbbabbabbbbb ⇒ babbabbbabba
52. abbbabbbabbabababbbbb ⇒ babbbababa
53. abbbabbbabbababbabbbbb ⇒ babbbababba
54. abbbabbbabbababbbabbbbb ⇒ babbbababbba
55. abbbabbbabbabbababbbbb ⇒ babbbabbaba
56. abbbabbbabbabbabbabbbbb ⇒ babbbabbabba
57. abbbabbbabbabbabbbabbbbb ⇒ babbbabbabbba
58. abbbabbbabbabbbababbbbb ⇒ babbbabbbaba
59. abbbabbbabbabbbabbabbbbb ⇒ babbbabbbabba
60. babababbbabbabbba ⇒ abbbabbabbbababab
61. bababbabbbabbabbba ⇒ abbbabbabbbabbabab
62. bbbbabbabbbababababbbbb ⇒ aababbababa
63. bbbbabbabbbabababbabbbbb ⇒ aababbababba
64. bbbbabbabbbababbababbbbb ⇒ aababbabbaba
65. bbbbabbabbbabbabababbbbb ⇒ aababbbababa
66. abbabbbabbbabbababab ⇒ bababbbabbabbba
67. abbabbbabbbabbabbabab ⇒ babbabbbabbabbba
68. abbbabbbabababababbbbb ⇒ babbabababa
69. abbbabbbababababbabbbbb ⇒ babbabababba
70. abbbabbbababababbbabbbbb ⇒ babbabababbba
71. abbbabbbabababbababbbbb ⇒ babbababbaba
72. abbbabbbabababbabbabbbbb ⇒ babbababbabba
73. abbbabbbabababbbababbbbb ⇒ babbababbbaba
74. abbbabbbababbabababbbbb ⇒ babbabbababa
75. abbbabbbababbababbabbbbb ⇒ babbabbababba
76. abbbabbbababbabbababbbbb ⇒ babbabbabbaba
77. abbbabbbababbbabababbbbb ⇒ babbabbbababa
78. abbbabbbabbababababbbbb ⇒ babbbabababa
79. abbbabbbabbabababbabbbbb ⇒ babbbabababba
...

Collecting factors up to length 7, frequency 2:

Length 2:[2/0] ba, [2/1] bb
Length 3:[3/0] bab, [3/1] bbb
Length 4:[4/0] bbba, [4/1] bbbb
Length 5:[5/0] abbba, [5/1] bbbbb
Length 6:[6/0] babbab, [6/1] abbbab

Considering [length 4 / frequency 0] bbba=c.

Step 2

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. bbbbbc ⇒ cbbbbb
2. abbbbb ⇒ bbc
3. bbba ⇒ c
4. cbc ⇒ bbbb
5. bcbbc ⇒ ccbbbbbbbbb
6. bbbbccbbbb ⇒ cbbc
7. cab ⇒ bbbbcc
8. bca ⇒ ccbbbb
9. acbbbbb ⇒ bbcc
10. abc ⇒ b
11. abbc ⇒ bccbbbb
12. abbbc ⇒ bbcba
13. abbbbc ⇒ bbcbba
14. bbacbbbb ⇒ ca
15. aab ⇒ bcc
16. baa ⇒ acbbbb
17. cccbbbb ⇒ bc
18. bccc ⇒ ab
19. bbbbccbbcbbbbb ⇒ cbbcbbbc
20. cbbcba ⇒ bbbbccbbc
21. cbbcbba ⇒ bbbbccbbbc
22. cac ⇒ bbbbccbba
23. caa ⇒ bbabbbb
24. accbbbb ⇒ ba
25. acbbc ⇒ bbcca
26. acbbbc ⇒ bbccba
27. acbbbbc ⇒ bbccbba
28. aac ⇒ bccbba
29. ccccb ⇒ b
30. cccbbc ⇒ bcba
31. cccbbbc ⇒ bcbba
32. bccbbbbcc ⇒ abab
33. cbbcca ⇒ bbbbccbbbccbbbb
34. bcbacc ⇒ cccbab
35. bcbbacc ⇒ cccbbab
36. acccbbb ⇒ cccc
37. accbbc ⇒ baba
38. accbbbc ⇒ babba
39. baccc ⇒ acccb
40. bbaccbab ⇒ cbacc
41. bbaccbbab ⇒ cbbacc
42. babacc ⇒ accbab
43. babbacc ⇒ accbbab
44. aaaa ⇒ 1
45. ccccc ⇒ c
46. ccbbbbccbbc ⇒ bcbaba
47. ccbbbbccbbbc ⇒ bcbabba
48. bccbbbbcbbbbcc ⇒ ababab
49. bbcbbbccbbac ⇒ abbabab
50. bbcbbbbccbbac ⇒ acbab
51. cccbabab ⇒ bcbbbccbbac
52. cccbbabab ⇒ bcbbbbccbbac
53. bccbacc ⇒ cccbbabbab
54. bccbbacc ⇒ cccbbacb
55. acccc ⇒ cccca
56. acccbab ⇒ bbacc
57. acccbba ⇒ ccbbaccbbb
58. bbaccbac ⇒ cbaccbba
59. bbaccbbac ⇒ cbbaccbba
60. accbabab ⇒ bbbcbacbbac
61. accbbabab ⇒ bbbcbbacbbac
62. bacbacc ⇒ accbbabbab
63. bacbbacc ⇒ accbbacb
64. bbccbbccbbac ⇒ acbabab
65. bbccbbbccbbac ⇒ acbbabab
66. cccbbaccb ⇒ accc
67. cccbbacbab ⇒ abacc
68. cccbbacbbab ⇒ abbacc
69. acccbac ⇒ bbaccbba
70. accbbaccbb ⇒ ccbbaccbba
71. baccbbacc ⇒ accbbaccb
72. accbbacbbab ⇒ baccbacc
73. cccbbacca ⇒ acbbaccbbb
74. cccbbacbac ⇒ abaccbba
75. cccbbacbbac ⇒ abbaccbba
...

Collecting factors up to length 14, frequency 1:

Length 2:[2/0] cc
Length 3:[3/0] acc
Length 4:[4/0] accc
Length 5:[5/0] bbbbb
Length 6:[6/0] accbba
Length 7:[7/0] baccbba
Length 8:[8/0] bbaccbba
Length 9:[9/0] ccbbaccbb
Length 10:[10/0] bbbbccbbbc
Length 11:[11/0] bcbbbccbbac
Length 12:[12/0] bcbbbbccbbac
Length 13:[13/0] ccbbbbcbbbbcc

Considering [length 4 / frequency 0] accc=d.

Step 3

Rewriting system is complete. See ⟨a, b | aaaa=1, abbbba=b⟩.