Morphocompletion for #4691 ⟨a, b | aabbaaba=baa⟩

Back:⟨a, b | aabbaaba=baa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aabbaaba ⇒ baa
2. aabbbaa ⇒ babaaba
3. aabbaabbaa ⇒ babaa
4. aabbbabaa ⇒ babaabbaa
5. aabbbabbaa ⇒ babbabaaba
6. aabbaabbabaa ⇒ bababaa
7. babaababbaaba ⇒ aabbbbaa
8. aabbaabbbbaa ⇒ babbbaa
...

Collecting factors up to length 8 / frequency 7:

[2/0]aa32lf:19,lp:7,ls:6,rf:10,rp:1,rs:6,lprs:5,lsrs:4
[2/1]ba22lf:19,lp:1,ls:2,rf:19,rp:7,rs:2,lsrp:1
[2/2]ab18lf:18,rf:12
[2/3]bb17lf:17,rf:7
[3/0]aab20lf:13,lp:7,rf:4,rp:1
[3/1]baa18lf:12,ls:6,rf:9,rp:1,rs:6,re:1,lsrs:4
[3/2]bba12lf:12,rf:4
[3/3]abb12lf:12,rf:4
[3/4]aba8lf:6,ls:2,rf:8,rs:2
[3/5]bab6lf:5,lp:1,rf:8,rp:6,a:1
[3/6]bbb5lf:5,rf:3,a:3
[4/0]aabb17lf:10,lp:7,rf:2,rp:1
[4/1]bbaa13lf:9,ls:4,rf:3,rs:3,lsrs:1
[4/2]abba8lf:8,rf:2
[4/3]baab6lf:6,rf:3
[4/4]abaa5lf:3,ls:2,rf:5,rs:2,lsrs:1,a:1
[4/5]aaba5lf:3,ls:2,rf:2,rs:2
[4/6]bbba4lf:4,rf:2,a:3
[5/0]aabba10lf:6,lp:4,rf:1
[5/1]abbaa9lf:7,ls:2,rf:1,rs:1
[5/2]aabbb7lf:4,lp:3,rf:1,rp:1,a:3
[5/3]babaa6lf:3,lp:1,ls:2,rf:5,rp:3,rs:2,re:1,lsrp:1,lsrs:1,a:1
[5/4]bbaab5lf:5
[5/5]baaba5lf:3,ls:2,rf:2,rs:2
[5/6]bbbaa4lf:2,ls:2,rf:2,rs:2,lsrs:1,a:3
[6/0]aabbaa10lf:5,lp:4,ls:1,rf:1,rs:1
[6/1]aabbba6lf:3,lp:3,a:3
[6/2]abbaab5lf:5
[6/3]bbabaa4lf:2,ls:2,rf:1,a:2
[6/4]bbaaba4lf:2,ls:2
[6/5]bbaabb3lf:3,a:1
[6/6]babbaa3lf:2,ls:1,a:6
[7/0]aabbaab8lf:4,lp:4
[7/1]aabbbab4lf:2,lp:2,a:4
[7/2]abbaaba4lf:2,ls:2
[7/3]abbaabb3lf:3,a:1
[7/4]bbbabaa2lf:1,ls:1,a:4
[7/5]bbabbaa2lf:1,ls:1,a:11
[7/6]abbbbaa2lf:1,ls:1,rf:1,rs:1,a:6

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

Step 2

Rewriting system is complete. See ⟨a, b | aabbaaba=baa⟩.