Morphocompletion for #2046 ⟨a, b | abaabbba=ab⟩

Back:⟨a, b | abaabbba=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. abbbbaaa ⇒ ab
2. ababbb ⇒ abbbba
3. abaabbb ⇒ abbbbaa
4. abbbbbaaa ⇒ abb
5. abbbbabaaa ⇒ abab
6. abbbbaabaaa ⇒ abaab
7. abbabbb ⇒ abbbbba
8. abbbbbbaaa ⇒ abbb
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb28lf:25,ls:3,rf:13,rs:2,a:4
[2/1]ab21lf:13,lp:8,rf:10,rp:8,rs:3,re:1,lprp:8,lprs:3,a:4
[2/2]aa17lf:12,ls:5,rf:2,rs:1,a:4
[2/3]ba10lf:10,rf:5,rs:2,a:4
[3/0]bbb19lf:16,ls:3,rf:8,rs:1,a:4
[3/1]abb15lf:9,lp:6,rf:5,rp:5,rs:1,re:1,lprp:3,lprs:1,a:4
[3/2]aaa10lf:5,ls:5,a:23
[3/3]baa7lf:7,rf:2,rs:1,a:4
[3/4]bba6lf:6,rf:3,rs:2,a:4
[3/5]aba6lf:4,lp:2,rf:2,rp:2,a:4
[3/6]bab3lf:3,rf:1,rs:1,a:17
[4/0]abbb16lf:8,lp:5,ls:3,rf:4,rp:4,rs:1,re:1,lprp:1,lsrp:3,lprs:1,a:4
[4/1]baaa10lf:5,ls:5,a:23
[4/2]bbbb8lf:8,rf:4,a:4
[4/3]bbba5lf:5,rf:3,rs:2,a:4
[4/4]bbaa4lf:4,rf:1,rs:1,a:4
[4/5]abaa4lf:3,lp:1,rf:1,rp:1,a:4
[4/6]babb2lf:2,a:17
[5/0]abbbb10lf:5,lp:5,rf:3,rp:3,a:4
[5/1]bbaaa6lf:3,ls:3,a:23
[5/2]bbbba5lf:5,rf:3,rs:2,a:4
[5/3]babbb4lf:2,ls:2,a:17
[5/4]bbbaa4lf:4,rf:1,rs:1,a:4
[5/5]abaaa4lf:2,ls:2,a:27
[5/6]bbbbb3lf:3,rf:1,a:20
[6/0]abbbba6lf:3,lp:3,rf:2,rp:2,rs:1,re:1,a:4
[6/1]bbbaaa6lf:3,ls:3,a:23
[6/2]abbbbb4lf:2,lp:2,rf:1,rp:1,a:20
[6/3]bbbbaa4lf:4,rf:1,rs:1,a:4
[6/4]bbabbb2lf:1,ls:1,a:20
[6/5]bbbbba2lf:2,rf:1,rs:1,a:20
[6/6]abbabb2lf:1,lp:1,a:20
[7/0]bbbbaaa6lf:3,ls:3,a:23
[7/1]abbbbaa4lf:2,lp:2,rf:1,rp:1,rs:1,re:1,a:4
[7/2]abbbbbb2lf:1,lp:1,a:25
[7/3]abbbbab2lf:1,lp:1,a:28
[7/4]abbbbba2lf:1,lp:1,rf:1,rp:1,rs:1,re:1,a:20
[7/5]bbbbbaa2lf:2,a:24
[7/6]bbabaaa2lf:1,ls:1,a:28

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

Step 2

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