Morphocompletion for #19248 ⟨a, b | aaa=a, aabaa=ab⟩

Back:⟨a, b | aaa=a, aabaa=ab⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aaa ⇒ a
2. aab ⇒ ab
3. abaa ⇒ ab
4. abab ⇒ abb
5. abbaa ⇒ abb
6. abbab ⇒ abbb
7. abbbaa ⇒ abbb
8. abbbab ⇒ abbbb
9. abbbbaa ⇒ abbbb
10. abbbbab ⇒ abbbbb
11. abbbbbaa ⇒ abbbbb
12. abbbbbab ⇒ abbbbbb
13. abbbbbbaa ⇒ abbbbbb
14. abbbbbbab ⇒ abbbbbbb
15. abbbbbbbaa ⇒ abbbbbbb
16. abbbbbbbab ⇒ abbbbbbbb
17. abbbbbbbbaa ⇒ abbbbbbbb
18. abbbbbbbbab ⇒ abbbbbbbbb
19. abbbbbbbbbaa ⇒ abbbbbbbbb
20. abbbbbbbbbab ⇒ abbbbbbbbbb
21. abbbbbbbbbbaa ⇒ abbbbbbbbbb
22. abbbbbbbbbbab ⇒ abbbbbbbbbbb
23. abbbbbbbbbbbaa ⇒ abbbbbbbbbbb
24. abbbbbbbbbbbab ⇒ abbbbbbbbbbbb
25. abbbbbbbbbbbbaa ⇒ abbbbbbbbbbbb
26. abbbbbbbbbbbbab ⇒ abbbbbbbbbbbbb
27. abbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbb
28. abbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbb
29. abbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbb
30. abbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbb
31. abbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbb
32. abbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbb
33. abbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbb
34. abbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbb
35. abbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbb
36. abbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbb
37. abbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbb
38. abbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbb
39. abbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbb
40. abbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbb
41. abbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbb
42. abbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbb
43. abbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbb
44. abbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbb
45. abbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbb
46. abbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbb
47. abbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbb
48. abbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbb
49. abbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbb
50. abbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbb
51. abbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbb
52. abbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbb
53. abbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbb
54. abbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbb
55. abbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbb
56. abbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbb
57. abbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbb
58. abbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbb
59. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbb
60. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
61. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
62. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
63. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
64. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
65. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
66. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
67. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
68. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
69. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
70. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
71. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
72. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
73. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
74. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
75. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
76. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
77. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
78. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 14 / frequency 2:

[2/0]ab40388lf:115,lp:76,ls:39,rf:77,rp:77,rs:2,re:2,lprp:76,lsrp:39,lprs:1,lsrs:1,a:2
[2/1]bb2925lf:1406,rf:1444,rs:75,a:4
[3/0]bbb2774lf:1332,rf:1369,rs:73,a:8
[3/1]abb1302lf:74,lp:74,rf:75,rp:75,rs:2,re:2,lprp:74,lprs:1,a:4
[4/0]bbbb2627lf:1260,rf:1296,rs:71,a:10
[4/1]abbb1294lf:72,lp:72,rf:73,rp:73,rs:2,re:2,lprp:72,lprs:1,a:8
[5/0]bbbbb2484lf:1190,rf:1225,rs:69,a:12
[5/1]abbbb1286lf:70,lp:70,rf:71,rp:71,rs:2,re:2,lprp:70,lprs:1,a:10
[6/0]bbbbbb2345lf:1122,rf:1156,rs:67,a:14
[6/1]abbbbb1278lf:68,lp:68,rf:69,rp:69,rs:2,re:2,lprp:68,lprs:1,a:12
[7/0]bbbbbbb2210lf:1056,rf:1089,rs:65,a:16
[7/1]abbbbbb1270lf:66,lp:66,rf:67,rp:67,rs:2,re:2,lprp:66,lprs:1,a:14
[8/0]bbbbbbbb2079lf:992,rf:1024,rs:63,a:18
[8/1]abbbbbbb1262lf:64,lp:64,rf:65,rp:65,rs:2,re:2,lprp:64,lprs:1,a:16
[9/0]bbbbbbbbb1952lf:930,rf:961,rs:61,a:20
[9/1]abbbbbbbb1254lf:62,lp:62,rf:63,rp:63,rs:2,re:2,lprp:62,lprs:1,a:18
[10/0]bbbbbbbbbb1829lf:870,rf:900,rs:59,a:22
[10/1]abbbbbbbbb1246lf:60,lp:60,rf:61,rp:61,rs:2,re:2,lprp:60,lprs:1,a:20
[11/0]bbbbbbbbbbb1710lf:812,rf:841,rs:57,a:24
[11/1]abbbbbbbbbb1238lf:58,lp:58,rf:59,rp:59,rs:2,re:2,lprp:58,lprs:1,a:22
[12/0]bbbbbbbbbbbb1595lf:756,rf:784,rs:55,a:26
[12/1]abbbbbbbbbbb1230lf:56,lp:56,rf:57,rp:57,rs:2,re:2,lprp:56,lprs:1,a:24
[13/0]bbbbbbbbbbbbb1484lf:702,rf:729,rs:53,a:28
[13/1]abbbbbbbbbbbb1222lf:54,lp:54,rf:55,rp:55,rs:2,re:2,lprp:54,lprs:1,a:26

Considering [length 2 / frequency 0] ab=c.

Step 2

Rewriting system is complete. See ⟨a, b | aaa=a, aabaa=ab⟩.