Morphocompletion for #4280 ⟨a, b | abaabbbba=ab⟩

Back:⟨a, b | abaabbbba=ab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. abbbbbaaa ⇒ ab
2. ababbbb ⇒ abbbbba
3. abaabbbb ⇒ abbbbbaa
4. abbbbbbaaa ⇒ abb
5. abbbbbabaaa ⇒ abab
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb21lf:19,ls:2,rf:9,rs:1,a:6
[2/1]ab13lf:8,lp:5,rf:6,rp:5,rs:2,re:1,lprp:5,lprs:2,a:6
[2/2]aa10lf:7,ls:3,rf:1,rs:1,a:6
[2/3]ba6lf:6,rf:3,rs:1,a:6
[3/0]bbb16lf:14,ls:2,rf:6,a:6
[3/1]abb8lf:5,lp:3,rf:3,rp:3,rs:1,re:1,lprp:1,lprs:1,a:6
[3/2]aaa6lf:3,ls:3,a:36
[3/3]aba5lf:3,lp:2,rf:1,rp:1,a:6
[3/4]baa4lf:4,rf:1,rs:1,a:6
[3/5]bba3lf:3,rf:2,rs:1,a:6
[3/6]bab2lf:2,rf:1,rs:1,a:23
[4/0]bbbb11lf:9,ls:2,rf:4,a:6
[4/1]abbb8lf:5,lp:3,rf:2,rp:2,a:6
[4/2]baaa6lf:3,ls:3,a:36
[4/3]bbba3lf:3,rf:2,rs:1,a:6
[4/4]abaa3lf:2,lp:1,a:6
[4/5]abab2lf:1,lp:1,rf:1,rp:1,rs:1,re:1,a:23
[4/6]bbaa2lf:2,rf:1,rs:1,a:6
[5/0]abbbb10lf:5,lp:3,ls:2,rf:2,rp:2,lsrp:2,a:6
[5/1]bbbbb4lf:4,rf:2,a:6
[5/2]bbaaa4lf:2,ls:2,a:36
[5/3]bbbba3lf:3,rf:2,rs:1,a:6
[5/4]ababb2lf:1,lp:1,a:23
[5/5]bbbaa2lf:2,rf:1,rs:1,a:6
[5/6]abaab2lf:1,lp:1,a:6
[6/0]abbbbb6lf:3,lp:3,rf:2,rp:2,a:6
[6/1]bbbaaa4lf:2,ls:2,a:36
[6/2]bbbbba3lf:3,rf:2,rs:1,a:6
[6/3]babbbb2lf:1,ls:1,a:23
[6/4]aabbbb2lf:1,ls:1,a:6
[6/5]ababbb2lf:1,lp:1,a:23
[6/6]bbbbaa2lf:2,rf:1,rs:1,a:6
[7/0]abbbbba4lf:2,lp:2,rf:2,rp:2,rs:1,re:1,a:6
[7/1]bbbbaaa4lf:2,ls:2,a:36
[7/2]abbbbbb2lf:1,lp:1,a:38
[7/3]baabbbb2lf:1,ls:1,a:6
[7/4]bbbbbaa2lf:2,rf:1,rs:1,a:6
[7/5]abaabbb2lf:1,lp:1,a:6
[7/6]bbabaaa2lf:1,ls:1,a:43

Considering [length 5 / frequency 0] abbbb=c.

Step 2

Rewriting system is complete. See ⟨a, b | abaabbbba=ab⟩.