Morphocompletion for #4817 ⟨a, b | ababaaab=bba⟩

Back:⟨a, b | ababaaab=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. ababaaab ⇒ bba
2. ababaabba ⇒ bbaabaaab
3. bbaabaaabbabaaab ⇒ ababaabbbba
4. ababaaaababaabbbba ⇒ bbabaabaaabbabaaab
5. bbaabaaabbabaabba ⇒ ababaabbbbaabaaab
6. bbabaabaaabbabaaabbabaaab ⇒ ababaaaababaabbbbbba
7. ababaaaababaaaababaabbbbbba ⇒ bbababaabaaabbabaaabbabaaab
8. bbaabaaabbabaaaababaabbbba ⇒ ababaabbbbabaabaaabbabaaab
9. bbabaabaaabbabaaabbabaabba ⇒ ababaaaababaabbbbbbaabaaab
10. bbababaabaaabbabaaabbabaaabbabaaab ⇒ ababaaaababaaaababaabbbbbbbba
11. ababaaaababaaaababaaaababaabbbbbbbba ⇒ bbabababaabaaabbabaaabbabaaabbabaaab
12. bbaabaaabbabaaaababaaaababaabbbbbba ⇒ ababaabbbbababaabaaabbabaaabbabaaab
13. bbabaabaaabbabaaabbabaaaababaabbbba ⇒ ababaaaababaabbbbbbabaabaaabbabaaab
14. bbababaabaaabbabaaabbabaaabbabaabba ⇒ ababaaaababaaaababaabbbbbbbbaabaaab
15. bbabababaabaaabbabaaabbabaaabbabaaabbabaaab ⇒ ababaaaababaaaababaaaababaabbbbbbbbbba
...

Collecting factors up to length 8 / frequency 7:

[2/0]ba120lf:110,ls:10,rf:95,rs:5
[2/1]ab115lf:105,lp:5,ls:5,rf:100,rp:10,rs:10,lsrp:4,lprs:4
[2/2]aa100lf:100,rf:90
[2/3]bb70lf:60,lp:10,rf:65,rp:5
[3/0]aba75lf:70,lp:5,rf:70,rp:10
[3/1]bba60lf:40,lp:10,ls:10,rf:25,rp:5,rs:5,re:1,lsrp:4,lprs:4
[3/2]aab60lf:55,ls:5,rf:50,rs:10
[3/3]baa55lf:55,rf:50
[3/4]bab45lf:45,rf:40
[3/5]aaa45lf:45,rf:40
[3/6]abb30lf:30,rf:20,a:1
[4/0]abaa51lf:51,rf:46
[4/1]baba45lf:45,rf:40
[4/2]aaab40lf:35,ls:5,rf:30,rs:10
[4/3]baaa35lf:35,rf:30
[4/4]bbab32lf:26,lp:6,rf:16,rp:3,a:2
[4/5]aabb30lf:30,rf:20,a:1
[4/6]abba28lf:24,ls:4,rf:10,a:1
[5/0]babaa41lf:41,rf:36
[5/1]abaaa35lf:35,rf:30
[5/2]bbaba32lf:26,lp:6,rf:16,rp:3,a:2
[5/3]baaab30lf:25,ls:5,rf:20,rs:10
[5/4]aabba28lf:24,ls:4,rf:10,a:1
[5/5]ababa24lf:19,lp:5,rf:24,rp:10
[5/6]abbab20lf:20,rf:10,a:2
[6/0]abaaab30lf:25,ls:5,rf:20,rs:10
[6/1]bbabaa26lf:23,lp:3,rf:13,rp:1,a:2
[6/2]babaaa25lf:25,rf:20
[6/3]ababaa23lf:18,lp:5,rf:23,rp:10
[6/4]abbaba20lf:20,rf:10,a:2
[6/5]aabbab20lf:20,rf:10,a:2
[6/6]baaabb20lf:20,rf:10,a:2
[7/0]abbabaa20lf:20,rf:10,a:2
[7/1]aabbaba20lf:20,rf:10,a:2
[7/2]baaabba20lf:20,rf:10,a:2
[7/3]babaaab20lf:15,ls:5,rf:10,rs:6
[7/4]aaabbab20lf:20,rf:10,a:2
[7/5]abaaabb20lf:20,rf:10,a:2
[7/6]bbabaaa17lf:17,rf:10,a:2

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

Step 2

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