Morphocompletion for #2068 ⟨a, b | ababbbba=ab⟩

Back:⟨a, b | ababbbba=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. abbbbbaa ⇒ ab
2. ababbbb ⇒ abbbbba
3. abbbbbbaa ⇒ abb
4. abbbbbabaa ⇒ abab
5. abbabbbb ⇒ abbbbbba
6. abbbbbbbaa ⇒ abbb
7. abbbbbbabaa ⇒ abbab
8. abbbbbabbaa ⇒ ababb
9. abbbbbababaa ⇒ ababab
10. abbbbbbbbaa ⇒ abbbb
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb49lf:47,ls:2,rf:17,rs:4,a:6
[2/1]ab27lf:17,lp:10,rf:15,rp:10,rs:4,re:1,lprp:10,lprs:4,a:6
[2/2]aa16lf:8,ls:8,a:11
[2/3]ba15lf:15,rf:7,rs:2,a:6
[3/0]bbb37lf:35,ls:2,rf:10,rs:2,a:6
[3/1]abb21lf:12,lp:9,rf:7,rp:6,rs:2,re:1,lprp:5,lprs:2,a:6
[3/2]baa16lf:8,ls:8,a:11
[3/3]bba10lf:10,rf:3,rs:2,a:6
[3/4]bab7lf:7,rf:5,rs:3,a:6
[3/5]aba6lf:5,lp:1,rf:4,rp:3,a:6
[4/0]bbbb27lf:25,ls:2,rf:6,rs:1,a:6
[4/1]abbb18lf:10,lp:8,rf:4,rp:4,rs:1,re:1,lprp:2,lprs:1,a:6
[4/2]bbaa10lf:5,ls:5,a:11
[4/3]bbba8lf:8,rf:2,rs:2,a:6
[4/4]abaa6lf:3,ls:3,a:19
[4/5]bbab5lf:5,rf:1,rs:1,a:7
[4/6]baba4lf:4,rf:1,a:19
[5/0]abbbb20lf:10,lp:8,ls:2,rf:3,rp:3,rs:1,re:1,lprp:1,lsrp:2,lprs:1,a:6
[5/1]bbbbb15lf:15,rf:3,a:6
[5/2]bbbba8lf:8,rf:2,rs:2,a:6
[5/3]bbbaa8lf:4,ls:4,a:11
[5/4]babaa6lf:3,ls:3,a:19
[5/5]bbbab4lf:4,a:19
[5/6]bbaba3lf:3,a:19
[6/0]abbbbb16lf:8,lp:8,rf:2,rp:2,a:6
[6/1]bbbbba8lf:8,rf:2,rs:2,a:6
[6/2]bbbbaa8lf:4,ls:4,a:11
[6/3]bbbbbb7lf:7,rf:1,a:7
[6/4]babbbb4lf:2,ls:2,a:6
[6/5]bbbbab4lf:4,a:19
[6/6]bbabaa4lf:2,ls:2,a:19
[7/0]abbbbbb8lf:4,lp:4,rf:1,rp:1,a:7
[7/1]abbbbba8lf:4,lp:4,rf:1,rp:1,rs:1,re:1,a:6
[7/2]bbbbbaa8lf:4,ls:4,a:11
[7/3]bbbbbab4lf:4,a:19
[7/4]bbbbbba4lf:4,rf:1,rs:1,a:7
[7/5]bbbabaa4lf:2,ls:2,a:19
[7/6]bbbbbbb3lf:3,a:16

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

Step 2

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