Morphocompletion for #998 ⟨a, b | abbabba=ab⟩

Back:⟨a, b | abbabba=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. abbab ⇒ abbba
2. abbbab ⇒ abbbba
3. abbbbab ⇒ abbbbba
4. abbbbaa ⇒ ab
5. abbbbbab ⇒ abbbbbba
6. abbbbbaa ⇒ abb
7. abbbbbbab ⇒ abbbbbbba
8. abbbbbbaa ⇒ abbb
9. abbbbbbbaa ⇒ abbbb
10. abbbbbbbbaa ⇒ abbbbb
11. abbbbbbbbbaa ⇒ abbbbbb
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb48lf:48,rf:35,rs:5,a:1
[2/1]ab32lf:16,lp:11,ls:5,rf:11,rp:11,rs:1,re:1,lprp:11,lsrp:5,lprs:1,a:1
[2/2]aa12lf:6,ls:6,a:11
[2/3]ba11lf:11,rf:5,rs:5,a:1
[3/0]bbb37lf:37,rf:25,rs:4,a:1
[3/1]abb22lf:11,lp:11,rf:10,rp:10,rs:1,re:1,lprp:10,lprs:1,a:1
[3/2]baa12lf:6,ls:6,a:11
[3/3]bba11lf:11,rf:5,rs:5,a:1
[3/4]bab10lf:5,ls:5,a:1
[4/0]bbbb27lf:27,rf:16,rs:3,a:4
[4/1]abbb20lf:10,lp:10,rf:9,rp:9,rs:1,re:1,lprp:8,lprs:1,a:1
[4/2]bbaa12lf:6,ls:6,a:11
[4/3]bbab10lf:5,ls:5,a:1
[4/4]bbba10lf:10,rf:5,rs:5,a:1
[4/5]abba2lf:1,lp:1,a:1
[5/0]abbbb18lf:9,lp:9,rf:7,rp:7,rs:1,re:1,lprp:6,lprs:1,a:4
[5/1]bbbbb18lf:18,rf:9,rs:2,a:8
[5/2]bbbaa12lf:6,ls:6,a:11
[5/3]bbbba9lf:9,rf:4,rs:4,a:4
[5/4]bbbab8lf:4,ls:4,a:4
[5/5]abbba2lf:1,lp:1,rf:1,rp:1,rs:1,re:1,a:1
[6/0]abbbbb14lf:7,lp:7,rf:5,rp:5,rs:1,re:1,lprp:4,lprs:1,a:8
[6/1]bbbbaa12lf:6,ls:6,a:11
[6/2]bbbbbb11lf:11,rf:4,rs:1,a:12
[6/3]bbbbba7lf:7,rf:3,rs:3,a:8
[6/4]bbbbab6lf:3,ls:3,a:8
[6/5]abbbba4lf:2,lp:2,rf:1,rp:1,rs:1,re:1,a:4
[7/0]abbbbbb10lf:5,lp:5,rf:3,rp:3,rs:1,re:1,lprp:2,lprs:1,a:12
[7/1]bbbbbaa10lf:5,ls:5,a:13
[7/2]bbbbbbb6lf:6,rf:1,a:15
[7/3]bbbbbba5lf:5,rf:2,rs:2,a:12
[7/4]abbbbba4lf:2,lp:2,rf:1,rp:1,rs:1,re:1,a:8
[7/5]bbbbbab4lf:2,ls:2,a:12

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

Step 2

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