Morphocompletion for #2341 ⟨a, b | ababbba=bba⟩

Back:⟨a, b | ababbba=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. ababbba ⇒ bba
2. ababbbbba ⇒ bbbba
3. ababbbbbbba ⇒ bbbbbba
4. ababbbbbbbbba ⇒ bbbbbbbba
5. ababbbbbbbbbbba ⇒ bbbbbbbbbba
6. ababbbbbbbbbbbbba ⇒ bbbbbbbbbbbba
7. ababbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbba
8. ababbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbba
9. ababbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbba
10. ababbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbba
11. ababbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbba
12. ababbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbba
13. ababbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbba
14. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbba
15. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
16. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb272lf:272,rf:256,rp:16
[2/1]ab48lf:32,lp:16
[2/2]ba48lf:32,ls:16,rf:16,rs:16,lsrs:16
[3/0]bbb256lf:256,rf:240,rp:15
[3/1]bba32lf:16,ls:16,rf:16,rp:1,rs:16,re:1,lsrp:1,lsrs:16
[3/2]aba32lf:16,lp:16
[3/3]abb16lf:16
[3/4]bab16lf:16
[4/0]bbbb240lf:240,rf:225,rp:15,a:1
[4/1]bbba32lf:16,ls:16,rf:15,rs:15,lsrs:15
[4/2]abab32lf:16,lp:16
[4/3]abbb16lf:16
[4/4]babb16lf:16
[5/0]bbbbb225lf:225,rf:210,rp:14,a:1
[5/1]ababb32lf:16,lp:16
[5/2]bbbba30lf:15,ls:15,rf:15,rp:1,rs:15,re:1,lsrp:1,lsrs:15,a:1
[5/3]babbb16lf:16
[5/4]abbbb15lf:15,a:1
[5/5]abbba2lf:1,ls:1
[6/0]bbbbbb210lf:210,rf:196,rp:14,a:2
[6/1]ababbb32lf:16,lp:16
[6/2]bbbbba30lf:15,ls:15,rf:14,rs:14,lsrs:14,a:1
[6/3]abbbbb15lf:15,a:1
[6/4]babbbb15lf:15,a:1
[6/5]babbba2lf:1,ls:1
[7/0]bbbbbbb196lf:196,rf:182,rp:13,a:2
[7/1]ababbbb30lf:15,lp:15,a:1
[7/2]bbbbbba28lf:14,ls:14,rf:14,rp:1,rs:14,re:1,lsrp:1,lsrs:14,a:2
[7/3]babbbbb15lf:15,a:1
[7/4]abbbbbb14lf:14,a:2
[7/5]abbbbba2lf:1,ls:1,a:1

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

Step 2

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