Morphocompletion for #4587 ⟨a, b | aaabbbba=bba⟩

Back:⟨a, b | aaabbbba=bba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. aaabbbba ⇒ bba
2. aaabbbbbba ⇒ bbbba
3. aaabbbbbbbba ⇒ bbbbbba
4. aaabbbbbbbbbba ⇒ bbbbbbbba
5. aaabbbbbbbbbbbba ⇒ bbbbbbbbbba
6. aaabbbbbbbbbbbbbba ⇒ bbbbbbbbbbbba
7. aaabbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbba
8. aaabbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbba
9. aaabbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbba
10. aaabbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbba
11. aaabbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbba
12. aaabbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbba
13. aaabbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbba
14. aaabbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbba
15. aaabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb255lf:255,rf:225,rp:15
[2/1]aa45lf:30,lp:15
[2/2]ba30lf:15,ls:15,rf:15,rs:15,lsrs:15
[2/3]ab15lf:15
[3/0]bbb240lf:240,rf:210,rp:14
[3/1]bba30lf:15,ls:15,rf:15,rp:1,rs:15,re:1,lsrp:1,lsrs:15
[3/2]aaa30lf:15,lp:15
[3/3]abb15lf:15
[3/4]aab15lf:15
[4/0]bbbb225lf:225,rf:196,rp:14
[4/1]bbba30lf:15,ls:15,rf:14,rs:14,lsrs:14
[4/2]aaab30lf:15,lp:15
[4/3]abbb15lf:15
[4/4]aabb15lf:15
[5/0]bbbbb210lf:210,rf:182,rp:13,a:1
[5/1]bbbba30lf:15,ls:15,rf:14,rp:1,rs:14,re:1,lsrp:1,lsrs:14
[5/2]aaabb30lf:15,lp:15
[5/3]abbbb15lf:15
[5/4]aabbb15lf:15
[6/0]bbbbbb196lf:196,rf:169,rp:13,a:1
[6/1]aaabbb30lf:15,lp:15
[6/2]bbbbba28lf:14,ls:14,rf:13,rs:13,lsrs:13,a:1
[6/3]aabbbb15lf:15
[6/4]abbbbb14lf:14,a:1
[6/5]abbbba2lf:1,ls:1
[7/0]bbbbbbb182lf:182,rf:156,rp:12,a:2
[7/1]aaabbbb30lf:15,lp:15
[7/2]bbbbbba28lf:14,ls:14,rf:13,rp:1,rs:13,re:1,lsrp:1,lsrs:13,a:1
[7/3]abbbbbb14lf:14,a:1
[7/4]aabbbbb14lf:14,a:1
[7/5]aabbbba2lf:1,ls:1

Considering [length 4 / frequency 1] bbba=c.

Step 2

Rewriting system is complete. See ⟨a, b | aaabbbba=bba⟩.