Morphocompletion for #4196 ⟨a, b | aabbbaaba=ba⟩

Back:⟨a, b | aabbbaaba=ba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aaaabbbba ⇒ ba
2. bbbaaba ⇒ aabbbba
3. aaaabbbbba ⇒ bba
4. aaaabaabbbba ⇒ baaba
5. bbbaabba ⇒ aabbbbba
6. aaaabbbbbba ⇒ bbba
7. bbbaabbba ⇒ aabbbbbba
8. aaaabbbbbbba ⇒ bbbba
9. aaaabbbbbbbba ⇒ bbbbba
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb40lf:37,lp:3,rf:22,rp:4,a:3
[2/1]aa28lf:22,lp:6,rf:4,rp:3,a:3
[2/2]ba22lf:13,ls:9,rf:10,rp:2,rs:9,re:1,lsrp:2,lsrs:9,a:3
[2/3]ab10lf:10,rf:4,a:3
[3/0]bbb29lf:26,lp:3,rf:15,rp:3,a:3
[3/1]bba19lf:11,ls:8,rf:7,rp:1,rs:7,re:1,lsrp:1,lsrs:6,a:3
[3/2]aaa18lf:12,lp:6,a:3
[3/3]aab10lf:10,rf:4,rp:3,a:3
[3/4]abb8lf:8,rf:3,a:3
[3/5]baa4lf:4,rf:1,rp:1,a:5
[3/6]aba3lf:2,ls:1,rf:1,rs:1,a:5
[4/0]bbba20lf:10,lp:3,ls:7,rf:6,rp:1,rs:6,re:1,lsrp:1,lprs:3,lsrs:4,a:3
[4/1]bbbb16lf:16,rf:9,rp:2,a:3
[4/2]aaaa12lf:6,lp:6,a:3
[4/3]aabb8lf:8,rf:3,rp:3,a:3
[4/4]abbb7lf:7,rf:3,a:3
[4/5]aaab6lf:6,a:3
[4/6]baab4lf:4,rf:1,rp:1,a:5
[5/0]bbbba12lf:6,ls:6,rf:5,rp:1,rs:5,re:1,lsrp:1,lsrs:2,a:3
[5/1]aaaab12lf:6,lp:6,a:3
[5/2]bbbbb10lf:10,rf:4,rp:1,a:3
[5/3]aabbb7lf:7,rf:3,rp:3,a:3
[5/4]abbbb6lf:6,rf:3,a:3
[5/5]bbbaa6lf:3,lp:3,a:5
[5/6]aaabb5lf:5,a:3
[6/0]aaaabb10lf:5,lp:5,a:3
[6/1]bbbbba8lf:4,ls:4,rf:3,rp:1,rs:3,re:1,lsrp:1,lsrs:1,a:3
[6/2]bbbbbb6lf:6,rf:1,a:3
[6/3]bbbaab6lf:3,lp:3,a:5
[6/4]aabbbb6lf:6,rf:3,rp:3,a:3
[6/5]aaabbb5lf:5,a:3
[6/6]abbbbb4lf:4,rf:2,a:3
[7/0]aaaabbb10lf:5,lp:5,a:3
[7/1]bbbbbba6lf:3,ls:3,rf:1,rs:1,a:3
[7/2]aaabbbb5lf:5,a:3
[7/3]bbbaabb4lf:2,lp:2,a:6
[7/4]aabbbbb4lf:4,rf:2,rp:2,a:3
[7/5]aabbbba4lf:2,ls:2,rf:1,rp:1,rs:1,re:1,a:5
[7/6]bbbbbbb3lf:3,a:3

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

Step 2

Rewriting system is complete. See ⟨a, b | aabbbaaba=ba⟩.