Morphocompletion for #4322 ⟨a, b | ababbbbba=ab⟩

Back:⟨a, b | ababbbbba=ab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. abbbbbbaa ⇒ ab
2. ababbbbb ⇒ abbbbbba
3. abbbbbbbaa ⇒ abb
4. abbbbbbabaa ⇒ abab
5. abbbbbbbbaa ⇒ abbb
6. abbbbbbbabaa ⇒ abbab
7. abbbbbbabbaa ⇒ ababb
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb40lf:39,ls:1,rf:10,rs:3,a:8
[2/1]ab18lf:11,lp:7,rf:10,rp:7,rs:3,re:1,lprp:7,lprs:3,a:8
[2/2]aa12lf:6,ls:6,a:14
[2/3]ba10lf:10,rf:4,rs:1,a:8
[3/0]bbb32lf:31,ls:1,rf:5,rs:1,a:8
[3/1]abb14lf:8,lp:6,rf:5,rp:4,rs:2,re:1,lprp:3,lprs:2,a:8
[3/2]baa12lf:6,ls:6,a:14
[3/3]bba7lf:7,rf:2,rs:1,a:8
[3/4]bab4lf:4,rf:3,rs:2,a:8
[3/5]aba4lf:3,lp:1,rf:2,rp:2,a:8
[4/0]bbbb25lf:24,ls:1,rf:3,a:8
[4/1]abbb13lf:7,lp:6,rf:2,rp:2,rs:1,re:1,lprp:1,lprs:1,a:8
[4/2]bbaa8lf:4,ls:4,a:14
[4/3]bbba6lf:6,rf:1,rs:1,a:8
[4/4]abaa4lf:2,ls:2,a:24
[4/5]bbab3lf:3,rf:1,rs:1,a:24
[4/6]babb2lf:2,rf:1,rs:1,a:8
[5/0]bbbbb18lf:17,ls:1,rf:2,a:8
[5/1]abbbb13lf:7,lp:6,rf:1,rp:1,a:8
[5/2]bbbba6lf:6,rf:1,rs:1,a:8
[5/3]bbbaa6lf:3,ls:3,a:14
[5/4]babaa4lf:2,ls:2,a:24
[5/5]bbbab3lf:3,a:24
[5/6]ababb2lf:1,lp:1,rf:1,rp:1,rs:1,re:1,a:8
[6/0]abbbbb14lf:7,lp:6,ls:1,rf:1,rp:1,lsrp:1,a:8
[6/1]bbbbbb10lf:10,rf:1,a:8
[6/2]bbbbba6lf:6,rf:1,rs:1,a:8
[6/3]bbbbaa6lf:3,ls:3,a:14
[6/4]bbabaa4lf:2,ls:2,a:24
[6/5]bbbbab3lf:3,a:24
[6/6]ababbb2lf:1,lp:1,a:8
[7/0]abbbbbb12lf:6,lp:6,rf:1,rp:1,a:8
[7/1]bbbbbba6lf:6,rf:1,rs:1,a:8
[7/2]bbbbbaa6lf:3,ls:3,a:14
[7/3]bbbbbbb4lf:4,a:19
[7/4]bbbabaa4lf:2,ls:2,a:24
[7/5]bbbbbab3lf:3,a:24
[7/6]babbbbb2lf:1,ls:1,a:8

Considering [length 6 / frequency 0] abbbbb=c.

Step 2

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