Morphocompletion for #4835 ⟨a, b | ababbaab=baa⟩

Back:⟨a, b | ababbaab=baa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. ababbaab ⇒ baa
2. baaabbaab ⇒ ababbabaa
3. ababbaaababbabaa ⇒ baaaaabbaab
4. baaaaabbaabbabbaab ⇒ ababbaaababbababaa
5. baaabbaaababbabaa ⇒ ababbabaaaaabbaab
6. ababbaaababbaaababbababaa ⇒ baaaaaaabbaabbabbaab
7. baaaaaaabbaabbabbaabbabbaab ⇒ ababbaaababbaaababbabababaa
8. baaaaabbaabbabbaaababbabaa ⇒ ababbaaababbababaaaaabbaab
9. baaabbaaababbaaababbababaa ⇒ ababbabaaaaaaabbaabbabbaab
10. ababbaaababbaaababbaaababbabababaa ⇒ baaaaaaaaabbaabbabbaabbabbaab
11. baaaaaaaaabbaabbabbaabbabbaabbabbaab ⇒ ababbaaababbaaababbaaababbababababaa
12. baaaaaaabbaabbabbaabbabbaaababbabaa ⇒ ababbaaababbaaababbabababaaaaabbaab
13. baaaaabbaabbabbaaababbaaababbababaa ⇒ ababbaaababbababaaaaaaabbaabbabbaab
14. baaabbaaababbaaababbaaababbabababaa ⇒ ababbabaaaaaaaaabbaabbabbaabbabbaab
15. ababbaaababbaaababbaaababbaaababbababababaa ⇒ baaaaaaaaaaabbaabbabbaabbabbaabbabbaab
...

Collecting factors up to length 8 / frequency 7:

[2/0]ba120lf:110,lp:10,rf:95,rp:5
[2/1]aa115lf:105,ls:10,rf:105,rs:5
[2/2]ab115lf:105,lp:5,ls:5,rf:100,rp:10,rs:10,lsrp:4,lprs:4
[2/3]bb55lf:55,rf:50
[3/0]baa75lf:55,lp:10,ls:10,rf:45,rp:5,rs:5,re:1,lsrp:4,lprs:4
[3/1]bba55lf:55,rf:50
[3/2]bab55lf:55,rf:50
[3/3]abb55lf:55,rf:50
[3/4]aaa50lf:50,rf:60,a:1
[3/5]aba50lf:45,lp:5,rf:40,rp:10
[3/6]aab50lf:45,ls:5,rf:40,rs:10
[4/0]abba55lf:55,rf:50
[4/1]baaa40lf:30,lp:10,rf:20,rp:4,a:1
[4/2]abab40lf:35,lp:5,rf:30,rp:10
[4/3]bbaa35lf:35,rf:30
[4/4]babb35lf:35,rf:30
[4/5]aaab30lf:30,rf:20,a:1
[4/6]aaaa20lf:20,rf:40,a:2
[5/0]abbaa35lf:35,rf:30
[5/1]babba35lf:35,rf:30
[5/2]ababb30lf:25,lp:5,rf:20,rp:10
[5/3]baaab28lf:24,lp:4,rf:10,a:1
[5/4]aaaba20lf:20,rf:10,a:2
[5/5]bbaaa20lf:20,rf:10,a:2
[5/6]babaa20lf:10,ls:10,rf:10,rs:4,a:1
[6/0]ababba30lf:25,lp:5,rf:20,rp:10
[6/1]babbaa25lf:25,rf:20
[6/2]baaaba20lf:20,rf:10,a:2
[6/3]abbaaa20lf:20,rf:10,a:2
[6/4]aaabab20lf:20,rf:10,a:2
[6/5]bbaaab20lf:20,rf:10,a:2
[6/6]abbaab20lf:15,ls:5,rf:20,rs:10
[7/0]bbaaaba20lf:20,rf:10,a:2
[7/1]baaabab20lf:20,rf:10,a:2
[7/2]abbaaab20lf:20,rf:10,a:2
[7/3]ababbaa20lf:15,lp:5,rf:10,rp:6
[7/4]aababba20lf:20,rf:10,a:2
[7/5]aaababb20lf:20,rf:10,a:2
[7/6]babbaaa17lf:17,rf:10,a:2

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

Step 2

Rewriting system is complete. See ⟨a, b | ababbaab=baa⟩.