Morphocompletion for #4751 ⟨a, b | aabbbbba=bba⟩

Back:⟨a, b | aabbbbba=bba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. aabbbbba ⇒ bba
2. aabbbbbbba ⇒ bbbba
3. aabbbbbbbbba ⇒ bbbbbba
4. aabbbbbbbbbbba ⇒ bbbbbbbba
5. aabbbbbbbbbbbbba ⇒ bbbbbbbbbba
6. aabbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbba
7. aabbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbba
8. aabbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbba
9. aabbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbba
10. aabbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbba
11. aabbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbba
12. aabbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbba
13. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbba
14. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbba
15. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb270lf:270,rf:225,rp:15
[2/1]ba30lf:15,ls:15,rf:15,rs:15,lsrs:15
[2/2]aa30lf:15,lp:15
[2/3]ab15lf:15
[3/0]bbb255lf:255,rf:210,rp:14
[3/1]bba30lf:15,ls:15,rf:15,rp:1,rs:15,re:1,lsrp:1,lsrs:15
[3/2]aab30lf:15,lp:15
[3/3]abb15lf:15
[4/0]bbbb240lf:240,rf:196,rp:14
[4/1]bbba30lf:15,ls:15,rf:14,rs:14,lsrs:14
[4/2]aabb30lf:15,lp:15
[4/3]abbb15lf:15
[5/0]bbbbb225lf:225,rf:182,rp:13
[5/1]bbbba30lf:15,ls:15,rf:14,rp:1,rs:14,re:1,lsrp:1,lsrs:14
[5/2]aabbb30lf:15,lp:15
[5/3]abbbb15lf:15
[6/0]bbbbbb210lf:210,rf:169,rp:13,a:1
[6/1]bbbbba30lf:15,ls:15,rf:13,rs:13,lsrs:13
[6/2]aabbbb30lf:15,lp:15
[6/3]abbbbb15lf:15
[7/0]bbbbbbb196lf:196,rf:156,rp:12,a:1
[7/1]aabbbbb30lf: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]abbbbba2lf:1,ls:1

Considering [length 5 / frequency 1] bbbba=c.

Step 2

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