Morphocompletion for #990 ⟨a, b | ababbba=ab⟩

Back:⟨a, b | ababbba=ab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. abbbbaa ⇒ ab
2. ababbb ⇒ abbbba
3. abbbbbaa ⇒ abb
4. abbbbabaa ⇒ abab
5. abbabbb ⇒ abbbbba
6. abbbbbbaa ⇒ abbb
7. abbbbbabaa ⇒ abbab
8. abbbbabbaa ⇒ ababb
9. abbbbababaa ⇒ ababab
10. abbbabbb ⇒ abbbbbba
11. abbbbbbbaa ⇒ abbbb
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb44lf:41,ls:3,rf:20,rs:4,a:4
[2/1]ab30lf:19,lp:11,rf:16,rp:11,rs:4,re:1,lprp:11,lprs:4,a:4
[2/2]ba16lf:16,rf:8,rs:3,a:4
[2/3]aa16lf:8,ls:8,a:8
[3/0]bbb30lf:27,ls:3,rf:12,rs:2,a:4
[3/1]abb24lf:14,lp:10,rf:8,rp:7,rs:2,re:1,lprp:6,lprs:2,a:4
[3/2]baa16lf:8,ls:8,a:8
[3/3]bba11lf:11,rf:4,rs:3,a:4
[3/4]bab8lf:8,rf:5,rs:3,a:4
[3/5]aba6lf:5,lp:1,rf:4,rp:3,a:4
[4/0]abbb24lf:12,lp:9,ls:3,rf:5,rp:5,rs:1,re:1,lprp:3,lsrp:3,lprs:1,a:4
[4/1]bbbb15lf:15,rf:7,rs:1,a:4
[4/2]bbaa10lf:5,ls:5,a:8
[4/3]bbba9lf:9,rf:3,rs:3,a:4
[4/4]bbab6lf:6,rf:1,rs:1,a:5
[4/5]abaa6lf:3,ls:3,a:14
[4/6]babb4lf:4,rf:1,rs:1,a:4
[5/0]abbbb16lf:8,lp:8,rf:4,rp:4,rs:1,re:1,lprp:1,lprs:1,a:4
[5/1]bbbba8lf:8,rf:3,rs:3,a:4
[5/2]bbbaa8lf:4,ls:4,a:8
[5/3]bbbbb7lf:7,rf:3,a:5
[5/4]babbb6lf:3,ls:3,a:4
[5/5]babaa6lf:3,ls:3,a:14
[5/6]bbbab5lf:5,a:7
[6/0]abbbbb8lf:4,lp:4,rf:2,rp:2,a:5
[6/1]abbbba8lf:4,lp:4,rf:1,rp:1,rs:1,re:1,a:4
[6/2]bbbbaa8lf:4,ls:4,a:8
[6/3]bbabbb4lf:2,ls:2,a:5
[6/4]bbbbab4lf:4,a:14
[6/5]bbbbba4lf:4,rf:2,rs:2,a:5
[6/6]bbabaa4lf:2,ls:2,a:14
[7/0]abbbbab6lf:3,lp:3,a:14
[7/1]bbbbbaa6lf:3,ls:3,a:11
[7/2]abbbbbb4lf:2,lp:2,rf:1,rp:1,a:7
[7/3]abbbbba4lf:2,lp:2,rf:1,rp:1,rs:1,re:1,a:5
[7/4]bbbabaa4lf:2,ls:2,a:14
[7/5]bbbbaba3lf:3,a:14
[7/6]bbbabbb2lf:1,ls:1,a:7

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

Step 2

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