Morphocompletion for #5333 ⟨a, b | abaabba=baba⟩

Back:⟨a, b | abaabba=baba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. abaabba ⇒ baba
2. abaabbbaba ⇒ babbaba
3. abaabbbbaba ⇒ babbbaba
4. abaabbbbbaba ⇒ babbbbaba
5. abaabbbbbbaba ⇒ babbbbbaba
6. abaabbbabbaba ⇒ babbabbaba
...

Collecting factors up to length 8 / frequency 7:

[2/0]ab24lf:18,lp:6,rf:12
[2/1]ba24lf:18,ls:6,rf:18,rp:6,rs:6,lsrp:6,lsrs:6
[2/2]bb18lf:18,rf:12
[2/3]aa6lf:6
[3/0]aba22lf:11,lp:6,ls:5,rf:6,rs:6,lprs:6,lsrs:5
[3/1]bbb11lf:11,rf:6,a:1
[3/2]bba8lf:7,ls:1,rf:6
[3/3]abb7lf:7,rf:6
[3/4]aab6lf:6
[3/5]baa6lf:6
[3/6]bab6lf:6,rf:12,rp:6
[4/0]abaa12lf:6,lp:6
[4/1]baba10lf:5,ls:5,rf:6,rp:1,rs:6,re:1,lsrs:5
[4/2]aabb6lf:6
[4/3]baab6lf:6
[4/4]bbab6lf:6,rf:6,a:1
[4/5]bbbb6lf:6,rf:3,a:3
[4/6]abbb5lf:5,rf:3,a:1
[5/0]abaab12lf:6,lp:6
[5/1]bbaba10lf:5,ls:5,rf:5,rs:5,lsrs:5,a:1
[5/2]baabb6lf:6
[5/3]aabbb5lf:5,a:1
[5/4]bbbab5lf:5,rf:3,a:1
[5/5]abbbb3lf:3,rf:2,a:3
[5/6]bbbba3lf:3,rf:2,a:3
[6/0]abaabb12lf:6,lp:6
[6/1]bbbaba8lf:4,ls:4,rf:3,rs:3,lsrs:3,a:1
[6/2]baabbb5lf:5,a:1
[6/3]aabbbb3lf:3,a:3
[6/4]bbbbab3lf:3,rf:2,a:3
[6/5]aabbba2lf:2,a:1
[6/6]abbaba2lf:1,ls:1,rf:2,rs:2,lsrs:1,a:1
[7/0]abaabbb10lf:5,lp:5,a:1
[7/1]bbbbaba6lf:3,ls:3,rf:2,rs:2,lsrs:2,a:3
[7/2]baabbbb3lf:3,a:3
[7/3]aabbbab2lf:2,a:1
[7/4]aabbbbb2lf:2,a:9
[7/5]abbbaba2lf:1,ls:1,rf:1,rs:1,a:1
[7/6]baabbba2lf:2,a:1

Considering [length 4 / frequency 2] aabb=c.

Step 2

Rewriting system is complete. See ⟨a, b | abaabba=baba⟩.