Morphocompletion for #2559 ⟨a, b | aabbba=bbaa⟩

Back:⟨a, b | aabbba=bbaa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aabbba ⇒ bbaa
2. aabbbbbaa ⇒ bbabbaa
3. aabbbbbbbaa ⇒ bbabbbbaa
4. aabbbbbabbaa ⇒ bbabbabbaa
5. aabbbbbbbbbaa ⇒ bbabbbbbbaa
6. aabbbbbbbabbaa ⇒ bbabbbbabbaa
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb32lf:32,rf:21,rp:6
[2/1]aa22lf:11,lp:6,ls:5,rf:6,rs:6,lprs:6,lsrs:5
[2/2]ba9lf:8,ls:1,rf:13
[2/3]ab8lf:8,rf:7
[3/0]bbb24lf:24,rf:8
[3/1]aab12lf:6,lp:6
[3/2]baa10lf:5,ls:5,rf:6,rs:6,lsrs:5
[3/3]bba9lf:8,ls:1,rf:13,rp:6,lsrp:1
[3/4]abb8lf:8,rf:7
[3/5]bab2lf:2,rf:7,a:1
[4/0]bbbb18lf:18,rf:5,a:1
[4/1]aabb12lf:6,lp:6
[4/2]bbaa10lf:5,ls:5,rf:6,rp:1,rs:6,re:1,lsrs:5
[4/3]bbba7lf:6,ls:1,rf:3
[4/4]abbb6lf:6,rf:3
[4/5]babb2lf:2,rf:7,a:1
[4/6]bbab2lf:2,rf:7,rp:5,a:1
[5/0]bbbbb13lf:13,rf:2,a:1
[5/1]aabbb12lf:6,lp:6
[5/2]bbbaa6lf:3,ls:3,rf:2,rs:2,lsrs:2,a:1
[5/3]abbbb5lf:5,rf:3,a:1
[5/4]bbbba5lf:5,rf:3,a:1
[5/5]abbaa4lf:2,ls:2,rf:3,rs:3,lsrs:2,a:1
[5/6]bbabb2lf:2,rf:7,rp:5,a:1
[6/0]aabbbb10lf:5,lp:5,a:1
[6/1]bbbbbb8lf:8,rf:1,a:3
[6/2]bbbbaa6lf:3,ls:3,rf:2,rs:2,lsrs:2,a:1
[6/3]abbbbb5lf:5,rf:1,a:1
[6/4]bbbbba5lf:5,rf:1,a:1
[6/5]babbaa4lf:2,ls:2,rf:3,rs:3,lsrs:2,a:1
[6/6]bbbabb2lf:2,rf:1,a:2
[7/0]aabbbbb10lf:5,lp:5,a:1
[7/1]bbbbbaa6lf:3,ls:3,rf:1,rs:1,lsrs:1,a:1
[7/2]bbbbbbb5lf:5,a:3
[7/3]bbabbaa4lf:2,ls:2,rf:3,rp:1,rs:3,re:1,lsrs:2,a:1
[7/4]abbbbbb3lf:3,rf:1,a:3
[7/5]bbbbbba3lf:3,rf:1,a:3
[7/6]bbbbabb2lf:2,rf:1,a:2

Considering [length 4 / frequency 3] bbba=c.

Step 2

Rewriting system is complete. See ⟨a, b | aabbba=bbaa⟩.