Morphocompletion for #4584 ⟨a, b | aaabbbba=abb⟩

Back:⟨a, b | aaabbbba=abb⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. aaabbbba ⇒ abb
2. abbaabbbba ⇒ abbbb
3. aaabbbbbb ⇒ abbabbbba
4. abbbbaabbbba ⇒ abbbbbb
5. abbaabbbbbb ⇒ abbbbabbbba
6. abbbbbbaabbbba ⇒ abbbbbbbb
7. abbbbaabbbbbb ⇒ abbbbbbabbbba
8. abbbbbbbbaabbbba ⇒ abbbbbbbbbb
9. abbbbbbaabbbbbb ⇒ abbbbbbbbabbbba
10. abbbbbbbbbbaabbbba ⇒ abbbbbbbbbbbb
11. abbbbbbbbaabbbbbb ⇒ abbbbbbbbbbabbbba
12. abbbbbbbbbbbbaabbbba ⇒ abbbbbbbbbbbbbb
13. abbbbbbbbbbaabbbbbb ⇒ abbbbbbbbbbbbabbbba
14. abbbbbbbbbbbbbbaabbbba ⇒ abbbbbbbbbbbbbbbb
15. abbbbbbbbbbbbaabbbbbb ⇒ abbbbbbbbbbbbbbabbbba
16. abbbbbbbbbbbbbbbbaabbbba ⇒ abbbbbbbbbbbbbbbbbb
17. abbbbbbbbbbbbbbaabbbbbb ⇒ abbbbbbbbbbbbbbbbabbbba
18. abbbbbbbbbbbbbbbbbbaabbbba ⇒ abbbbbbbbbbbbbbbbbbbb
19. abbbbbbbbbbbbbbbbaabbbbbb ⇒ abbbbbbbbbbbbbbbbbbabbbba
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb229lf:220,ls:9,rf:208,rs:10
[2/1]ab53lf:36,lp:17,rf:28,rp:19,lprp:17
[2/2]ba37lf:27,ls:10,rf:18,rs:9
[2/3]aa23lf:21,lp:2
[3/0]bbb193lf:184,ls:9,rf:180,rs:9
[3/1]abb53lf:36,lp:17,rf:28,rp:19,rs:1,re:1,lprp:17
[3/2]bba37lf:27,ls:10,rf:18,rs:9
[3/3]aab19lf:19
[3/4]baa17lf:17,a:1
[3/5]aaa4lf:2,lp:2
[3/6]bab0rf:9,a:4
[4/0]bbbb159lf:150,ls:9,rf:154,rs:9
[4/1]abbb49lf:34,lp:15,rf:26,rp:17,lprp:15
[4/2]bbba35lf:25,ls:10,rf:17,rs:9
[4/3]aabb19lf:19
[4/4]baab17lf:17,a:1
[4/5]bbaa17lf:17,a:1
[4/6]abba4lf:2,lp:2,rf:1,rp:1,a:1
[5/0]bbbbb125lf:116,ls:9,rf:128,rs:8,a:2
[5/1]abbbb49lf:34,lp:15,rf:26,rp:17,rs:1,re:1,lprp:15
[5/2]bbbba35lf:25,ls:10,rf:17,rs:9
[5/3]aabbb19lf:19
[5/4]baabb17lf:17,a:1
[5/5]bbaab17lf:17,a:1
[5/6]bbbaa15lf:15,a:2
[6/0]bbbbbb103lf:94,ls:9,rf:113,rs:8,a:2
[6/1]abbbbb35lf:22,lp:13,rf:15,rp:15,lprp:13,a:2
[6/2]abbbba24lf:12,lp:2,ls:10,rf:10,rp:1,rs:9,lprs:1
[6/3]aabbbb19lf:19
[6/4]baabbb17lf:17,a:1
[6/5]bbaabb17lf:17,a:1
[6/6]bbbaab15lf:15,a:2
[7/0]bbbbbbb72lf:72,rf:98,rs:7,a:3
[7/1]abbbbbb44lf:22,lp:13,ls:9,rf:15,rp:15,rs:1,re:1,lprp:13,lsrp:7,a:2
[7/2]aabbbba20lf:10,ls:10
[7/3]baabbbb17lf:17,a:1
[7/4]bbaabbb17lf:17,a:1
[7/5]bbbaabb15lf:15,a:2
[7/6]bbbbaab15lf:15,a:2

Considering [length 4 / frequency 1] abbb=c.

Step 2

Rewriting system is complete. See ⟨a, b | aaabbbba=abb⟩.