Morphocompletion for #5277 ⟨a, b | aabbbba=bbaa⟩

Back:⟨a, b | aabbbba=bbaa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aabbbba ⇒ bbaa
2. aabbbbbbaa ⇒ bbabbaa
3. aabbbbbbbbaa ⇒ bbabbbbaa
4. aabbbbbbabbaa ⇒ bbabbabbaa
5. aabbbbbbbbbbaa ⇒ bbabbbbbbaa
6. aabbbbbbabbbbaa ⇒ bbabbabbbbaa
7. aabbbbbbbbabbaa ⇒ bbabbbbabbaa
...

Collecting factors up to length 7 / frequency 3:

[2/0]bb46lf:46,rf:26,rp:7
[2/1]aa26lf:13,lp:7,ls:6,rf:7,rs:7,lprs:7,lsrs:6
[2/2]ba11lf:10,ls:1,rf:16
[3/0]bbb36lf:36,rf:10
[3/1]aab14lf:7,lp:7
[3/2]baa12lf:6,ls:6,rf:7,rs:7,lsrs:6
[4/0]bbbb28lf:28,rf:6
[4/1]aabb14lf:7,lp:7
[4/2]bbaa12lf:6,ls:6,rf:7,rp:1,rs:7,re:1,lsrs:6
[5/0]bbbbb20lf:20,rf:2,a:1
[5/1]aabbb14lf:7,lp:7
[5/2]bbbba9lf:8,ls:1,rf:4
[6/0]bbbbbb14lf:14,rf:1,a:1
[6/1]aabbbb14lf:7,lp:7
[6/2]bbbbaa8lf:4,ls:4,rf:3,rs:3,lsrs:3,a:1

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

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: pendingRulesLimit

#Rule
1. aacaca ⇒ caa
2. cb ⇒ bc
3. bbaa ⇒ aaca
4. aacaccaa ⇒ cacaa
5. bbcaa ⇒ caaca
6. bbacaa ⇒ aaccaa
7. aacacccaa ⇒ caccaa
8. aacaccacaa ⇒ cacacaa
9. bbccaa ⇒ ccaaca
10. bbaccaa ⇒ aacccaa
11. bbcacaa ⇒ caaccaa
12. bbacacaa ⇒ aaccacaa
13. bbbb ⇒ c
14. bbcccaa ⇒ cccaaca
15. bbacccaa ⇒ aaccccaa
16. bbcaccaa ⇒ caacccaa
17. bbccacaa ⇒ ccaaccaa
18. bbccccaa ⇒ ccccaaca
...

Collecting factors up to length 6 / frequency 5:

[2/0]aa38lf:19,lp:4,ls:15,rf:23,rp:5,rs:11,lsrp:5,lprs:4,lsrs:10,a:2
[2/1]bb29lf:15,lp:13,ls:1,a:1
[2/2]ca25lf:24,ls:1,rf:28,rp:7,rs:5,lsrp:1,a:2
[2/3]ac17lf:17,rf:17,a:2
[2/4]cc15lf:15,rf:19,rp:4,a:6
[3/0]caa28lf:14,ls:14,rf:18,rp:4,rs:11,re:1,lsrp:3,lsrs:10,a:4
[3/1]bbc14lf:7,lp:7,a:5
[3/2]aca12lf:11,ls:1,rf:9,rs:5,a:2
[3/3]bba10lf:5,lp:5,a:2
[3/4]cca10lf:10,rf:12,rp:2,a:6
[4/0]ccaa16lf:8,ls:8,rf:11,rp:2,rs:7,lsrp:1,lsrs:4,a:6
[4/1]acaa10lf:5,ls:5,rf:3,rs:3,lsrs:2,a:6
[4/2]bbcc8lf:4,lp:4,a:8
[4/3]bbac8lf:4,lp:4,a:6
[4/4]aaca8lf:4,lp:4,rf:5,rp:1,rs:5,re:1,a:2
[5/0]cccaa8lf:4,ls:4,rf:5,rp:1,rs:3,lsrp:1,lsrs:1,a:10
[5/1]cacaa8lf:4,ls:4,rf:3,rp:1,rs:3,re:1,lsrs:2,a:7
[5/2]aacac8lf:4,lp:4,a:4
[5/3]accaa6lf:3,ls:3,rf:4,rs:4,a:6
[5/4]bbccc4lf:2,lp:2,a:12

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

Step 3

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. caa ⇒ d
2. aacad ⇒ da
3. aadacad ⇒ daa
4. cda ⇒ dcad
5. cada ⇒ dacad
6. aacaca ⇒ d
7. dcaca ⇒ cd
8. dacaca ⇒ cad
9. aacacd ⇒ cad
10. aadacacd ⇒ dd
11. ddacacd ⇒ cdd
12. ccad ⇒ dcacd
13. cb ⇒ bc
14. bbaa ⇒ aaca
15. bbd ⇒ dca
16. bbad ⇒ aacd
17. bbcd ⇒ cdca
18. bbacd ⇒ aaccd
19. bbcad ⇒ dcd
20. bbbb ⇒ c
...

Collecting factors up to length 6 / frequency 5:

[2/0]ca20lf:15,lp:2,ls:3,rf:8,rp:2,rs:3,lsrp:1,a:2
[2/1]bb17lf:9,lp:7,ls:1,a:1
[2/2]ac14lf:14,rf:5,a:3
[2/3]aa14lf:7,lp:5,ls:2,rf:4,rp:3,rs:1,lsrp:1,lprs:1,a:2
[2/4]ad13lf:8,ls:5,rf:4,rs:4,a:9
[3/0]aca13lf:10,ls:3,rf:2,rs:1,a:3
[3/1]cad10lf:5,lp:1,ls:4,rf:4,rp:2,rs:4,re:2,lprs:1,a:9
[3/2]acd8lf:4,ls:4,rf:2,rs:2,a:10
[3/3]bba6lf:3,lp:3,a:3
[3/4]cac6lf:6,rf:1,a:5
[4/0]cacd6lf:3,ls:3,rf:1,rs:1,a:14
[4/1]caca6lf:3,ls:3,a:5
[4/2]aaca6lf:3,lp:3,rf:1,rp:1,rs:1,re:1,a:3
[4/3]acac5lf:5,a:5
[4/4]daca5lf:4,lp:1,rf:1,rp:1,a:9
[5/0]acacd6lf:3,ls:3,a:14
[5/1]acaca4lf:2,ls:2,a:5
[5/2]dacac4lf:3,lp:1,a:9
[5/3]aacac4lf:2,lp:2,a:5
[5/4]aadac4lf:2,lp:2,a:22

Considering [length 3 / frequency 0] aca=e.

Step 4

Rewriting system is complete. See ⟨a, b | aabbbba=bbaa⟩.