Morphocompletion for #2141 ⟨a, b | aaaabba=baa⟩

Back:⟨a, b | aaaabba=baa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aaaabba ⇒ baa
2. aaaabbbaa ⇒ babaa
3. aaaabbbbaa ⇒ babbaa
4. aaaabbbabaa ⇒ bababaa
5. aaaabbbbbaa ⇒ babbbaa
6. aaaabbbabbaa ⇒ bababbaa
7. aaaabbbbabaa ⇒ 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]bb18lf:18,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]baa12lf:6,ls:6,rf:7,rp:1,rs:7,re:1,lsrs:6
[3/2]bbb10lf:10,rf:1,a:1
[3/3]bba9lf:8,ls:1,rf:4
[4/0]aaaa14lf:7,lp:7
[4/1]bbaa8lf:4,ls:4,rf:3,rs:3,lsrs:3,a:1
[4/2]aabb7lf:7
[4/3]aaab7lf:7
[5/0]aaaab14lf:7,lp:7
[5/1]aaabb7lf:7
[5/2]bbbaa6lf:3,ls:3,rf:1,rs:1,lsrs:1,a:1
[5/3]aabbb6lf:6,a:1
[6/0]aaaabb14lf:7,lp:7
[6/1]aaabbb6lf:6,a:1
[6/2]bbbbaa4lf:2,ls:2,a:3
[6/3]bbabaa4lf:2,ls:2,rf:1,rs:1,lsrs:1,a:2

Considering [length 2 / frequency 1] bb=c.

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

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

Collecting factors up to length 6 / frequency 7:

[2/0]aa52lf:32,lp:3,ls:17,rf:58,rp:7,rs:13,lsrp:7,lprs:3,lsrs:12,a:2
[2/1]ca29lf:28,ls:1,rf:32,rp:7,rs:5,lsrp:1,a:2
[2/2]ac20lf:20,rf:21,a:2
[2/3]bc16lf:8,lp:8,rf:1,rp:1,rs:1,re:1,a:3
[2/4]cc16lf:16,rf:24,rp:4,a:6
[2/5]ba14lf:7,lp:7,a:2
[3/0]caa35lf:19,ls:16,rf:21,rp:5,rs:13,re:1,lsrp:4,lsrs:12,a:4
[3/1]aca14lf:13,ls:1,rf:9,rs:5,a:2
[3/2]bac12lf:6,lp:6,a:7
[3/3]aaa12lf:9,lp:3,rf:30,rp:7,a:2
[3/4]cca11lf:11,rf:16,rp:2,a:6
[3/5]bcc8lf:4,lp:4,a:6
[3/6]bca8lf:4,lp:4,a:5
[4/0]ccaa18lf:9,ls:9,rf:12,rp:2,rs:8,lsrp:1,lsrs:5,a:6
[4/1]acaa15lf:9,ls:6,rf:4,rs:4,lsrs:3,a:4
[4/2]bcac6lf:3,lp:3,a:9
[4/3]bacc6lf:3,lp:3,a:10
[4/4]baca6lf:3,lp:3,a:7
[4/5]caca6lf:6,rf:4,rp:1,a:8
[4/6]aaac6lf:6,rf:15,a:2
[5/0]cacaa10lf:5,ls:5,rf:4,rp:1,rs:4,re:1,lsrs:3,a:8
[5/1]cccaa8lf:4,ls:4,rf:5,rp:1,rs:3,lsrp:1,lsrs:1,a:10
[5/2]accaa8lf:4,ls:4,rf:5,rs:5,lsrs:1,a:7
[5/3]aaaac6lf:3,lp:3,rf:15,rp:7,a:2
[5/4]aaaca5lf:4,ls:1,rf:5,rs:5,a:2
[5/5]bcaca4lf:2,lp:2,a:9
[5/6]bacca4lf:2,lp:2,a:10

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

Step 3

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