Morphocompletion for #4851 ⟨a, b | ababbbba=bba⟩

Back:⟨a, b | ababbbba=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. ababbbba ⇒ bba
2. ababbbbbba ⇒ bbbba
3. ababbbbbbbba ⇒ bbbbbba
4. ababbbbbbbbbba ⇒ bbbbbbbba
5. ababbbbbbbbbbbba ⇒ bbbbbbbbbba
6. ababbbbbbbbbbbbbba ⇒ bbbbbbbbbbbba
7. ababbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbba
8. ababbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbba
9. ababbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbba
10. ababbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbba
11. ababbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbba
12. ababbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbba
13. ababbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbba
14. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbba
15. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb255lf:255,rf:225,rp:15
[2/1]ab45lf:30,lp:15
[2/2]ba45lf:30,ls:15,rf:15,rs:15,lsrs: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]aba30lf:15,lp:15
[3/3]abb15lf:15
[3/4]bab15lf:15
[4/0]bbbb225lf:225,rf:196,rp:14
[4/1]bbba30lf:15,ls:15,rf:14,rs:14,lsrs:14
[4/2]abab30lf:15,lp:15
[4/3]abbb15lf:15
[4/4]babb15lf: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]ababb30lf:15,lp:15
[5/3]abbbb15lf:15
[5/4]babbb15lf:15
[6/0]bbbbbb196lf:196,rf:169,rp:13,a:1
[6/1]ababbb30lf:15,lp:15
[6/2]bbbbba28lf:14,ls:14,rf:13,rs:13,lsrs:13,a:1
[6/3]babbbb15lf: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]ababbbb30lf: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]babbbbb14lf:14,a:1
[7/5]babbbba2lf:1,ls:1

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

Step 2

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