Morphocompletion for #4275 ⟨a, b | aaabb=1, aabba=1⟩

Back:⟨a, b | aaabb=1, aabba=1⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. bba ⇒ abb
2. baaa ⇒ aaab
3. aaabb ⇒ 1
4. aaababb ⇒ ba
5. aaabaabb ⇒ baa
6. aaabababb ⇒ baba
7. aaabaababb ⇒ baaba
8. aaababaabb ⇒ babaa
9. aaabaabaabb ⇒ baabaa
10. aaababababb ⇒ bababa
11. aaabaabababb ⇒ baababa
12. aaababaababb ⇒ babaaba
13. aaabababaabb ⇒ bababaa
14. aaabaabaababb ⇒ baabaaba
15. aaabaababaabb ⇒ baababaa
16. aaababaabaabb ⇒ babaabaa
17. aaabababababb ⇒ babababa
18. aaabaabaabaabb ⇒ baabaabaa
19. aaabaababababb ⇒ baabababa
20. aaababaabababb ⇒ babaababa
21. aaabababaababb ⇒ bababaaba
22. aaababababaabb ⇒ babababaa
23. aaabaabaabababb ⇒ baabaababa
24. aaabaababaababb ⇒ baababaaba
25. aaabaabababaabb ⇒ baabababaa
26. aaababaabaababb ⇒ babaabaaba
27. aaababaababaabb ⇒ babaababaa
28. aaabababaabaabb ⇒ bababaabaa
29. aaababababababb ⇒ bababababa
30. aaabaabaabaababb ⇒ baabaabaaba
31. aaabaabaababaabb ⇒ baabaababaa
32. aaabaababaabaabb ⇒ baababaabaa
33. aaabaabababababb ⇒ baababababa
34. aaababaabaabaabb ⇒ babaabaabaa
35. aaababaababababb ⇒ babaabababa
36. aaabababaabababb ⇒ bababaababa
37. aaababababaababb ⇒ babababaaba
38. aaabababababaabb ⇒ bababababaa
39. aaabaabaabaabaabb ⇒ baabaabaabaa
40. aaabaabaababababb ⇒ baabaabababa
41. aaabaababaabababb ⇒ baababaababa
42. aaabaabababaababb ⇒ baabababaaba
43. aaabaababababaabb ⇒ baababababaa
44. aaababaabaabababb ⇒ babaabaababa
45. aaababaababaababb ⇒ babaababaaba
46. aaababaabababaabb ⇒ babaabababaa
47. aaabababaabaababb ⇒ bababaabaaba
48. aaabababaababaabb ⇒ bababaababaa
49. aaababababaabaabb ⇒ babababaabaa
50. aaabababababababb ⇒ babababababa
51. aaabaabaabaabababb ⇒ baabaabaababa
52. aaabaabaababaababb ⇒ baabaababaaba
53. aaabaabaabababaabb ⇒ baabaabababaa
54. aaabaababaabaababb ⇒ baababaabaaba
55. aaabaababaababaabb ⇒ baababaababaa
56. aaabaabababaabaabb ⇒ baabababaabaa
57. aaabaababababababb ⇒ baabababababa
58. aaababaabaabaababb ⇒ babaabaabaaba
59. aaababaabaababaabb ⇒ babaabaababaa
60. aaababaababaabaabb ⇒ babaababaabaa
61. aaababaabababababb ⇒ babaababababa
62. aaabababaabaabaabb ⇒ bababaabaabaa
63. aaabababaababababb ⇒ bababaabababa
64. aaababababaabababb ⇒ babababaababa
65. aaabababababaababb ⇒ bababababaaba
66. aaababababababaabb ⇒ babababababaa
67. aaabaabaabaabaababb ⇒ baabaabaabaaba
68. aaabaabaabaababaabb ⇒ baabaabaababaa
69. aaabaabaababaabaabb ⇒ baabaababaabaa
70. aaabaabaabababababb ⇒ baabaababababa
71. aaabaababaabaabaabb ⇒ baababaabaabaa
72. aaabaababaababababb ⇒ baababaabababa
73. aaabaabababaabababb ⇒ baabababaababa
74. aaabaababababaababb ⇒ baababababaaba
75. aaabaabababababaabb ⇒ baabababababaa
76. aaababaabaabaabaabb ⇒ babaabaabaabaa
77. aaababaabaababababb ⇒ babaabaabababa
78. aaababaababaabababb ⇒ babaababaababa
...

Collecting factors up to length 14 / frequency 2:

[2/0]aa33554lf:298,lp:76,ls:1,rf:146,rp:1,rs:32,lsrp:1,lprs:32
[2/1]bb10156lf:77,lp:1,ls:76,rf:1,rs:1,lprs:10
[3/0]aaa10156lf:77,lp:76,ls:1,rf:1,rp:1,lsrp:10
[3/1]aba641lf:337,rf:262,rs:42,a:4
[4/0]baba364lf:150,rf:150,rp:38,rs:25,re:1,a:6
[4/1]aaba316lf:187,rf:112,rs:17,a:4
[5/0]ababa286lf:150,rf:112,rs:24,a:6
[5/1]baaba277lf:112,rf:112,rp:35,rs:17,re:1,a:8
[6/0]abaaba205lf:112,rf:77,rs:16,a:8
[6/1]bababa162lf:64,rf:64,rp:19,rs:14,re:1,a:11
[7/0]baababa126lf:48,rf:48,rp:19,rs:10,re:1,a:12
[7/1]abababa122lf:64,rf:45,rs:13,a:11
[8/0]baabaaba88lf:33,rf:33,rp:14,rs:7,re:1,a:14
[8/1]abaababa86lf:48,rf:29,rs:9,a:12
[9/0]abaabaaba58lf:33,rf:19,rs:6,a:14
[9/1]baabababa55lf:19,rf:19,rp:10,rs:6,re:1,a:20
[10/0]aaabaababa38lf:19,lp:19,a:12
[10/1]baababaaba35lf:12,rf:12,rp:7,rs:3,re:1,a:24
[11/0]aaabaabaaba28lf:14,lp:14,a:14
[11/1]baabaabaaba25lf:8,rf:8,rp:5,rs:3,re:1,a:28
[12/0]aaabaabababa20lf:10,lp:10,a:20
[12/1]aaababaababa16lf:8,lp:8,a:21
[13/0]aaababaabaaba14lf:7,lp:7,a:27
[13/1]aaabaababaaba14lf:7,lp:7,a:24

Considering [length 3 / frequency 0] aaa=c.

Step 2

Rewriting system is complete. See ⟨a, b | aaabb=1, aabba=1⟩.