Morphocompletion for #4641 ⟨a, b | aababaab=bba⟩

Back:⟨a, b | aababaab=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. aababaab ⇒ bba
2. aababbba ⇒ bbaabaab
3. bbaabaabababaab ⇒ aababbbbba
4. aababaaaababbbbba ⇒ bbabaabaabababaab
5. bbaabaabababbba ⇒ aababbbbbaabaab
6. bbabaabaabababaabababaab ⇒ aababaaaababbbbbbba
7. aababaaaababaaaababbbbbbba ⇒ bbababaabaabababaabababaab
8. bbaabaabababaaaababbbbba ⇒ aababbbbbabaabaabababaab
9. bbabaabaabababaabababbba ⇒ aababaaaababbbbbbbaabaab
10. bbababaabaabababaabababaabababaab ⇒ aababaaaababaaaababbbbbbbbba
11. aababaaaababaaaababaaaababbbbbbbbba ⇒ bbabababaabaabababaabababaabababaab
12. bbaabaabababaaaababaaaababbbbbbba ⇒ aababbbbbababaabaabababaabababaab
13. bbabaabaabababaabababaaaababbbbba ⇒ aababaaaababbbbbbbabaabaabababaab
14. bbababaabaabababaabababaabababbba ⇒ aababaaaababaaaababbbbbbbbbaabaab
15. bbabababaabaabababaabababaabababaabababaab ⇒ aababaaaababaaaababaaaababbbbbbbbbbba
...

Collecting factors up to length 8 / frequency 7:

[2/0]ba130lf:120,ls:10,rf:95,rs:5
[2/1]ab120lf:115,ls:5,rf:100,rs:10
[2/2]aa75lf:70,lp:5,rf:70,rp:10
[2/3]bb60lf:50,lp:10,rf:65,rp:5
[3/0]aba100lf:100,rf:80
[3/1]bab65lf:65,rf:50
[3/2]aab60lf:50,lp:5,ls:5,rf:50,rp:10,rs:10,lsrp:4,lprs:4
[3/3]baa45lf:45,rf:40
[3/4]bba40lf:20,lp:10,ls:10,rf:15,rp:5,rs:5,re:1,lsrp:4,lprs:4
[3/5]bbb30lf:30,rf:50,a:1
[3/6]aaa20lf:20,rf:20,a:4
[4/0]abab59lf:59,rf:44
[4/1]baba55lf:55,rf:40
[4/2]aaba50lf:45,lp:5,rf:40,rp:10
[4/3]abaa41lf:41,rf:36
[4/4]baab40lf:35,ls:5,rf:30,rs:10
[4/5]bbbb20lf:20,rf:40,a:2
[4/6]bbba20lf:10,ls:10,rf:10,rs:4,a:1
[5/0]ababa49lf:49,rf:34
[5/1]aabab40lf:35,lp:5,rf:30,rp:10
[5/2]abaab36lf:31,ls:5,rf:26,rs:10
[5/3]babaa31lf:31,rf:26
[5/4]baaba30lf:30,rf:20,a:1
[5/5]babab24lf:24,rf:14,a:2
[5/6]bbbbb14lf:14,rf:30,a:2
[6/0]aababa32lf:28,lp:4,rf:20,rp:6
[6/1]ababaa28lf:28,rf:23
[6/2]babaab26lf:21,ls:5,rf:16,rs:6
[6/3]abaaba26lf:26,rf:16,a:2
[6/4]bababa21lf:21,rf:14,a:2
[6/5]ababab21lf:21,rf:11,a:2
[6/6]baabab20lf:20,rf:10,a:2
[7/0]ababaab23lf:18,ls:5,rf:13,rs:6
[7/1]bababaa20lf:20,rf:13,a:2
[7/2]baababa20lf:20,rf:10,a:2
[7/3]abaabab20lf:20,rf:10,a:2
[7/4]aababab20lf:20,rf:10,a:2
[7/5]abababa18lf:18,rf:11,a:2
[7/6]babaaba16lf:16,rf:10,a:4

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

Step 2

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