Morphocompletion for #25187 ⟨a, b | aa=a, ababa=abb⟩

Back:⟨a, b | aa=a, ababa=abb⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aa ⇒ a
2. abba ⇒ abb
3. ababa ⇒ abb
4. ababb ⇒ abbba
5. abbbba ⇒ abbbb
6. abbbaba ⇒ abbbb
7. abbbabb ⇒ abbbbba
8. abbbbbba ⇒ abbbbbb
9. abbbbbaba ⇒ abbbbbb
10. abbbbbabb ⇒ abbbbbbba
11. abbbbbbbba ⇒ abbbbbbbb
12. abbbbbbbaba ⇒ abbbbbbbb
13. abbbbbbbabb ⇒ abbbbbbbbba
14. abbbbbbbbbba ⇒ abbbbbbbbbb
15. abbbbbbbbbaba ⇒ abbbbbbbbbb
16. abbbbbbbbbabb ⇒ abbbbbbbbbbba
17. abbbbbbbbbbbba ⇒ abbbbbbbbbbbb
18. abbbbbbbbbbbaba ⇒ abbbbbbbbbbbb
19. abbbbbbbbbbbabb ⇒ abbbbbbbbbbbbba
20. abbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbb
21. abbbbbbbbbbbbbaba ⇒ abbbbbbbbbbbbbb
22. abbbbbbbbbbbbbabb ⇒ abbbbbbbbbbbbbbba
23. abbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbb
24. abbbbbbbbbbbbbbbaba ⇒ abbbbbbbbbbbbbbbb
25. abbbbbbbbbbbbbbbabb ⇒ abbbbbbbbbbbbbbbbba
26. abbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbb
27. abbbbbbbbbbbbbbbbbaba ⇒ abbbbbbbbbbbbbbbbbb
28. abbbbbbbbbbbbbbbbbabb ⇒ abbbbbbbbbbbbbbbbbbba
29. abbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbb
30. abbbbbbbbbbbbbbbbbbbaba ⇒ abbbbbbbbbbbbbbbbbbbb
31. abbbbbbbbbbbbbbbbbbbabb ⇒ abbbbbbbbbbbbbbbbbbbbba
32. abbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbb
33. abbbbbbbbbbbbbbbbbbbbbaba ⇒ abbbbbbbbbbbbbbbbbbbbbb
34. abbbbbbbbbbbbbbbbbbbbbabb ⇒ abbbbbbbbbbbbbbbbbbbbbbba
35. abbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbb
36. abbbbbbbbbbbbbbbbbbbbbbbaba ⇒ abbbbbbbbbbbbbbbbbbbbbbbb
37. abbbbbbbbbbbbbbbbbbbbbbbabb ⇒ abbbbbbbbbbbbbbbbbbbbbbbbba
38. abbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbb
39. abbbbbbbbbbbbbbbbbbbbbbbbbaba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbb
40. abbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbba
41. abbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbb
42. abbbbbbbbbbbbbbbbbbbbbbbbbbbaba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbb
43. abbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbba
44. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
45. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbaba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
46. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
47. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
48. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
49. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
50. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
51. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
52. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
53. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
54. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
55. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
56. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
57. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
58. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
59. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
60. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
61. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
62. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
63. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
64. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
65. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
66. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
67. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
68. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
69. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
70. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
71. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
72. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
73. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
74. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
75. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
76. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
77. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
78. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
79. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabb ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
80. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 14 / frequency 2:

[2/0]bb4241lf:2055,ls:26,rf:2107,rs:53,a:1
[2/1]ab368lf:131,lp:79,rf:79,rp:79,lprp:79,a:1
[3/0]abb27368lf:103,lp:77,ls:26,rf:79,rp:79,rs:2,re:2,lprp:77,lsrp:26,lprs:1,a:1
[3/1]bbb4031lf:1952,rf:2028,rs:51,a:3
[4/0]bbbb3878lf:1876,rf:1951,rs:51,a:4
[4/1]abbb306lf:76,lp:76,rf:77,rp:77,lprp:76,a:3
[5/0]bbbbb3726lf:1802,rf:1875,rs:49,a:6
[5/1]abbbb1304lf:74,lp:74,rf:76,rp:76,rs:2,re:2,lprp:74,lprs:1,a:4
[6/0]bbbbbb3579lf:1729,rf:1801,rs:49,a:7
[6/1]abbbbb294lf:73,lp:73,rf:74,rp:74,lprp:73,a:6
[7/0]bbbbbbb3433lf:1658,rf:1728,rs:47,a:9
[7/1]abbbbbb1292lf:71,lp:71,rf:73,rp:73,rs:2,re:2,lprp:71,lprs:1,a:7
[8/0]bbbbbbbb3292lf:1588,rf:1657,rs:47,a:10
[8/1]abbbbbbb282lf:70,lp:70,rf:71,rp:71,lprp:70,a:9
[9/0]bbbbbbbbb3152lf:1520,rf:1587,rs:45,a:12
[9/1]abbbbbbbb1280lf:68,lp:68,rf:70,rp:70,rs:2,re:2,lprp:68,lprs:1,a:10
[10/0]bbbbbbbbbb3017lf:1453,rf:1519,rs:45,a:13
[10/1]abbbbbbbbb270lf:67,lp:67,rf:68,rp:68,lprp:67,a:12
[11/0]bbbbbbbbbbb2883lf:1388,rf:1452,rs:43,a:15
[11/1]abbbbbbbbbb1268lf:65,lp:65,rf:67,rp:67,rs:2,re:2,lprp:65,lprs:1,a:13
[12/0]bbbbbbbbbbbb2754lf:1324,rf:1387,rs:43,a:16
[12/1]abbbbbbbbbbb258lf:64,lp:64,rf:65,rp:65,lprp:64,a:15
[13/0]bbbbbbbbbbbbb2626lf:1262,rf:1323,rs:41,a:18
[13/1]abbbbbbbbbbbb1256lf:62,lp:62,rf:64,rp:64,rs:2,re:2,lprp:62,lprs:1,a:16

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

Step 2

Rewriting system is complete. See ⟨a, b | aa=a, ababa=abb⟩.