Morphocompletion for #1099 ⟨a, b | aabbba=baa⟩

Back:⟨a, b | aabbba=baa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aabbba ⇒ baa
2. aabbbbaa ⇒ babaa
3. aabbbbbaa ⇒ babbaa
4. aabbbbabaa ⇒ bababaa
5. aabbbbbbaa ⇒ babbbaa
6. aabbbbabbaa ⇒ bababbaa
7. aabbbbbabaa ⇒ babbabaa
...

Collecting factors up to length 7 / frequency 3:

[2/0]aa26lf:13,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
[3/0]bbb17lf:17,rf:1
[3/1]aab14lf:7,lp:7
[3/2]baa12lf:6,ls:6,rf:7,rp:1,rs:7,re:1,lsrs:6
[4/0]aabb14lf:7,lp:7
[4/1]bbbb10lf:10,a:1
[4/2]bbba8lf:7,ls:1,rf:1
[5/0]aabbb14lf:7,lp:7
[5/1]bbbba6lf:6,a:1
[5/2]abbbb6lf:6,a:1
[6/0]aabbbb12lf:6,lp:6,a:1
[6/1]bbbbaa6lf:3,ls:3,a:1
[6/2]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: pendingRulesLimit

#Rule
1. aacacaca ⇒ caa
2. aacacaccaa ⇒ cacaa
3. aacacacccaa ⇒ caccaa
4. aacacaccacaa ⇒ cacacaa
5. aacacaccccaa ⇒ cacccaa
6. baa ⇒ aaca
7. bc ⇒ cb
8. bacaa ⇒ aaccaa
9. baccaa ⇒ aacccaa
10. bacacaa ⇒ aaccacaa
11. bacccaa ⇒ aaccccaa
12. bacaccaa ⇒ aaccaccaa
13. baccacaa ⇒ aacccacaa
14. baccccaa ⇒ aacccccaa
15. bbb ⇒ c
...

Collecting factors up to length 6 / frequency 5:

[2/0]aa34lf:17,lp:5,ls:12,rf:20,rp:8,rs:12,lsrp:8,lprs:5,lsrs:11,a:2
[2/1]ca27lf:26,ls:1,rf:21,rp:5,rs:1,lsrp:1,a:2
[2/2]ac26lf:26,rf:16,a:2
[2/3]ba16lf:8,lp:8,a:2
[2/4]cc15lf:15,rf:18,a:5
[3/0]caa22lf:11,ls:11,rf:12,rp:1,rs:12,re:1,lsrs:11,a:4
[3/1]aca18lf:17,ls:1,rf:6,rs:1,a:2
[3/2]bac14lf:7,lp:7,a:5
[3/3]cac14lf:14,rf:8,rp:4,a:4
[3/4]aac10lf:5,lp:5,rf:8,rp:8,a:2
[4/0]ccaa14lf:7,ls:7,rf:7,rs:7,lsrs:6,a:5
[4/1]acac12lf:12,rf:1,a:4
[4/2]caca10lf:9,ls:1,rf:5,rp:2,a:4
[4/3]aaca10lf:5,lp:5,rf:1,rp:1,rs:1,re:1,a:2
[4/4]bacc8lf:4,lp:4,a:7
[5/0]aacac10lf:5,lp:5,a:4
[5/1]cccaa8lf:4,ls:4,rf:4,rs:4,lsrs:3,a:7
[5/2]acaca8lf:7,ls:1,rf:1,a:4
[5/3]cacaa6lf:3,ls:3,rf:4,rp:1,rs:4,re:1,lsrs:3,a:6
[5/4]accaa6lf:3,ls:3,rf:3,rs:3,lsrs:1,a:5

Considering [length 4 / frequency 0] ccaa=d.

Step 3

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ccaa ⇒ d
2. aacacad ⇒ cacaa
3. dcacaca ⇒ cd
4. aacacaca ⇒ caa
5. aacacacd ⇒ cad
6. ccacaa ⇒ dacacaca
7. cccad ⇒ dcacacd
8. ccacad ⇒ dacacacd
9. aacacaccd ⇒ cacd
10. bd ⇒ dca
11. baa ⇒ aaca
12. bad ⇒ aacd
13. bc ⇒ cb
14. bacd ⇒ aaccd
15. bacaa ⇒ aad
16. bacad ⇒ aaccad
17. baccd ⇒ aacccd
18. bacacd ⇒ aaccacd
19. bacccd ⇒ aaccccd
20. bbb ⇒ c
...

Collecting factors up to length 6 / frequency 5:

[2/0]ca23lf:21,ls:2,rf:16,rp:4,rs:3,lsrp:1,a:2
[2/1]ac22lf:22,rf:18,a:3
[2/2]ba16lf:8,lp:8,a:3
[2/3]aa16lf:8,lp:4,ls:4,rf:10,rp:8,rs:2,lsrp:2,lprs:2,a:2
[2/4]cc13lf:9,lp:4,rf:8,a:2
[3/0]aca18lf:16,ls:2,rf:8,rs:2,a:3
[3/1]bac12lf:6,lp:6,a:9
[3/2]cac12lf:12,rf:9,rp:2,a:6
[3/3]cad8lf:4,ls:4,rf:2,rp:1,rs:2,re:1,lsrs:1,a:11
[3/4]aac8lf:4,lp:4,rf:7,rp:7,a:3
[4/0]caca11lf:9,ls:2,rf:5,rp:1,rs:1,a:6
[4/1]acac9lf:9,rf:5,a:6
[4/2]aaca8lf:4,lp:4,rf:1,rp:1,rs:1,re:1,a:3
[4/3]baca6lf:3,lp:3,a:9
[4/4]acad6lf:3,ls:3,a:11
[5/0]acaca8lf:6,ls:2,rf:3,rs:1,a:6
[5/1]aacac8lf:4,lp:4,a:7
[5/2]ccaca4lf:2,lp:2,a:8
[5/3]cacac4lf:4,rf:3,a:6
[5/4]cacad4lf:2,ls:2,a:11

Considering [length 5 / frequency 0] acaca=e.

Step 4

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