Morphocompletion for #4773 ⟨a, b | abaaabab=bba⟩

Back:⟨a, b | abaaabab=bba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. abaaabab ⇒ bba
2. abaaabbba ⇒ bbaaaabab
3. bbaaaababbaaabab ⇒ abaaabbbbba
4. abaaabaabaaabbbbba ⇒ bbabaaaababbaaabab
5. bbaaaababbaaabbba ⇒ abaaabbbbbaaaabab
6. bbabaaaababbaaababbaaabab ⇒ abaaabaabaaabbbbbbba
7. abaaabaabaaabaabaaabbbbbbba ⇒ bbababaaaababbaaababbaaabab
8. bbaaaababbaaabaabaaabbbbba ⇒ abaaabbbbbabaaaababbaaabab
9. bbabaaaababbaaababbaaabbba ⇒ abaaabaabaaabbbbbbbaaaabab
10. bbababaaaababbaaababbaaababbaaabab ⇒ abaaabaabaaabaabaaabbbbbbbbba
11. abaaabaabaaabaabaaabaabaaabbbbbbbbba ⇒ bbabababaaaababbaaababbaaababbaaabab
12. bbaaaababbaaabaabaaabaabaaabbbbbbba ⇒ abaaabbbbbababaaaababbaaababbaaabab
13. bbabaaaababbaaababbaaabaabaaabbbbba ⇒ abaaabaabaaabbbbbbbabaaaababbaaabab
14. bbababaaaababbaaababbaaababbaaabbba ⇒ abaaabaabaaabaabaaabbbbbbbbbaaaabab
15. bbabababaaaababbaaababbaaababbaaababbaaabab ⇒ abaaabaabaaabaabaaabaabaaabbbbbbbbbbba
...

Collecting factors up to length 8 / frequency 7:

[2/0]ba110lf:100,ls:10,rf:85,rs:5
[2/1]aa110lf:110,rf:100
[2/2]ab105lf:95,lp:5,ls:5,rf:90,rp:10,rs:10,lsrp:4,lprs:4
[2/3]bb80lf:70,lp:10,rf:75,rp:5
[3/0]aba65lf:60,lp:5,rf:60,rp:10
[3/1]bba60lf:40,lp:10,ls:10,rf:25,rp:5,rs:5,re:1,lsrp:4,lprs:4
[3/2]baa55lf:55,rf:50
[3/3]aab55lf:55,rf:50
[3/4]aaa55lf:55,rf:50
[3/5]bab40lf:35,ls:5,rf:30,rs:10
[3/6]bbb30lf:30,rf:50,a:1
[4/0]baaa45lf:45,rf:40
[4/1]aaba45lf:45,rf:40
[4/2]aaab45lf:45,rf:40
[4/3]abaa36lf:31,lp:5,rf:36,rp:10
[4/4]abab34lf:29,ls:5,rf:24,rs:10
[4/5]bbaa28lf:24,lp:4,rf:14,rp:1,a:1
[4/6]bbbb20lf:20,rf:40,a:2
[5/0]baaab35lf:35,rf:30
[5/1]aaaba35lf:35,rf:30
[5/2]aabab30lf:25,ls:5,rf:20,rs:10
[5/3]bbaaa28lf:24,lp:4,rf:14,rp:1,a:1
[5/4]abaaa26lf:21,lp:5,rf:26,rp:10
[5/5]babba20lf:20,rf:10,a:2
[5/6]ababb20lf:20,rf:10,a:2
[6/0]aaabab30lf:25,ls:5,rf:20,rs:10
[6/1]baaaba25lf:25,rf:20
[6/2]babbaa20lf:20,rf:10,a:2
[6/3]ababba20lf:20,rf:10,a:2
[6/4]bbaaab20lf:20,rf:10,a:2
[6/5]aababb20lf:20,rf:10,a:2
[6/6]abbaaa20lf:20,rf:10,a:2
[7/0]babbaaa20lf:20,rf:10,a:2
[7/1]ababbaa20lf:20,rf:10,a:2
[7/2]aababba20lf:20,rf:10,a:2
[7/3]abbaaab20lf:20,rf:10,a:2
[7/4]baaabab20lf:15,ls:5,rf:10,rs:6
[7/5]aaababb20lf:20,rf:10,a:2
[7/6]bbaaaba17lf:17,rf:10,a:2

Considering [length 2 / frequency 0] ba=c.

Step 2

Rewriting system is complete. See ⟨a, b | abaaabab=bba⟩.