Morphocompletion for #4585 ⟨a, b | aaabbbba=baa⟩

Back:⟨a, b | aaabbbba=baa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aaabbbba ⇒ baa
2. aaabbbbbaa ⇒ babaa
3. aaabbbbbbaa ⇒ babbaa
4. aaabbbbbabaa ⇒ bababaa
5. aaabbbbbbbaa ⇒ babbbaa
6. aaabbbbbabbaa ⇒ bababbaa
7. aaabbbbbbabaa ⇒ babbabaa
...

Collecting factors up to length 7 / frequency 4:

[2/0]aa33lf:20,lp:7,ls:6,rf:7,rs:7,lprs:7,lsrs:6
[2/1]bb32lf:32,rf:5
[2/2]ba11lf:10,ls:1,rf:16,rp:7,lsrp:1
[2/3]ab10lf:10,rf:9
[3/0]bbb24lf:24,rf:1
[3/1]aaa14lf:7,lp:7
[3/2]baa12lf:6,ls:6,rf:7,rp:1,rs:7,re:1,lsrs:6
[3/3]bba9lf:8,ls:1,rf:4
[4/0]bbbb17lf:17
[4/1]aaab14lf:7,lp:7
[4/2]bbba8lf:7,ls:1,rf:1
[4/3]bbaa8lf:4,ls:4,rf:3,rs:3,lsrs:3,a:1
[5/0]aaabb14lf:7,lp:7
[5/1]bbbbb10lf:10,a:1
[5/2]bbbba8lf:7,ls:1
[5/3]abbbb7lf:7
[6/0]aaabbb14lf:7,lp:7
[6/1]aabbbb7lf:7
[6/2]bbbbba6lf:6,a:1
[6/3]abbbbb6lf:6,a:1

Considering [length 4 / frequency 0] bbbb=c.

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. baa ⇒ aaaca
2. bcaa ⇒ caaaca
3. bacaa ⇒ aaaccaa
4. cb ⇒ bc
5. bccaa ⇒ ccaaaca
6. baccaa ⇒ aaacccaa
7. bcacaa ⇒ caaaccaa
8. bacacaa ⇒ aaaccacaa
9. aaacaacaacaaca ⇒ caa
10. bcccaa ⇒ cccaaaca
11. bacccaa ⇒ aaaccccaa
12. bcaccaa ⇒ caaacccaa
13. bacaccaa ⇒ aaaccaccaa
14. bccacaa ⇒ ccaaaccaa
15. baccacaa ⇒ aaacccacaa
16. bcacacaa ⇒ caaaccacaa
17. bbbb ⇒ c
18. bccccaa ⇒ ccccaaaca
19. baccccaa ⇒ aaacccccaa
20. bcacccaa ⇒ caaaccccaa
...

Collecting factors up to length 6 / frequency 7:

[2/0]aa40lf:22,lp:1,ls:17,rf:47,rp:8,rs:13,lsrp:8,lprs:1,lsrs:12,a:2
[2/1]ca30lf:29,ls:1,rf:31,rp:6,rs:5,lsrp:1,a:2
[2/2]ac20lf:20,rf:21,a:2
[2/3]bc18lf:9,lp:9,rf:1,rp:1,rs:1,re:1,a:3
[2/4]cc18lf:18,rf:30,rp:4,a:6
[2/5]ba16lf:8,lp:8,a:2
[2/6]bb5lf:3,lp:1,ls:1,a:1
[3/0]caa35lf:19,ls:16,rf:22,rp:6,rs:13,re:1,lsrp:5,lsrs:12,a:4
[3/1]bac14lf:7,lp:7,a:10
[3/2]aca14lf:13,ls:1,rf:8,rs:5,a:2
[3/3]cca11lf:11,rf:17,rp:2,a:6
[3/4]bca10lf:5,lp:5,a:5
[3/5]cac9lf:9,rf:4,a:12
[3/6]bcc8lf:4,lp:4,a:6
[4/0]ccaa18lf:9,ls:9,rf:13,rp:2,rs:9,lsrp:1,lsrs:6,a:6
[4/1]acaa15lf:9,ls:6,rf:3,rs:3,lsrs:3,a:4
[4/2]bcac8lf:4,lp:4,a:12
[4/3]bacc8lf:4,lp:4,a:16
[4/4]baca6lf:3,lp:3,a:10
[4/5]caca6lf:6,rf:3,a:12
[4/6]ccca5lf:5,rf:8,rp:1,a:7
[5/0]cccaa10lf:5,ls:5,rf:7,rp:1,rs:5,lsrp:1,lsrs:3,a:7
[5/1]cacaa10lf:5,ls:5,rf:3,rs:3,lsrs:3,a:12
[5/2]accaa6lf:3,ls:3,rf:4,rs:4,lsrs:1,a:10
[5/3]bcacc4lf:2,lp:2,a:19
[5/4]baccc4lf:2,lp:2,a:20
[5/5]bcaca4lf:2,lp:2,a:12
[5/6]bacca4lf:2,lp:2,a:16

Considering [length 3 / frequency 0] caa=d.

Step 3

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