Morphocompletion for #4727 ⟨a, b | aabbbaba=baa⟩

Back:⟨a, b | aabbbaba=baa⟩

Solved by morph:6/1,4/3. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aabbbaba ⇒ baa
2. aabbbabbaa ⇒ babaa
3. aabbbabbbaa ⇒ babbaa
4. aabbbabbabaa ⇒ bababaa
5. aabbbabbbbaa ⇒ babbbaa
6. aabbbabbabbaa ⇒ bababbaa
7. aabbbabbbabaa ⇒ babbabaa
...

Collecting factors up to length 7 / frequency 4:

[2/0]aa26lf:13,lp:7,ls:6,rf:7,rs:7,lprs:7,lsrs:6
[2/1]bb25lf:25,rf:5
[2/2]ba18lf:17,ls:1,rf:16,rp:7,lsrp:1
[2/3]ab17lf:17,rf:9
[3/0]bba14lf:14,rf:4
[3/1]abb14lf:14,rf:4
[3/2]aab14lf:7,lp:7
[3/3]baa12lf:6,ls:6,rf:7,rp:1,rs:7,re:1,lsrs:6
[4/0]aabb14lf:7,lp:7
[4/1]bbba10lf:10,rf:1
[4/2]bbab10lf:10,rf:1
[4/3]abbb10lf:10,rf:1
[5/0]aabbb14lf:7,lp:7
[5/1]abbba9lf:9,rf:1
[5/2]bbbab8lf:8
[5/3]bbabb7lf:7,a:1
[6/0]aabbba14lf:7,lp:7
[6/1]abbbab8lf:8
[6/2]bbbabb6lf:6,a:1
[6/3]bbabba4lf:4,a:1

Considering [length 6 / frequency 1] abbbab=c.

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aacccaca ⇒ caa
2. aacccacc ⇒ cac
3. baa ⇒ aca
4. bac ⇒ acc
5. bcaa ⇒ acacccaca
6. bcac ⇒ acacccacc
7. bccaa ⇒ acacccacacccaca
8. bccac ⇒ acacccacacccacc
9. bcccaa ⇒ acacccacacccacacccaca
10. bcccac ⇒ acacccacacccacacccacc
11. bccccaa ⇒ acacccacacccacacccacacccaca
12. bccccac ⇒ acacccacacccacacccacacccacc
13. bcccccaa ⇒ acacccacacccacacccacacccacacccaca
14. bcccccac ⇒ acacccacacccacacccacacccacacccacc
15. bccccccaa ⇒ acacccacacccacacccacacccacacccacacccaca
16. bccccccac ⇒ acacccacacccacacccacacccacacccacacccacc
17. bcccccccaa ⇒ acacccacacccacacccacacccacacccacacccacacccaca
18. bcccccccac ⇒ acacccacacccacacccacacccacacccacacccacacccacc
19. abbbc ⇒ cbbab
20. abbbab ⇒ c
...

Collecting factors up to length 6 / frequency 7:

[2/0]cc48lf:47,ls:1,rf:120,rs:8,a:4
[2/1]bc30lf:15,lp:14,ls:1,a:3
[2/2]ac20lf:12,ls:8,rf:129,rp:16,rs:1,lsrp:17,a:2
[2/3]aa20lf:10,lp:2,ls:8,rf:1,rs:1,lprs:1,a:2
[2/4]ca18lf:17,ls:1,rf:122,rp:2,rs:8,lsrp:1,a:2
[2/5]ab6lf:3,lp:2,ls:1,rf:1,rs:1,lprs:1,a:1
[2/6]ba5lf:3,lp:2,rf:1,a:1
[3/0]ccc32lf:32,rf:56,a:4
[3/1]bcc24lf:12,lp:12,a:9
[3/2]cac16lf:9,ls:7,rf:113,rp:1,rs:1,re:1,a:4
[3/3]cca14lf:14,rf:56,a:4
[3/4]caa14lf:7,ls:7,rf:1,rp:1,rs:1,re:1,a:4
[3/5]abb4lf:2,lp:2,a:1
[3/6]bca4lf:2,lp:2,a:7
[4/0]bccc20lf:10,lp:10,a:11
[4/1]cccc20lf:20,a:13
[4/2]ccac14lf:8,ls:6,rf:56,a:4
[4/3]ccca12lf:12,rf:56,a:4
[4/4]ccaa12lf:6,ls:6,a:9
[4/5]abbb4lf:2,lp:2,a:1
[4/6]bcca4lf:2,lp:2,a:9
[5/0]bcccc16lf:8,lp:8,a:13
[5/1]ccccc12lf:12,a:15
[5/2]cccac12lf:7,ls:5,rf:56,a:4
[5/3]cccaa10lf:5,ls:5,a:11
[5/4]cccca8lf:8,a:13
[5/5]bccca4lf:2,lp:2,a:11
[5/6]aaccc4lf:2,lp:2,a:4

Considering [length 4 / frequency 3] ccca=d.

Step 3

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