Morphocompletion for #4161 ⟨a, b | aabbaaabb=ba⟩

Back:⟨a, b | aabbaaabb=ba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. aabbaba ⇒ baaaabb
2. aabbaaabb ⇒ ba
3. aabbabbaaaabb ⇒ baaaabbabbaba
4. baaaabbabbaaabb ⇒ aabbabba
5. aabbabbaabaaaabb ⇒ baaaabbabbabaaba
6. aabbaaabaabbabba ⇒ baaaaabbabbaaabb
7. baaaabbabbabaaaabb ⇒ aabbabbaaba
8. aabbabbaabaabaaaabb ⇒ baaaabbabbabaabaaba
9. baaaabbabbabaabaaaabb ⇒ aabbabbaabaaba
10. baaaabbabbabaabaabaaaabb ⇒ aabbabbaabaabaaba
...

Collecting factors up to length 7 / frequency 4:

[2/0]aa55lf:49,lp:6,rf:31,rp:4
[2/1]ba40lf:34,lp:4,ls:2,rf:34,rp:6,rs:8,re:1,lsrp:2,lprs:4
[2/2]ab38lf:38,rf:30
[2/3]bb35lf:27,ls:8,rf:18,rs:2
[3/0]abb35lf:27,ls:8,rf:18,rs:2
[3/1]aab32lf:26,lp:6,rf:19,rp:4
[3/2]baa24lf:20,lp:4,rf:15,rp:5
[3/3]aaa23lf:23,rf:12
[4/0]aabb33lf:19,lp:6,ls:8,rf:10,rp:4,rs:2,lsrp:4,lprs:2
[4/1]abba20lf:19,ls:1,rf:16,rs:1
[4/2]baaa17lf:13,lp:4,rf:6,rp:5
[4/3]aaab13lf:13,rf:6
[5/0]aaabb20lf:12,ls:8,rf:6,rs:2
[5/1]aabba17lf:11,lp:6,rf:8,rp:4
[5/2]baaaa14lf:10,lp:4,rf:5,rp:5,a:1
[5/3]abbab12lf:12,rf:11,a:1
[6/0]aaaabb16lf:10,ls:6,rf:5,rs:1,a:1
[6/1]baaaab14lf:10,lp:4,rf:4,rp:4,a:1
[6/2]aabbab13lf:9,lp:4,rf:8,rp:4,a:1
[6/3]bbabba9lf:8,ls:1,rf:8,rs:1,a:2

Considering [length 3 / frequency 1] aab=c.

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aab ⇒ c
2. cbaba ⇒ baacb
3. cbabca ⇒ bcaacb
4. cbabcca ⇒ bccaacb
5. cbabccca ⇒ bcccaacb
6. cbabcccca ⇒ bccccaacb
7. cbabccccca ⇒ bcccccaacb
8. cbabcccccca ⇒ bccccccaacb
9. cbabccccccca ⇒ bcccccccaacb
10. cbabcccccccca ⇒ bccccccccaacb
11. cbacb ⇒ ba
12. caacbab ⇒ aacbabc
13. baacbab ⇒ cbabc
14. cbaccbabc ⇒ baaacbab
15. caaacbabbacb ⇒ aacbaccbabba
16. baaacbabbacb ⇒ cbaccbabba
17. cbaccbabbaacb ⇒ baaacbabbaba
18. cbaccbabbcaacb ⇒ baaacbabbabca
19. cbaccbaccbabba ⇒ baaaacbabbacb
20. baaacbabbabaacb ⇒ cbaccbabbca
...

Collecting factors up to length 6 / frequency 7:

[2/0]cb50lf:30,lp:14,ls:6,rf:22,rp:3,rs:10,lsrp:2,lprs:10,a:2
[2/1]ba39lf:34,lp:3,ls:2,rf:24,rp:6,rs:4,re:1,lsrp:2,lprs:1,a:2
[2/2]cc33lf:33,rf:31,a:6
[2/3]ab23lf:20,ls:3,rf:11,rs:1,a:1
[2/4]ca21lf:11,lp:2,ls:8,rf:10,rs:2,a:5
[2/5]ac16lf:16,rf:19,a:2
[2/6]aa13lf:12,lp:1,rf:20,rp:2,a:1
[3/0]cba38lf:24,lp:14,rf:12,rp:3,a:2
[3/1]bab21lf:19,ls:2,rf:11,rs:1,a:3
[3/2]ccc21lf:21,rf:21,a:9
[3/3]acb17lf:11,ls:6,rf:16,rs:10,a:2
[3/4]cca14lf:7,ls:7,rf:7,a:8
[3/5]abc10lf:9,ls:1,rf:3,rs:2,a:4
[3/6]baa8lf:5,lp:3,rf:5,rp:5,a:3
[4/0]cbab29lf:18,lp:9,ls:2,rf:9,rp:1,rs:1,lsrp:1,a:3
[4/1]cccc15lf:15,rf:15,a:10
[4/2]ccca12lf:6,ls:6,rf:6,a:9
[4/3]aacb11lf:8,ls:3,rf:15,rp:2,rs:9,a:3
[4/4]cbac11lf:6,lp:5,rf:3,rp:2,a:2
[4/5]babc10lf:9,ls:1,rf:3,rs:2,a:4
[4/6]abcc7lf:7,a:8
[5/0]cbabc18lf:9,lp:8,ls:1,rf:2,rp:1,rs:2,re:1,a:4
[5/1]cccca10lf:5,ls:5,rf:5,a:10
[5/2]ccccc10lf:10,rf:10,a:17
[5/3]cbacc9lf:5,lp:4,rf:3,rp:2,a:6
[5/4]acbab7lf:5,ls:2,rf:5,rs:1,a:4
[5/5]babcc7lf:7,a:8
[5/6]cbabb6lf:6,rf:6,a:11

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

Step 3

Rewriting system is complete. See ⟨a, b | aabbaaabb=ba⟩.