Morphocompletion for #3755 ⟨a, b | ababaaaaab=a⟩

Back:⟨a, b | ababaaaaab=a⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aaaaaabba ⇒ aabaaaaab
2. ababaaaa ⇒ aaaaaabb
3. aabaaaaabb ⇒ a
4. aaaaaabaaaabba ⇒ aabaaaaabaaaab
5. aabaaaaababba ⇒ ababaabaaaaab
6. aabaaaaabaabba ⇒ ababaaabaaaaab
7. aabaaaaabaaabba ⇒ aaaaaabbbaaaaab
8. aabaaaaabaaaabba ⇒ aaaaaab
9. aaaaaabbbabaaaa ⇒ aabaaaaabaaaabb
10. aaaaaabbbaaaaabb ⇒ ababaaa
...

Collecting factors up to length 7 / frequency 3:

[2/0]aa75lf:64,lp:9,ls:2,rf:53,rp:6,rs:1,lprp:5,lsrp:2,lprs:1,a:2
[2/1]ba27lf:21,ls:6,rf:14,a:2
[2/2]ab24lf:23,lp:1,rf:22,rp:3,rs:6,a:2
[3/0]aaa49lf:43,lp:4,ls:2,rf:36,rp:3,rs:1,lsrp:1,lprs:1,a:2
[3/1]aab24lf:19,lp:5,rf:16,rp:3,rs:6,lprs:4,a:2
[3/2]bba14lf:8,ls:6,rf:1,a:7
[4/0]aaaa34lf:28,lp:4,ls:2,rf:23,rp:3,lsrp:1,a:2
[4/1]aaba15lf:10,lp:5,rf:7,rp:3,a:2
[4/2]aaab13lf:13,rf:12,rs:6,a:2
[5/0]aaaaa18lf:14,lp:4,rf:12,rp:3,a:2
[5/1]aabaa14lf:9,lp:5,rf:7,rp:3,a:2
[5/2]baaaa12lf:10,ls:2,rf:8,a:2
[6/0]aabaaa13lf:8,lp:5,rf:7,rp:3,a:2
[6/1]abaaaa11lf:9,ls:2,rf:7,a:2
[6/2]aaaaab10lf:10,rf:9,rs:5,a:2

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

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ccaaaac ⇒ a
2. acaaaac ⇒ ccaaaaa
3. ccaaaccaaaaa ⇒ aaaaac
4. ccaaaaaaaaac ⇒ acaaaccaaaaa
5. ccaaaaacaaaccaaaaa ⇒ acaaaaaaaaac
6. ab ⇒ c
7. aaaaacb ⇒ ccaaaa
8. aaaaaccb ⇒ ccaaaccccaaaa
9. aaaaacccb ⇒ ccaaaccccaaaccccaaaa
10. aaaaacacb ⇒ ccaaaccaccaaaa
11. aaaaaccacb ⇒ ccaaaccccaaaccaccaaaa
12. aaaaacaccb ⇒ ccaaaccaccaaaccccaaaa
13. aaaaacaacb ⇒ ccaaaccaaccaaaa
14. aaaaaccaacb ⇒ ccaaaccccaaaccaaccaaaa
15. aaaaacacacb ⇒ ccaaaccaccaaaccaccaaaa
16. aaaaacaaccb ⇒ ccaaaccaaccaaaccccaaaa
17. aaaaacaaacb ⇒ ccaaaccaaaccaaaa
18. aaaaaccaaacb ⇒ ccaaaccccaaaccaaaccaaaa
19. aaaaacacaacb ⇒ ccaaaccaccaaaccaaccaaaa
20. aaaaacaacacb ⇒ ccaaaccaaccaaaccaccaaaa
...

Collecting factors up to length 6 / frequency 5:

[2/0]aa111lf:95,lp:14,ls:2,rf:117,rp:1,rs:16,lsrp:1,lprs:14,a:2
[2/1]ac39lf:35,lp:1,ls:3,rf:41,rp:2,rs:2,lsrp:1,a:2
[2/2]cb28lf:14,ls:14,a:7
[2/3]ca22lf:22,rf:54,a:2
[2/4]cc18lf:14,lp:4,rf:68,rp:15,a:2
[3/0]aaa82lf:66,lp:14,ls:2,rf:69,rp:1,rs:16,lsrp:1,lprs:14,a:2
[3/1]aac30lf:27,ls:3,rf:32,rs:2,a:2
[3/2]acb20lf:10,ls:10,a:7
[3/3]caa15lf:15,rf:47,a:2
[3/4]aca14lf:13,lp:1,rf:2,rp:2,a:3
[4/0]aaaa58lf:42,lp:14,ls:2,rf:26,rp:1,rs:16,lsrp:1,lprs:14,a:2
[4/1]aaac25lf:22,ls:3,rf:27,rs:2,a:2
[4/2]aacb12lf:6,ls:6,a:7
[4/3]ccaa12lf:8,lp:4,rf:45,rp:15,a:2
[4/4]aaca10lf:10,a:6
[5/0]aaaaa38lf:22,lp:14,ls:2,rf:8,rp:1,rs:2,lsrp:1,a:3
[5/1]aaaac21lf:18,ls:3,rf:2,rs:2,a:2
[5/2]ccaaa11lf:7,lp:4,rf:40,rp:15,a:2
[5/3]aaaca9lf:9,a:6
[5/4]aaacc7lf:7,rf:25,a:4

Considering [length 5 / frequency 0] aaaaa=d.

Step 3

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. da ⇒ ad
2. ccaaaccd ⇒ dc
3. ccaaaac ⇒ a
4. ccaaaccad ⇒ dca
5. ccaaaadc ⇒ acaaaccd
6. dcaaaac ⇒ aaaaccd
7. aaaaa ⇒ d
8. acaaaac ⇒ ccd
9. ccaaaccaad ⇒ dcaa
10. ccaaaccaaad ⇒ dcaaa
11. db ⇒ aaaac
12. dcb ⇒ ccaaaa
13. dccb ⇒ ccaaaccccaaaa
14. ab ⇒ c
...

Collecting factors up to length 6 / frequency 5:

[2/0]aa29lf:27,lp:1,ls:1,rf:19,rp:2,rs:4,a:2
[2/1]cc17lf:11,lp:6,rf:8,rp:3,a:6
[2/2]ac12lf:8,lp:1,ls:3,rf:5,rp:1,rs:1,a:4
[2/3]ca11lf:11,rf:7,rs:1,a:6
[2/4]dc8lf:4,lp:3,ls:1,rf:4,rp:4,rs:1,re:1,a:8
[3/0]aaa18lf:16,lp:1,ls:1,rf:11,rp:2,rs:3,a:2
[3/1]cca15lf:9,lp:6,rf:3,rp:2,a:6
[3/2]aac10lf:7,ls:3,rf:4,rs:1,a:4
[3/3]caa10lf:10,rf:6,rs:1,a:6
[3/4]aad5lf:3,ls:2,a:10
[4/0]ccaa14lf:8,lp:6,rf:3,rp:2,a:6
[4/1]aaac10lf:7,ls:3,rf:4,rs:1,a:4
[4/2]caaa9lf:9,rf:5,rs:1,a:6
[4/3]aaaa8lf:6,lp:1,ls:1,rf:4,rp:2,rs:2,a:2
[4/4]aacc4lf:4,rf:3,a:8
[5/0]ccaaa13lf:7,lp:6,rf:3,rp:2,a:6
[5/1]aaaac6lf:3,ls:3,rf:2,rp:2,rs:1,re:1,lsrp:1,a:4
[5/2]caaaa4lf:4,rf:2,rs:2,a:6
[5/3]aaacc4lf:4,rf:3,a:8
[5/4]caaac4lf:4,rf:2,a:9

Considering [length 5 / frequency 4] caaac=e.

Step 4

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