Morphocompletion for #4672 ⟨a, b | aababbba=aab⟩

Back:⟨a, b | aababbba=aab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. aababbba ⇒ aab
2. aabababbba ⇒ aabab
3. aababababbba ⇒ aababab
4. aabababababbba ⇒ aabababab
5. aababababababbba ⇒ aababababab
6. aabababababababbba ⇒ aabababababab
7. aababababababababbba ⇒ aababababababab
8. aabababababababababbba ⇒ aabababababababab
9. aababababababababababbba ⇒ aababababababababab
10. aabababababababababababbba ⇒ aabababababababababab
11. aababababababababababababbba ⇒ aababababababababababab
12. aabababababababababababababbba ⇒ aabababababababababababab
13. aababababababababababababababbba ⇒ aababababababababababababab
14. aabababababababababababababababbba ⇒ aabababababababababababababab
15. aababababababababababababababababbba ⇒ aababababababababababababababab
...

Collecting factors up to length 8 / frequency 7:

[2/0]ba150lf:135,ls:15,rf:105
[2/1]ab135lf:135,rf:120,rs:15
[2/2]aa30lf:15,lp:15,rf:15,rp:15,lprp:15
[2/3]bb30lf:30
[3/0]aba120lf:120,rf:105
[3/1]bab120lf:120,rf:105,rs:14
[3/2]aab30lf:15,lp:15,rf:15,rp:15,rs:1,re:1,lprp:15,lprs:1
[3/3]bba30lf:15,ls:15
[3/4]abb15lf:15
[3/5]bbb15lf:15
[4/0]abab120lf:120,rf:105,rs:14
[4/1]baba105lf:105,rf:91,a:1
[4/2]aaba30lf:15,lp:15,rf:14,rp:14,lprp:14
[4/3]bbba30lf:15,ls:15
[4/4]babb15lf:15
[4/5]abbb15lf:15
[5/0]ababa105lf:105,rf:91,a:1
[5/1]babab105lf:105,rf:91,rs:13,a:1
[5/2]aabab30lf:15,lp:15,rf:14,rp:14,rs:1,re:1,lprp:14,lprs:1
[5/3]abbba30lf:15,ls:15
[5/4]ababb15lf:15
[5/5]babbb15lf:15
[6/0]ababab105lf:105,rf:91,rs:13,a:1
[6/1]bababa91lf:91,rf:78,a:2
[6/2]babbba30lf:15,ls:15
[6/3]aababa28lf:14,lp:14,rf:13,rp:13,lprp:13,a:1
[6/4]ababbb15lf:15
[6/5]bababb14lf:14,a:1
[6/6]aababb2lf:1,lp:1
[7/0]abababa91lf:91,rf:78,a:2
[7/1]bababab91lf:91,rf:78,rs:12,a:2
[7/2]ababbba30lf:15,ls:15
[7/3]aababab28lf:14,lp:14,rf:13,rp:13,rs:1,re:1,lprp:13,lprs:1,a:1
[7/4]abababb14lf:14,a:1
[7/5]bababbb14lf:14,a:1
[7/6]aababbb2lf:1,lp:1

Considering [length 4 / frequency 2] aaba=c.

Step 2

Rewriting system is complete. See ⟨a, b | aababbba=aab⟩.