Morphocompletion for #4337 ⟨a, b | abbaabbba=ab⟩

Back:⟨a, b | abbaabbba=ab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. ababbba ⇒ abbaabb
2. abbbbabaa ⇒ ab
3. abbabbba ⇒ abbbaabb
4. abbaabbb ⇒ abbbbaba
5. abbbabbba ⇒ abbbbaabb
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb16lf:15,ls:1,rf:12,rs:3,a:2
[2/1]ab15lf:10,lp:5,rf:9,rp:5,rs:1,re:1,lprp:5,lprs:1,a:2
[2/2]ba12lf:9,ls:3,rf:5,rs:1,a:2
[2/3]aa3lf:2,ls:1,rf:3,a:2
[3/0]abb12lf:8,lp:4,rf:7,rp:4,rs:3,lprp:3,lprs:2,a:2
[3/1]bba10lf:7,ls:3,rf:4,a:2
[3/2]bbb8lf:7,ls:1,rf:5,a:2
[3/3]bab4lf:4,rf:1,a:2
[3/4]aba3lf:2,lp:1,rf:1,rs:1,a:2
[3/5]baa3lf:2,ls:1,rf:3,a:2
[3/6]aab1lf:1,rf:3,a:2
[4/0]abbb9lf:6,lp:2,ls:1,rf:3,rp:3,lprp:1,lsrp:1,a:2
[4/1]bbba8lf:5,ls:3,rf:3,a:2
[4/2]abba4lf:2,lp:2,rf:1,rp:1,a:2
[4/3]babb3lf:3,a:2
[4/4]bbab3lf:3,rf:1,a:4
[4/5]abab2lf:1,lp:1,a:2
[4/6]abaa2lf:1,ls:1,a:36
[5/0]abbba8lf:4,lp:1,ls:3,rf:1,rp:1,lsrp:1,a:2
[5/1]babbb3lf:3,a:2
[5/2]abbbb2lf:1,lp:1,rf:2,rp:2,a:6
[5/3]bbabb2lf:2,a:4
[5/4]bbbab2lf:2,rf:1,a:6
[5/5]aabbb2lf:1,ls:1,a:31
[5/6]ababb2lf:1,lp:1,a:2
[6/0]babbba6lf:3,ls:3,a:2
[6/1]bbabbb2lf:2,a:4
[6/2]ababbb2lf:1,lp:1,a:2
[6/3]abbabb2lf:1,lp:1,a:4
[6/4]abbbab2lf:1,lp:1,a:6
[6/5]abbbba2lf:1,lp:1,rf:2,rp:2,a:6
[6/6]baabbb2lf:1,ls:1,a:31
[7/0]bbabbba4lf:2,ls:2,a:4
[7/1]abbabbb2lf:1,lp:1,a:4
[7/2]abbbabb2lf:1,lp:1,a:6
[7/3]abbbbab2lf:1,lp:1,rf:1,rp:1,a:31
[7/4]bbaabbb2lf:1,ls:1,a:31
[7/5]abbaabb2lf:1,lp:1,rf:1,rp:1,rs:1,re:1,a:2
[7/6]bbbabaa2lf:1,ls:1,a:36

Considering [length 4 / frequency 0] abbb=c.

Step 2

Rewriting system is complete. See ⟨a, b | abbaabbba=ab⟩.