Morphocompletion for #2203 ⟨a, b | aaabbba=baa⟩

Back:⟨a, b | aaabbba=baa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aaabbba ⇒ baa
2. aaabbbbaa ⇒ babaa
3. aaabbbbbaa ⇒ babbaa
4. aaabbbbabaa ⇒ bababaa
5. aaabbbbbbaa ⇒ babbbaa
6. aaabbbbabbaa ⇒ bababbaa
7. aaabbbbbabaa ⇒ 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]bb25lf:25,rf:5
[2/2]ba11lf:10,ls:1,rf:16,rp:7,lsrp:1
[2/3]ab10lf:10,rf:9
[3/0]bbb17lf:17,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]aaab14lf: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]aaabb14lf:7,lp:7
[5/1]aabbb7lf:7
[5/2]bbbba6lf:6,a:1
[5/3]abbbb6lf:6,a:1
[6/0]aaabbb14lf:7,lp:7
[6/1]bbbbaa6lf:3,ls:3,a:1
[6/2]aabbbb6lf:6,a:1
[6/3]bbabaa4lf:2,ls:2,rf:1,rs:1,lsrs:1,a:2

Considering [length 3 / frequency 0] bbb=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. aaacaacaaca ⇒ caa
6. bccaa ⇒ ccaaaca
7. baccaa ⇒ aaacccaa
8. bcacaa ⇒ caaaccaa
9. bacacaa ⇒ aaaccacaa
10. bbb ⇒ c
11. aaacaacaaccaa ⇒ cacaa
12. bcccaa ⇒ cccaaaca
13. bacccaa ⇒ aaaccccaa
14. bcaccaa ⇒ caaacccaa
15. bacaccaa ⇒ aaaccaccaa
16. bccacaa ⇒ ccaaaccaa
17. baccacaa ⇒ aaacccacaa
18. bcacacaa ⇒ caaaccacaa
19. bccccaa ⇒ ccccaaaca
20. baccccaa ⇒ aaacccccaa
...

Collecting factors up to length 6 / frequency 7:

[2/0]aa44lf:25,lp:2,ls:17,rf:45,rp:8,rs:13,lsrp:8,lprs:2,lsrs:12,a:2
[2/1]ca30lf:29,ls:1,rf:31,rp:6,rs:5,lsrp:1,a:2
[2/2]ac21lf:21,rf:21,a:2
[2/3]cc17lf:17,rf:27,rp:4,a:6
[2/4]bc16lf:8,lp:8,rf:1,rp:1,rs:1,re:1,a:3
[2/5]ba16lf:8,lp:8,a:2
[2/6]bb4lf:2,lp:1,ls:1,a:1
[3/0]caa36lf:20,ls:16,rf:21,rp:5,rs:13,re:1,lsrp:4,lsrs:12,a:4
[3/1]aca15lf:14,ls:1,rf:9,rs:5,a:2
[3/2]bac14lf:7,lp:7,a:8
[3/3]cca11lf:11,rf:16,rp:2,a:6
[3/4]bcc8lf:4,lp:4,a:6
[3/5]bca8lf:4,lp:4,a:5
[3/6]cac8lf:8,rf:5,rp:1,a:9
[4/0]ccaa18lf:9,ls:9,rf:12,rp:2,rs:8,lsrp:1,lsrs:5,a:6
[4/1]acaa16lf:10,ls:6,rf:4,rs:4,lsrs:3,a:4
[4/2]bacc8lf:4,lp:4,a:12
[4/3]bcac6lf:3,lp:3,a:10
[4/4]baca6lf:3,lp:3,a:8
[4/5]caca6lf:6,rf:4,rp:1,a:9
[4/6]aaca6lf:5,ls:1,rf:5,rs:5,a:2
[5/0]cacaa10lf:5,ls:5,rf:4,rp:1,rs:4,re:1,lsrs:3,a:9
[5/1]cccaa8lf:4,ls:4,rf:6,rp:1,rs:4,lsrp:1,lsrs:2,a:7
[5/2]accaa8lf:4,ls:4,rf:4,rs:4,lsrs:1,a:8
[5/3]baccc4lf:2,lp:2,a:16
[5/4]bcaca4lf:2,lp:2,a:10
[5/5]bacca4lf:2,lp:2,a:12
[5/6]bacac4lf:2,lp:2,a:13

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

Step 3

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