Morphocompletion for #17663 ⟨a, b | aaaa=1, abbba=bb⟩

Back:⟨a, b | aaaa=1, abbba=bb⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. bbbbba ⇒ abbbbb
2. abbba ⇒ bb
3. bbaa ⇒ ababbb
4. bbbaba ⇒ aabb
5. aaabb ⇒ bbba
6. abababbb ⇒ bba
7. aaaa ⇒ 1
8. aaababbbbb ⇒ bbbabbbba
9. ababaabbbbb ⇒ bbabba
10. abababbabbbbb ⇒ bbabbbba
11. bababababb ⇒ bb
12. babababbabb ⇒ aaababb
13. bbabaaa ⇒ abababbabbb
14. bbabababa ⇒ ababababb
15. bbabbababa ⇒ abababbabb
16. aaabaabb ⇒ bbbabbaba
17. aaababbabbbbb ⇒ bbbabbbbabba
18. aaababbbbabbbbb ⇒ bbbabbbbabbbba
19. ababaababbbbb ⇒ bbabbaba
20. ababaabbabbbbb ⇒ bbabbabba
21. ababaabbbbabbbbb ⇒ bbabbabbbba
22. abababaabb ⇒ bbababa
23. abababbababbb ⇒ bbabaa
24. abababbabbabbbbb ⇒ bbabbbbabba
25. baababababb ⇒ ababababbab
26. babababbababb ⇒ aaabababb
27. bbababbababab ⇒ bbababaaa
28. aaabaababbbbb ⇒ bbbabbababbbba
29. aaababbababbbbb ⇒ bbbabbbbabbaba
30. ababaabaabbbbb ⇒ bbabbabaa
31. ababaababbabbbbb ⇒ bbabbababba
32. ababaabbababbbbb ⇒ bbabbabbaba
33. ababaabbabbabbbbb ⇒ bbabbabbabba
34. abababbabaabbbbb ⇒ bbabaabba
35. abababbababbabbbbb ⇒ bbabaabbbba
36. baaababababb ⇒ abababaababbbb
37. bababaababbbbabb ⇒ aaabaababb
38. babababaababb ⇒ ababb
39. babababbabaabb ⇒ aaababaabb
40. babababbabababb ⇒ aaababababb
41. bbabaabaaa ⇒ abababbababbabbb
42. bbabaabababa ⇒ abababbabababb
43. bbabaabbababa ⇒ abababbababbabb
44. bbabababbababa ⇒ abababaababb
45. bbabbabaababa ⇒ ababaababbabb
46. aaabaaababb ⇒ bababaabbbbabb
47. aaabaabaabb ⇒ bbbabbababbaba
48. ababaabaababbbbb ⇒ bbabbabaaba
49. ababaabaabbabbbbb ⇒ bbabbabaabba
50. ababaabbabaabbbbb ⇒ bbabbabbabaa
51. abababaaababb ⇒ bbababbababa
52. abababaabaabb ⇒ bbabababbaba
53. abababaababbabb ⇒ baabbababa
54. abababbabaababbbbb ⇒ bbabaabbaba
55. abababbababaabb ⇒ bbabaababa
56. abababbababbababbb ⇒ bbabaabaa
57. baabababaababbb ⇒ ababababbabaa
58. bababaababaabbbb ⇒ aaabaabababb
59. bababaabababbabb ⇒ aaababbababa
60. babababaabababb ⇒ abababb
61. babababbabaababb ⇒ aaababaababb
62. bbabaababbababab ⇒ bbabaababaaa
63. bbababaabbababab ⇒ bbababaabaaa
64. aaabaaabababb ⇒ bababaabaabbbb
65. ababaabaabaabbbbb ⇒ bbabbabaabaa
66. babababaaabababb ⇒ aabababb
67. babababaabaababbb ⇒ abaababbb
68. babababaababaabb ⇒ ababaabb
69. aaabaaababaabb ⇒ bababaabaabbabb
70. abababaaababaabb ⇒ bbababaaababa
71. abababaabaaababb ⇒ baaababbababa
72. abababaabaabaabb ⇒ baaabababbaba
...

Collecting factors up to length 7, frequency 2:

Length 2:[2/0] bb, [2/1] ba
Length 3:[3/0] aba, [3/1] bbb
Length 4:[4/0] baba, [4/1] bbbb
Length 5:[5/0] ababa, [5/1] bbbbb
Length 6:[6/0] bababa, [6/1] ababab

Considering [length 6 / frequency 0] bababa=c.

Step 2

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. bbbbbc ⇒ cbbbbb
2. cbbbc ⇒ bb
3. bbcc ⇒ cbcbbb
4. bbbcbc ⇒ ccbb
5. cccbb ⇒ bbbc
6. cbcbcbbb ⇒ bbc
7. bbcbcbcb ⇒ bccc
8. cbcbccbbbbb ⇒ bbcbbc
9. bcccc ⇒ cbcbcbcbb
10. bcbcbcbc ⇒ cbcbcbcb
11. bcbcbcbbc ⇒ cccbc
12. ccccbc ⇒ bc
13. cccbccbb ⇒ bbbcbbcbc
14. cbcbcbccbb ⇒ bbcbcbc
15. bccbcbcbcb ⇒ bc
16. cccbccc ⇒ bcbcbccbbb
17. bcccbcbcbcb ⇒ bcc
18. abb ⇒ bbc
19. acbb ⇒ cbcbcbcbb
20. abc ⇒ cbcbcbbc
21. accbb ⇒ bbcbcbc
22. acbc ⇒ ccbcbcbcb
23. accbc ⇒ cbcbcbccbc
24. accbcbb ⇒ bcccbcbcbc
25. accbcbbb ⇒ bcc
26. acccbc ⇒ cbcbcbcccbc
27. accbccbb ⇒ bcccbcbc
28. baccbc ⇒ cbc
29. bacccbc ⇒ ccbc
30. bba ⇒ bccc
31. cba ⇒ bac
32. bca ⇒ bccbcbcb
33. bcca ⇒ bcccbcbcb
34. bccca ⇒ bbcbcb
35. bababa ⇒ c
36. caaa ⇒ babab
37. aaaa ⇒ 1
...

Collecting factors up to length 14, frequency 1:

Length 2:[2/0] bb
Length 3:[3/0] cbc
Length 4:[4/0] ccbc
Length 5:[5/0] bbbbb
Length 6:[6/0] cbcbcb
Length 7:[7/0] cbcbcbc
Length 8:[8/0] cbcbcbcb
Length 9:[9/0] cbcbcbcbb
Length 10:[10/0] bcccbcbcbc
Length 11:[11/0] cbcbcbcccbc

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

Step 3

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