Morphocompletion for #5920 ⟨a, b | abbaab=abbba⟩

Back:⟨a, b | abbaab=abbba⟩

Solved by morph:6/3. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: lhsLimit

#Rule
1. abbaab ⇒ abbba
2. abbbabaab ⇒ abbbabba
3. abbbabbabaab ⇒ abbbabbabba
4. abbbabbabbabaab ⇒ abbbabbabbabba
5. abbbabbabbabbabaab ⇒ abbbabbabbabbabba
6. abbbabbabbabbabbabaab ⇒ abbbabbabbabbabbabba
7. abbbabbabbabbabbabbabaab ⇒ abbbabbabbabbabbabbabba
8. abbbabbabbabbabbabbabbabaab ⇒ abbbabbabbabbabbabbabbabba
9. abbbabbabbabbabbabbabbabbabaab ⇒ abbbabbabbabbabbabbabbabbabba
10. abbbabbabbabbabbabbabbabbabbabaab ⇒ abbbabbabbabbabbabbabbabbabbabba
11. abbbabbabbabbabbabbabbabbabbabbabaab ⇒ abbbabbabbabbabbabbabbabbabbabbabba
12. abbbabbabbabbabbabbabbabbabbabbabbabaab ⇒ abbbabbabbabbabbabbabbabbabbabbabbabba
13. abbbabbabbabbabbabbabbabbabbabbabbabbabaab ⇒ abbbabbabbabbabbabbabbabbabbabbabbabbabba
...

Collecting factors up to length 8 / frequency 7:

[2/0]ab130lf:104,lp:13,ls:13,rf:91,rp:13,lprp:13,lsrp:13
[2/1]bb91lf:91,rf:104
[2/2]ba91lf:91,rf:91,rs:13
[2/3]aa13lf:13
[3/0]abb92lf:79,lp:13,rf:91,rp:13,lprp:13
[3/1]bba79lf:79,rf:91,rs:13
[3/2]bab78lf:78,rf:78,a:1
[3/3]aab26lf:13,ls:13
[3/4]baa13lf:13
[3/5]bbb12lf:12,rf:13
[3/6]aba12lf:12,a:1
[4/0]bbab78lf:78,rf:78,a:1
[4/1]abba68lf:67,lp:1,rf:78,rs:12
[4/2]babb66lf:66,rf:78,a:1
[4/3]baab26lf:13,ls:13
[4/4]abbb24lf:12,lp:12,rf:13,rp:13,lprp:12
[4/5]bbba12lf:12,rf:13,rs:1
[4/6]baba12lf:12,a:1
[5/0]bbabb66lf:66,rf:78,a:1
[5/1]abbab66lf:66,rf:66,a:2
[5/2]babba66lf:66,rf:78,rs:12,a:1
[5/3]abbba24lf:12,lp:12,rf:13,rp:13,rs:1,re:1,lprp:12
[5/4]abaab24lf:12,ls:12,a:1
[5/5]bbbab12lf:12,rf:12,a:1
[5/6]bbaba12lf:12,a:1
[6/0]babbab66lf:66,rf:66,a:2
[6/1]bbabba66lf:66,rf:78,rs:12,a:1
[6/2]abbabb55lf:55,rf:66,a:2
[6/3]abbbab24lf:12,lp:12,rf:12,rp:12,lprp:12,a:1
[6/4]babaab24lf:12,ls:12,a:1
[6/5]bbabaa12lf:12,a:1
[6/6]bbbabb11lf:11,rf:12,a:1
[7/0]bbabbab66lf:66,rf:66,a:2
[7/1]babbabb55lf:55,rf:66,a:2
[7/2]abbabba55lf:55,rf:66,rs:11,a:2
[7/3]bbabaab24lf:12,ls:12,a:1
[7/4]abbbabb22lf:11,lp:11,rf:12,rp:12,lprp:11,a:1
[7/5]bbbabba11lf:11,rf:12,rs:1,a:1
[7/6]babbaba11lf:11,a:2

Considering [length 6 / frequency 3] abbbab=c.

Step 2

Rewriting system is complete. See ⟨a, b | abbaab=abbba⟩.