Morphocompletion for #5351 ⟨a, b | ababaab=bbaa⟩

Back:⟨a, b | ababaab=bbaa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. ababaab ⇒ bbaa
2. abababbaa ⇒ bbaaabaab
3. bbaaabaabbabaab ⇒ abababbabbaa
4. ababaaabababbabbaa ⇒ bbaabaaabaabbabaab
5. bbaaabaabbababbaa ⇒ abababbabbaaabaab
6. bbaabaaabaabbabaabbabaab ⇒ ababaaabababbabbabbaa
7. ababaaababaaabababbabbabbaa ⇒ bbaabaabaaabaabbabaabbabaab
8. bbaaabaabbabaaabababbabbaa ⇒ abababbabbaabaaabaabbabaab
9. bbaabaaabaabbabaabbababbaa ⇒ ababaaabababbabbabbaaabaab
10. bbaabaabaaabaabbabaabbabaabbabaab ⇒ ababaaababaaabababbabbabbabbaa
11. ababaaababaaababaaabababbabbabbabbaa ⇒ bbaabaabaabaaabaabbabaabbabaabbabaab
12. bbaaabaabbabaaababaaabababbabbabbaa ⇒ abababbabbaabaabaaabaabbabaabbabaab
13. bbaabaaabaabbabaabbabaaabababbabbaa ⇒ ababaaabababbabbabbaabaaabaabbabaab
14. bbaabaabaaabaabbabaabbabaabbababbaa ⇒ ababaaababaaabababbabbabbabbaaabaab
15. bbaabaabaabaaabaabbabaabbabaabbabaabbabaab ⇒ ababaaababaaababaaabababbabbabbabbabbaa
...

Collecting factors up to length 8 / frequency 7:

[2/0]ab125lf:115,lp:5,ls:5,rf:120,rp:10,rs:10,lsrp:4,lprs:4
[2/1]ba120lf:120,rf:115
[2/2]aa95lf:85,ls:10,rf:75,rs:5
[2/3]bb60lf:50,lp:10,rf:45,rp:5
[3/0]baa75lf:65,ls:10,rf:55,rs:5
[3/1]aba75lf:70,lp:5,rf:70,rp:10
[3/2]bba60lf:50,lp:10,rf:45,rp:5
[3/3]aab60lf:55,ls:5,rf:50,rs:10
[3/4]bab55lf:55,rf:60
[3/5]abb40lf:40,rf:40,a:1
[3/6]aaa20lf:20,rf:20,a:1
[4/0]abaa45lf:45,rf:40
[4/1]bbaa40lf:20,lp:10,ls:10,rf:15,rp:5,rs:5,re:1,lsrp:4,lprs:4
[4/2]abba40lf:40,rf:40,a:1
[4/3]baab40lf:35,ls:5,rf:30,rs:10
[4/4]baba35lf:35,rf:30
[4/5]bbab30lf:30,rf:30,a:2
[4/6]abab30lf:25,lp:5,rf:30,rp:10
[5/0]abaab34lf:29,ls:5,rf:24,rs:10
[5/1]abbab30lf:30,rf:30,a:2
[5/2]babaa25lf:25,rf:20
[5/3]bbaba20lf:20,rf:10,a:2
[5/4]babba20lf:20,rf:30,a:1
[5/5]baabb20lf:20,rf:10,a:2
[5/6]abbaa20lf:10,ls:10,rf:10,rs:4,a:1
[6/0]babbaa20lf:10,ls:10,rf:10,rs:4,a:1
[6/1]abbaba20lf:20,rf:10,a:2
[6/2]baabba20lf:20,rf:10,a:2
[6/3]babaab20lf:15,ls:5,rf:10,rs:6
[6/4]aabbab20lf:20,rf:10,a:2
[6/5]abaabb20lf:20,rf:10,a:2
[6/6]baaaba20lf:20,rf:20,a:1
[7/0]baabbab20lf:20,rf:10,a:2
[7/1]aabbaba20lf:20,rf:10,a:2
[7/2]abaabba20lf:20,rf:10,a:2
[7/3]bbabaab18lf:14,ls:4,rf:10,rs:6,a:2
[7/4]abbabaa17lf:17,rf:10,a:2
[7/5]abaaaba16lf:16,rf:16,a:4
[7/6]bbabbaa12lf:6,ls:6,rf:10,rs:4,a:2

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

Step 2

Rewriting system is complete. See ⟨a, b | ababaab=bbaa⟩.