Morphocompletion for #2171 ⟨a, b | aaababa=baa⟩

Back:⟨a, b | aaababa=baa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aaababa ⇒ baa
2. aaababbaa ⇒ babaa
3. aaababbbaa ⇒ babbaa
4. aaababbabaa ⇒ bababaa
5. aaababbbbaa ⇒ babbbaa
6. aaababbabbaa ⇒ bababbaa
7. aaababbbabaa ⇒ babbabaa
...

Collecting factors up to length 8 / frequency 7:

[2/0]aa33lf:20,lp:7,ls:6,rf:7,rs:7,lprs:7,lsrs:6
[2/1]ba18lf:17,ls:1,rf:16,rp:7,lsrp:1
[2/2]ab17lf:17,rf:9
[2/3]bb11lf:11,rf:5,a:1
[3/0]aaa14lf:7,lp:7
[3/1]baa12lf:6,ls:6,rf:7,rp:1,rs:7,re:1,lsrs:6
[3/2]aba11lf:10,ls:1,rf:5
[3/3]bab10lf:10,rf:9,rp:6
[3/4]bba7lf:7,rf:4,a:1
[3/5]abb7lf:7,rf:4,a:1
[3/6]aab7lf:7
[4/0]aaab14lf:7,lp:7
[4/1]bbaa8lf:4,ls:4,rf:3,rs:3,lsrs:3,a:1
[4/2]babb7lf:7,rf:4,rp:3,a:1
[4/3]abab7lf:7,rf:2
[4/4]aaba7lf:7
[4/5]baba4lf:3,ls:1,rf:5,rp:3
[4/6]abba4lf:4,rf:3,a:1
[5/0]aaaba14lf:7,lp:7
[5/1]aabab7lf:7
[5/2]ababb6lf:6,rf:1,a:1
[5/3]bbbaa4lf:2,ls:2,rf:1,rs:1,lsrs:1,a:3
[5/4]babba4lf:4,rf:3,rp:2,a:1
[5/5]babaa4lf:2,ls:2,rf:3,rp:1,rs:3,re:1,lsrs:2,a:1
[5/6]abbaa4lf:2,ls:2,rf:2,rs:2,lsrs:1,a:1
[6/0]aaabab14lf:7,lp:7
[6/1]aababb6lf:6,a:1
[6/2]bbabaa4lf:2,ls:2,rf:1,rs:1,lsrs:1,a:2
[6/3]babbaa4lf:2,ls:2,rf:2,rp:1,rs:2,re:1,lsrs:1,a:1
[6/4]ababbb3lf:3,a:3
[6/5]ababba3lf:3,rf:1,a:1
[6/6]bbbbaa2lf:1,ls:1,a:9
[7/0]aaababb12lf:6,lp:6,a:1
[7/1]aababbb3lf:3,a:3
[7/2]aababba3lf:3,a:1
[7/3]bbbabaa2lf:1,ls:1,a:4
[7/4]bbabbaa2lf:1,ls:1,a:6
[7/5]babbbaa2lf:1,ls:1,rf:1,rp:1,rs:1,re:1,a:3
[7/6]abbbbaa2lf:1,ls:1,a:9

Considering [length 6 / frequency 0] aaabab=c.

Step 2

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