Morphocompletion for #5821 ⟨a, b | abaaab=abbaa⟩

Back:⟨a, b | abaaab=abbaa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: lhsLimit

#Rule
1. abaaab ⇒ abbaa
2. abbaaaaab ⇒ abbaabaa
3. abbaabaaaaab ⇒ abbaabaabaa
4. abbaabaabaaaaab ⇒ abbaabaabaabaa
5. abbaabaabaabaaaaab ⇒ abbaabaabaabaabaa
6. abbaabaabaabaabaaaaab ⇒ abbaabaabaabaabaabaa
7. abbaabaabaabaabaabaaaaab ⇒ abbaabaabaabaabaabaabaa
8. abbaabaabaabaabaabaabaaaaab ⇒ abbaabaabaabaabaabaabaabaa
9. abbaabaabaabaabaabaabaabaaaaab ⇒ abbaabaabaabaabaabaabaabaabaa
10. abbaabaabaabaabaabaabaabaabaaaaab ⇒ abbaabaabaabaabaabaabaabaabaabaa
11. abbaabaabaabaabaabaabaabaabaabaaaaab ⇒ abbaabaabaabaabaabaabaabaabaabaabaa
12. abbaabaabaabaabaabaabaabaabaabaabaaaaab ⇒ abbaabaabaabaabaabaabaabaabaabaabaabaa
13. abbaabaabaabaabaabaabaabaabaabaabaabaaaaab ⇒ abbaabaabaabaabaabaabaabaabaabaabaabaabaa
...

Collecting factors up to length 8 / frequency 7:

[2/0]ab118lf:92,lp:13,ls:13,rf:91,rp:13,lprp:13,lsrp:13
[2/1]aa116lf:116,rf:91,rs:13
[2/2]ba79lf:79,rf:91
[2/3]bb12lf:12,rf:13
[3/0]aab92lf:79,ls:13,rf:78
[3/1]baa79lf:79,rf:91,rs:13
[3/2]aba68lf:67,lp:1,rf:78
[3/3]aaa37lf:37
[3/4]abb24lf:12,lp:12,rf:13,rp:13,lprp:12
[3/5]bba12lf:12,rf:13
[4/0]abaa68lf:67,lp:1,rf:78,rs:12
[4/1]baab66lf:66,rf:78,a:1
[4/2]aaba66lf:66,rf:78,a:1
[4/3]aaab26lf:13,ls:13
[4/4]abba24lf:12,lp:12,rf:13,rp:13,lprp:12
[4/5]aaaa24lf:24,a:1
[4/6]baaa13lf:13
[5/0]baaba66lf:66,rf:78,a:1
[5/1]aabaa66lf:66,rf:78,rs:12,a:1
[5/2]abaab55lf:55,rf:66,a:2
[5/3]abbaa24lf:12,lp:12,rf:13,rp:13,rs:1,re:1,lprp:12
[5/4]aaaab24lf:12,ls:12,a:1
[5/5]abaaa13lf:12,lp:1
[5/6]baaaa12lf:12,a:1
[6/0]baabaa66lf:66,rf:78,rs:12,a:1
[6/1]aabaab55lf:55,rf:66,a:2
[6/2]abaaba55lf:55,rf:66,a:2
[6/3]aaaaab24lf:12,ls:12,a:1
[6/4]abbaab22lf:11,lp:11,rf:12,rp:12,lprp:11,a:1
[6/5]baaaaa12lf:12,a:1
[6/6]bbaaba11lf:11,rf:12,a:1
[7/0]baabaab55lf:55,rf:66,a:2
[7/1]aabaaba55lf:55,rf:66,a:2
[7/2]abaabaa55lf:55,rf:66,rs:11,a:2
[7/3]baaaaab24lf:12,ls:12,a:1
[7/4]abbaaba22lf:11,lp:11,rf:12,rp:12,lprp:11,a:1
[7/5]bbaabaa11lf:11,rf:12,rs:1,a:1
[7/6]baabaaa11lf:11,a:2

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

Step 2

Rewriting system is complete. See ⟨a, b | abaaab=abbaa⟩.