Morphocompletion for #4456 ⟨a, b | aaaabbaa=aab⟩

Back:⟨a, b | aaaabbaa=aab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aaaabbaa ⇒ aab
2. aabaabbaa ⇒ aabb
3. aabaaabbaa ⇒ aabab
4. aaaabbb ⇒ aabbbaa
5. aaaabbab ⇒ aababbaa
6. aabbaabbaa ⇒ aabbb
7. aabbaaabbaa ⇒ aabbab
8. aabaabbb ⇒ aabbbbaa
...

Collecting factors up to length 8 / frequency 7:

[2/0]aa39lf:26,lp:8,ls:5,rf:11,rp:8,rs:3,lprp:8,lsrp:5,lprs:3
[2/1]ab15lf:14,ls:1,rf:11,rs:3
[2/2]bb14lf:12,ls:2,rf:10,rs:2
[2/3]ba11lf:11,rf:6
[3/0]aab18lf:13,lp:5,rf:8,rp:8,rs:1,re:1,lprp:5
[3/1]baa15lf:10,ls:5,rf:3,rs:3
[3/2]aaa11lf:8,lp:3
[3/3]abb10lf:10,rf:6,rs:1
[3/4]bba8lf:8,rf:4
[3/5]bbb4lf:2,ls:2,rf:4,rs:1,a:3
[3/6]aba3lf:3,rf:2,a:1
[4/0]aabb12lf:10,lp:2,rf:5,rp:5,rs:1,re:1,lprp:2
[4/1]bbaa12lf:7,ls:5,rf:3,rs:3
[4/2]abba8lf:8,rf:2
[4/3]aaba6lf:3,lp:3,rf:2,rp:2,lprp:1,a:1
[4/4]aaaa6lf:3,lp:3
[4/5]aaab5lf:5
[4/6]abbb4lf:2,ls:2,rf:3,rs:1,a:3
[5/0]abbaa12lf:7,ls:5,rf:1,rs:1
[5/1]aabba10lf:8,lp:2,rf:1,rp:1,lprp:1
[5/2]aaaab6lf:3,lp:3
[5/3]aabaa6lf:3,lp:3,a:1
[5/4]aaabb5lf:5
[5/5]aabbb4lf:2,ls:2,rf:3,rp:3,rs:1,re:1,lsrp:2,a:3
[5/6]baabb3lf:3,a:1
[6/0]aabbaa14lf:7,lp:2,ls:5
[6/1]aaaabb6lf:3,lp:3
[6/2]aaabba4lf:4
[6/3]aabaab4lf:2,lp:2,a:1
[6/4]baabbb2lf:1,ls:1,a:16
[6/5]aaabbb2lf:1,ls:1,a:15
[6/6]aabbab2lf:1,ls:1,rf:1,rp:1,rs:1,re:1,a:5
[7/0]aaabbaa6lf:3,ls:3
[7/1]aabaabb4lf:2,lp:2,a:1
[7/2]baabbaa4lf:2,ls:2,a:1
[7/3]aaaabba4lf:2,lp:2
[7/4]abaabbb2lf:1,ls:1,a:16
[7/5]aaabbab2lf:1,ls:1,a:36
[7/6]aabbaab2lf:1,lp:1,a:3

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

Step 2

Rewriting system is complete. See ⟨a, b | aaaabbaa=aab⟩.