Morphocompletion for #4250 ⟨a, b | abaaabbab=ba⟩

Back:⟨a, b | abaaabbab=ba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. abaaabbab ⇒ ba
2. abaaabbba ⇒ baaaabbab
3. baaaabbabbaaabbab ⇒ abaaabbbba
4. abaaabbaabaaabbbba ⇒ baaaaabbabbaaabbab
5. baaaabbabbaaabbba ⇒ abaaabbbbaaaabbab
6. baaaaabbabbaaabbabbaaabbab ⇒ abaaabbaabaaabbbbba
7. abaaabbaabaaabbaabaaabbbbba ⇒ baaaaaabbabbaaabbabbaaabbab
8. baaaabbabbaaabbaabaaabbbba ⇒ abaaabbbbaaaaabbabbaaabbab
9. baaaaabbabbaaabbabbaaabbba ⇒ abaaabbaabaaabbbbbaaaabbab
10. baaaaaabbabbaaabbabbaaabbabbaaabbab ⇒ abaaabbaabaaabbaabaaabbbbbba
11. abaaabbaabaaabbaabaaabbaabaaabbbbbba ⇒ baaaaaaabbabbaaabbabbaaabbabbaaabbab
12. baaaabbabbaaabbaabaaabbaabaaabbbbba ⇒ abaaabbbbaaaaaabbabbaaabbabbaaabbab
13. baaaaabbabbaaabbabbaaabbaabaaabbbba ⇒ abaaabbaabaaabbbbbaaaaabbabbaaabbab
14. baaaaaabbabbaaabbabbaaabbabbaaabbba ⇒ abaaabbaabaaabbaabaaabbbbbbaaaabbab
15. baaaaaaabbabbaaabbabbaaabbabbaaabbabbaaabbab ⇒ abaaabbaabaaabbaabaaabbaabaaabbbbbbba
...

Collecting factors up to length 8 / frequency 7:

[2/0]aa120lf:120,rf:110
[2/1]ba110lf:90,lp:10,ls:10,rf:75,rp:5,rs:5,re:1,lsrp:4,lprs:4
[2/2]ab95lf:85,lp:5,ls:5,rf:80,rp:10,rs:10,lsrp:4,lprs:4
[2/3]bb85lf:85,rf:80
[3/0]bba75lf:65,ls:10,rf:50,rs:4
[3/1]abb65lf:65,rf:50
[3/2]baa65lf:55,lp:10,rf:50,rp:4
[3/3]aaa65lf:65,rf:60
[3/4]aab55lf:55,rf:50
[3/5]bab30lf:25,ls:5,rf:20,rs:10
[3/6]bbb20lf:20,rf:30,a:1
[4/0]abba55lf:55,rf:40
[4/1]baaa55lf:45,lp:10,rf:40,rp:4
[4/2]aabb45lf:45,rf:40
[4/3]aaab45lf:45,rf:40
[4/4]bbab30lf:25,ls:5,rf:20,rs:10
[4/5]bbaa30lf:30,rf:26,a:2
[4/6]bbba20lf:10,ls:10,rf:10,rs:4,a:1
[5/0]aaabb45lf:45,rf:40
[5/1]aabba35lf:35,rf:30
[5/2]baaab35lf:35,rf:30
[5/3]abbab30lf:25,ls:5,rf:20,rs:10
[5/4]abbaa30lf:30,rf:20,a:2
[5/5]bbabb20lf:20,rf:10,a:2
[5/6]babba20lf:20,rf:10,a:2
[6/0]baaabb35lf:35,rf:30
[6/1]aaabba35lf:35,rf:30
[6/2]aabbab30lf:25,ls:5,rf:20,rs:10
[6/3]bbabba20lf:20,rf:10,a:2
[6/4]abbabb20lf:20,rf:10,a:2
[6/5]babbaa20lf:20,rf:10,a:2
[6/6]bbaaab20lf:20,rf:10,a:2
[7/0]aaabbab30lf:25,ls:5,rf:20,rs:10
[7/1]baaabba25lf:25,rf:20
[7/2]bbabbaa20lf:20,rf:10,a:2
[7/3]abbabba20lf:20,rf:10,a:2
[7/4]bbaaabb20lf:20,rf:10,a:2
[7/5]aabbabb20lf:20,rf:10,a:2
[7/6]babbaaa20lf:20,rf:10,a:2

Considering [length 3 / frequency 0] bba=c.

Step 2

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