Morphocompletion for #4708 ⟨a, b | aabbabba=aab⟩

Back:⟨a, b | aabbabba=aab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. aabbabba ⇒ aab
2. aababbabba ⇒ aabab
3. aabababbabba ⇒ aababab
4. aababababbabba ⇒ aabababab
5. aabababababbabba ⇒ aababababab
6. aababababababbabba ⇒ aabababababab
7. aabababababababbabba ⇒ aababababababab
8. aababababababababbabba ⇒ aabababababababab
9. aabababababababababbabba ⇒ aababababababababab
10. aababababababababababbabba ⇒ aabababababababababab
11. aabababababababababababbabba ⇒ aababababababababababab
12. aababababababababababababbabba ⇒ aabababababababababababab
13. aabababababababababababababbabba ⇒ aababababababababababababab
14. aababababababababababababababbabba ⇒ aabababababababababababababab
15. aabababababababababababababababbabba ⇒ 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]bb30lf:30
[2/3]aa30lf:15,lp:15,rf:15,rp:15,lprp:15
[3/0]bab120lf:120,rf:105,rs:14
[3/1]aba105lf:105,rf:105,a:1
[3/2]bba45lf:30,ls:15
[3/3]abb30lf:30
[3/4]aab30lf:15,lp:15,rf:15,rp:15,rs:1,re:1,lprp:15,lprs:1
[4/0]abab105lf:105,rf:105,rs:14,a:1
[4/1]baba91lf:91,rf:91,a:2
[4/2]abba45lf:30,ls:15
[4/3]babb29lf:29
[4/4]aaba28lf:14,lp:14,rf:14,rp:14,lprp:14,a:1
[4/5]bbab15lf:15
[4/6]aabb2lf:1,lp:1
[5/0]babab91lf:91,rf:91,rs:13,a:2
[5/1]ababa91lf:91,rf:91,a:2
[5/2]babba44lf:29,ls:15
[5/3]aabab28lf:14,lp:14,rf:14,rp:14,rs:1,re:1,lprp:14,lprs:1,a:1
[5/4]bbabb15lf:15
[5/5]abbab15lf:15
[5/6]ababb14lf:14,a:1
[6/0]ababab91lf:91,rf:91,rs:13,a:2
[6/1]bababa78lf:78,rf:78,a:3
[6/2]bbabba30lf:15,ls:15
[6/3]aababa26lf:13,lp:13,rf:13,rp:13,lprp:13,a:2
[6/4]abbabb15lf:15
[6/5]babbab14lf:14,a:1
[6/6]ababba14lf:14,a:1
[7/0]bababab78lf:78,rf:78,rs:12,a:3
[7/1]abababa78lf:78,rf:78,a:3
[7/2]abbabba30lf:15,ls:15
[7/3]aababab26lf:13,lp:13,rf:13,rp:13,rs:1,re:1,lprp:13,lprs:1,a:2
[7/4]babbabb14lf:14,a:1
[7/5]ababbab14lf:14,a:1
[7/6]abababb13lf:13,a:2

Considering [length 2 / frequency 2] bb=c.

Step 2

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