Morphocompletion for #4475 ⟨a, b | aaaabbba=baa⟩

Back:⟨a, b | aaaabbba=baa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aaaabbba ⇒ baa
2. aaaabbbbaa ⇒ babaa
3. aaaabbbbbaa ⇒ babbaa
4. aaaabbbbabaa ⇒ bababaa
5. aaaabbbbbbaa ⇒ babbbaa
6. aaaabbbbabbaa ⇒ bababbaa
7. aaaabbbbbabaa ⇒ babbabaa
...

Collecting factors up to length 7 / frequency 4:

[2/0]aa40lf:27,lp:7,ls:6,rf:7,rs:7,lprs:7,lsrs:6
[2/1]bb25lf:25,rf:5
[2/2]ba11lf:10,ls:1,rf:16,rp:7,lsrp:1
[2/3]ab10lf:10,rf:9
[3/0]aaa21lf:14,lp:7
[3/1]bbb17lf:17,rf:1
[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]aaaa14lf:7,lp:7
[4/1]bbbb10lf:10,a:1
[4/2]bbba8lf:7,ls:1,rf:1
[4/3]bbaa8lf:4,ls:4,rf:3,rs:3,lsrs:3,a:1
[5/0]aaaab14lf:7,lp:7
[5/1]aabbb7lf:7
[5/2]aaabb7lf:7
[5/3]bbbba6lf:6,a:1
[6/0]aaaabb14lf:7,lp:7
[6/1]aaabbb7lf:7
[6/2]bbbbaa6lf:3,ls:3,a:1
[6/3]aabbbb6lf:6,a:1

Considering [length 3 / frequency 1] bbb=c.

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. baa ⇒ aaaaca
2. bcaa ⇒ caaaaca
3. bacaa ⇒ aaaaccaa
4. cb ⇒ bc
5. aaaacaaacaaaca ⇒ caa
6. bccaa ⇒ ccaaaaca
7. baccaa ⇒ aaaacccaa
8. bcacaa ⇒ caaaaccaa
9. bacacaa ⇒ aaaaccacaa
10. bbb ⇒ c
11. bcccaa ⇒ cccaaaaca
12. bacccaa ⇒ aaaaccccaa
13. bcaccaa ⇒ caaaacccaa
14. bacaccaa ⇒ aaaaccaccaa
15. bccacaa ⇒ ccaaaaccaa
16. baccacaa ⇒ aaaacccacaa
17. bcacacaa ⇒ caaaaccacaa
18. bccccaa ⇒ ccccaaaaca
19. baccccaa ⇒ aaaacccccaa
20. bcacccaa ⇒ caaaaccccaa
...

Collecting factors up to length 6 / frequency 7:

[2/0]aa42lf:24,lp:1,ls:17,rf:64,rp:8,rs:13,lsrp:8,lprs:1,lsrs:12,a:2
[2/1]ca29lf:28,ls:1,rf:31,rp:6,rs:5,lsrp:1,a:2
[2/2]ac19lf:19,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]bb4lf:2,lp:1,ls:1,a:1
[3/0]caa34lf:18,ls:16,rf:22,rp:6,rs:13,re:1,lsrp:5,lsrs:12,a:4
[3/1]bac14lf:7,lp:7,a:9
[3/2]aca13lf:12,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:11
[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]acaa14lf:8,ls:6,rf:3,rs:3,lsrs:3,a:4
[4/2]bcac8lf:4,lp:4,a:11
[4/3]bacc8lf:4,lp:4,a:14
[4/4]baca6lf:3,lp:3,a:9
[4/5]caca6lf:6,rf:3,a:11
[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:11
[5/2]accaa6lf:3,ls:3,rf:4,rs:4,lsrs:1,a:9
[5/3]bcacc4lf:2,lp:2,a:17
[5/4]baccc4lf:2,lp:2,a:18
[5/5]bcaca4lf:2,lp:2,a:11
[5/6]bacca4lf:2,lp:2,a:14

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

Step 3

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