Morphocompletion for #5319 ⟨a, b | abaabab=bbaa⟩

Back:⟨a, b | abaabab=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. abaabab ⇒ bbaa
2. abaabbbaa ⇒ bbaaaabab
3. bbaaaababbaabab ⇒ abaabbbabbaa
4. bbaaaababbaabbbaa ⇒ abaabbbabbaaaabab
5. abaabaabaabbbabbaa ⇒ bbaabaaaababbaabab
6. bbaabaaaababbaababbaabab ⇒ abaabaabaabbbabbabbaa
7. bbaabaaaababbaababbaabbbaa ⇒ abaabaabaabbbabbabbaaaabab
8. bbaaaababbaabaabaabbbabbaa ⇒ abaabbbabbaabaaaababbaabab
9. abaabaabaabaabaabbbabbabbaa ⇒ bbaabaabaaaababbaababbaabab
10. bbaabaabaaaababbaababbaababbaabab ⇒ abaabaabaabaabaabbbabbabbabbaa
11. bbaabaabaaaababbaababbaababbaabbbaa ⇒ abaabaabaabaabaabbbabbabbabbaaaabab
12. bbaabaaaababbaababbaabaabaabbbabbaa ⇒ abaabaabaabbbabbabbaabaaaababbaabab
13. bbaaaababbaabaabaabaabaabbbabbabbaa ⇒ abaabbbabbaabaabaaaababbaababbaabab
14. abaabaabaabaabaabaabaabbbabbabbabbaa ⇒ bbaabaabaabaaaababbaababbaababbaabab
15. bbaabaabaabaaaababbaababbaababbaababbaabab ⇒ abaabaabaabaabaabaabaabbbabbabbabbabbaa
...

Collecting factors up to length 8 / frequency 7:

[2/0]ab115lf:105,lp:5,ls:5,rf:110,rp:10,rs:10,lsrp:4,lprs:4
[2/1]ba110lf:110,rf:105
[2/2]aa105lf:95,ls:10,rf:85,rs:5
[2/3]bb70lf:60,lp:10,rf:55,rp:5
[3/0]baa85lf:75,ls:10,rf:65,rs:5
[3/1]aba65lf:60,lp:5,rf:60,rp:10
[3/2]aab65lf:65,rf:60
[3/3]bba60lf:50,lp:10,rf:45,rp:5
[3/4]bab40lf:35,ls:5,rf:40,rs:10
[3/5]abb40lf:40,rf:40,a:1
[3/6]aaa20lf:20,rf:20,a:1
[4/0]bbaa60lf:40,lp:10,ls:10,rf:25,rp:5,rs:5,re:1,lsrp:4,lprs:4
[4/1]baab55lf:55,rf:50
[4/2]aaba55lf:55,rf:50
[4/3]abaa40lf:35,lp:5,rf:40,rp:10
[4/4]babb30lf:30,rf:30,a:2
[4/5]abba30lf:30,rf:30,a:2
[4/6]abab30lf:25,ls:5,rf:20,rs:10
[5/0]baaba45lf:45,rf:40
[5/1]abaab34lf:29,lp:5,rf:34,rp:10
[5/2]bbaab32lf:26,lp:6,rf:16,rp:3,a:2
[5/3]abbaa32lf:26,ls:6,rf:20,rs:4,a:2
[5/4]babba30lf:30,rf:30,a:2
[5/5]aabab30lf:25,ls:5,rf:20,rs:10
[5/6]aabaa30lf:30,rf:30,a:4
[6/0]babbaa32lf:26,ls:6,rf:20,rs:4,a:2
[6/1]baabaa30lf:30,rf:30,a:4
[6/2]bbaaba29lf:23,lp:6,rf:16,rp:3,a:2
[6/3]abaaba26lf:22,lp:4,rf:24,rp:6
[6/4]aabaab24lf:24,rf:24,a:4
[6/5]ababba20lf:20,rf:10,a:2
[6/6]abbaab20lf:20,rf:13,a:2
[7/0]baabaab24lf:24,rf:24,a:4
[7/1]abaabaa24lf:21,lp:3,rf:24,rp:6,a:4
[7/2]babbaab20lf:20,rf:13,a:2
[7/3]ababbaa20lf:20,rf:10,a:2
[7/4]aababba20lf:20,rf:10,a:2
[7/5]bbaabab18lf:14,ls:4,rf:10,rs:6,a:2
[7/6]aabaaba18lf:18,rf:18,a:4

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

Step 2

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