Morphocompletion for #14585 ⟨a, b | aaba=a, bbaaa=a⟩

Back:⟨a, b | aaba=a, bbaaa=a⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aaba ⇒ a
2. abaa ⇒ a
3. abba ⇒ aba
4. bbaa ⇒ aba
5. ababa ⇒ bba
6. bbaba ⇒ abbba
7. aabbba ⇒ bba
8. abbbba ⇒ abbba
9. ababbba ⇒ bbbba
10. bbabbba ⇒ abbbbba
11. aabbbbba ⇒ bbbba
12. abbbbbba ⇒ abbbbba
13. ababbbbba ⇒ bbbbbba
14. bbabbbbba ⇒ abbbbbbba
15. aabbbbbbba ⇒ bbbbbba
16. abbbbbbbba ⇒ abbbbbbba
17. ababbbbbbba ⇒ bbbbbbbba
18. bbabbbbbbba ⇒ abbbbbbbbba
19. aabbbbbbbbba ⇒ bbbbbbbba
20. abbbbbbbbbba ⇒ abbbbbbbbba
21. ababbbbbbbbba ⇒ bbbbbbbbbba
22. bbabbbbbbbbba ⇒ abbbbbbbbbbba
23. aabbbbbbbbbbba ⇒ bbbbbbbbbba
24. abbbbbbbbbbbba ⇒ abbbbbbbbbbba
25. ababbbbbbbbbbba ⇒ bbbbbbbbbbbba
26. bbabbbbbbbbbbba ⇒ abbbbbbbbbbbbba
27. aabbbbbbbbbbbbba ⇒ bbbbbbbbbbbba
28. abbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbba
29. ababbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbba
30. bbabbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbba
31. aabbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbba
32. abbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbba
33. ababbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbba
34. bbabbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbba
35. aabbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbba
36. abbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbba
37. ababbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbba
38. bbabbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbba
39. aabbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbba
40. abbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbba
41. ababbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbba
42. bbabbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbba
43. aabbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbba
44. abbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbba
45. ababbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbba
46. bbabbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbba
47. aabbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbba
48. abbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbba
49. ababbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbba
50. bbabbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbba
51. aabbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbba
52. abbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbba
53. ababbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbba
54. bbabbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbba
55. aabbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbba
56. abbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbba
57. ababbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbba
58. bbabbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbba
59. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbba
60. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbba
61. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
62. bbabbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
63. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
64. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
65. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
66. bbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
67. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
68. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
69. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
70. bbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
71. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
72. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
73. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
74. bbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
75. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
76. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
77. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
78. bbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
79. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
...

Collecting factors up to length 14 / frequency 2:

[2/0]bb2947lf:1445,lp:20,rf:1444,rp:38,a:2
[2/1]ba348lf:117,ls:77,rf:77,rs:77,lsrs:76
[3/0]bba20342lf:94,lp:20,ls:74,rf:75,rp:2,rs:75,re:2,lsrp:1,lprs:19,lsrs:73,a:2
[3/1]bbb2756lf:1351,rf:1369,rp:36,a:6
[4/0]bbbb2610lf:1278,rf:1296,rp:36,a:8
[4/1]bbba292lf:73,ls:73,rf:73,rs:73,lsrs:72,a:6
[5/0]bbbbb2467lf:1208,rf:1225,rp:34,a:10
[5/1]bbbba1286lf:70,ls:70,rf:71,rp:2,rs:71,re:2,lsrp:1,lsrs:69,a:8
[6/0]bbbbbb2329lf:1139,rf:1156,rp:34,a:12
[6/1]bbbbba276lf:69,ls:69,rf:69,rs:69,lsrs:68,a:10
[7/0]bbbbbbb2194lf:1073,rf:1089,rp:32,a:14
[7/1]bbbbbba1270lf:66,ls:66,rf:67,rp:2,rs:67,re:2,lsrp:1,lsrs:65,a:12
[8/0]bbbbbbbb2064lf:1008,rf:1024,rp:32,a:16
[8/1]bbbbbbba260lf:65,ls:65,rf:65,rs:65,lsrs:64,a:14
[9/0]bbbbbbbbb1937lf:946,rf:961,rp:30,a:18
[9/1]bbbbbbbba1254lf:62,ls:62,rf:63,rp:2,rs:63,re:2,lsrp:1,lsrs:61,a:16
[10/0]bbbbbbbbbb1815lf:885,rf:900,rp:30,a:20
[10/1]bbbbbbbbba244lf:61,ls:61,rf:61,rs:61,lsrs:60,a:18
[11/0]bbbbbbbbbbb1696lf:827,rf:841,rp:28,a:22
[11/1]bbbbbbbbbba1238lf:58,ls:58,rf:59,rp:2,rs:59,re:2,lsrp:1,lsrs:57,a:20
[12/0]bbbbbbbbbbbb1582lf:770,rf:784,rp:28,a:24
[12/1]bbbbbbbbbbba228lf:57,ls:57,rf:57,rs:57,lsrs:56,a:22
[13/0]bbbbbbbbbbbbb1471lf:716,rf:729,rp:26,a:26
[13/1]bbbbbbbbbbbba1222lf:54,ls:54,rf:55,rp:2,rs:55,re:2,lsrp:1,lsrs:53,a:24

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

Step 2

Rewriting system is complete. See ⟨a, b | aaba=a, bbaaa=a⟩.