Morphocompletion for #14339 ⟨a, b | aaaa=a, aabab=a⟩

Back:⟨a, b | aaaa=a, aabab=a⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

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

Collecting factors up to length 14 / frequency 2:

[2/0]ab39390lf:117,lp:78,ls:39,rf:77,rp:77,rs:1,re:1,lprp:77,lsrp:38,lprs:1,a:2
[2/1]bb2964lf:1482,rf:1444,rs:38,a:5
[3/0]bbb2812lf:1406,rf:1369,rs:37,a:7
[3/1]abb1304lf:76,lp:76,rf:75,rp:75,rs:1,re:1,lprp:75,lprs:1,a:5
[4/0]bbbb2664lf:1332,rf:1296,rs:36,a:9
[4/1]abbb1296lf:74,lp:74,rf:73,rp:73,rs:1,re:1,lprp:73,lprs:1,a:7
[5/0]bbbbb2520lf:1260,rf:1225,rs:35,a:11
[5/1]abbbb1288lf:72,lp:72,rf:71,rp:71,rs:1,re:1,lprp:71,lprs:1,a:9
[6/0]bbbbbb2380lf:1190,rf:1156,rs:34,a:13
[6/1]abbbbb1280lf:70,lp:70,rf:69,rp:69,rs:1,re:1,lprp:69,lprs:1,a:11
[7/0]bbbbbbb2244lf:1122,rf:1089,rs:33,a:15
[7/1]abbbbbb1272lf:68,lp:68,rf:67,rp:67,rs:1,re:1,lprp:67,lprs:1,a:13
[8/0]bbbbbbbb2112lf:1056,rf:1024,rs:32,a:17
[8/1]abbbbbbb1264lf:66,lp:66,rf:65,rp:65,rs:1,re:1,lprp:65,lprs:1,a:15
[9/0]bbbbbbbbb1984lf:992,rf:961,rs:31,a:19
[9/1]abbbbbbbb1256lf:64,lp:64,rf:63,rp:63,rs:1,re:1,lprp:63,lprs:1,a:17
[10/0]bbbbbbbbbb1860lf:930,rf:900,rs:30,a:21
[10/1]abbbbbbbbb1248lf:62,lp:62,rf:61,rp:61,rs:1,re:1,lprp:61,lprs:1,a:19
[11/0]bbbbbbbbbbb1740lf:870,rf:841,rs:29,a:23
[11/1]abbbbbbbbbb1240lf:60,lp:60,rf:59,rp:59,rs:1,re:1,lprp:59,lprs:1,a:21
[12/0]bbbbbbbbbbbb1624lf:812,rf:784,rs:28,a:25
[12/1]abbbbbbbbbbb1232lf:58,lp:58,rf:57,rp:57,rs:1,re:1,lprp:57,lprs:1,a:23
[13/0]bbbbbbbbbbbbb1512lf:756,rf:729,rs:27,a:27
[13/1]abbbbbbbbbbbb1224lf:56,lp:56,rf:55,rp:55,rs:1,re:1,lprp:55,lprs:1,a:25

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

Step 2

Rewriting system is complete. See ⟨a, b | aaaa=a, aabab=a⟩.