Morphocompletion for #4411 ⟨a, b | aaaaabba=baa⟩

Back:⟨a, b | aaaaabba=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. aaaaabba ⇒ baa
2. aaaaabbbaa ⇒ babaa
3. aaaaabbbbaa ⇒ babbaa
4. aaaaabbbabaa ⇒ bababaa
5. aaaaabbbbbaa ⇒ babbbaa
6. aaaaabbbabbaa ⇒ bababbaa
7. aaaaabbbbabaa ⇒ babbabaa
...

Collecting factors up to length 7 / frequency 4:

[2/0]aa47lf:34,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]aaa28lf:21,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]aaaa21lf:14,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]aaaaa14lf:7,lp:7
[5/1]aaabb7lf:7
[5/2]aaaab7lf:7
[5/3]bbbaa6lf:3,ls:3,rf:1,rs:1,lsrs:1,a:1
[6/0]aaaaab14lf:7,lp:7
[6/1]aaaabb7lf:7
[6/2]aaabbb6lf:6,a:1
[6/3]bbbbaa4lf:2,ls:2,a:3

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 ⇒ aaaaaca
2. aaaaacaaaaca ⇒ caa
3. bcaa ⇒ caaaaaca
4. bacaa ⇒ aaaaaccaa
5. cb ⇒ bc
6. bb ⇒ c
7. aaaaacaaaaccaa ⇒ cacaa
8. bccaa ⇒ ccaaaaaca
9. baccaa ⇒ aaaaacccaa
10. bcacaa ⇒ caaaaaccaa
11. bacacaa ⇒ aaaaaccacaa
12. bcccaa ⇒ cccaaaaaca
13. bacccaa ⇒ aaaaaccccaa
14. bcaccaa ⇒ caaaaacccaa
15. bacaccaa ⇒ aaaaaccaccaa
16. bccacaa ⇒ ccaaaaaccaa
17. baccacaa ⇒ aaaaacccacaa
18. bcacacaa ⇒ caaaaaccacaa
19. bccccaa ⇒ ccccaaaaaca
20. baccccaa ⇒ aaaaacccccaa
...

Collecting factors up to length 6 / frequency 7:

[2/0]aa50lf:31,lp:2,ls:17,rf:77,rp:8,rs:13,lsrp:8,lprs:2,lsrs:12,a:2
[2/1]ca28lf:27,ls:1,rf:31,rp:6,rs:5,lsrp:1,a:2
[2/2]ac19lf:19,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
[3/0]caa34lf:18,ls:16,rf:21,rp:5,rs:13,re:1,lsrp:4,lsrs:12,a:4
[3/1]bac14lf:7,lp:7,a:8
[3/2]aca13lf:12,ls:1,rf:9,rs:5,a:2
[3/3]aaa12lf:10,lp:2,rf:48,rp:8,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]acaa14lf:8,ls:6,rf:4,rs:4,lsrs:3,a:4
[4/2]bacc8lf:4,lp:4,a:12
[4/3]aaaa8lf:6,lp:2,rf:32,rp:8,a:2
[4/4]bcac6lf:3,lp:3,a:10
[4/5]baca6lf:3,lp:3,a:8
[4/6]caca6lf:6,rf:4,rp:1,a:9
[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 | aaaaabba=baa⟩.