Morphocompletion for #4356 ⟨a, b | abbbabbba=ab⟩

Back:⟨a, b | abbbabbba=ab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. abbbab ⇒ abbbba
2. abbbbab ⇒ abbbbba
3. abbbbbbaa ⇒ ab
4. abbbbbab ⇒ abbbbbba
5. abbbbbbbaa ⇒ abb
6. abbbbbbab ⇒ abbbbbbba
7. abbbbbbbbaa ⇒ abbb
8. abbbbbbbbbaa ⇒ abbbb
9. abbbbbbbbbbaa ⇒ abbbbb
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb49lf:49,rf:28,rs:4,a:1
[2/1]ab26lf:13,lp:9,ls:4,rf:9,rp:9,rs:1,re:1,lprp:9,lsrp:4,lprs:1,a:1
[2/2]aa10lf:5,ls:5,a:11
[2/3]ba9lf:9,rf:4,rs:4,a:1
[3/0]bbb40lf:40,rf:20,rs:3,a:1
[3/1]abb18lf:9,lp:9,rf:8,rp:8,rs:1,re:1,lprp:8,lprs:1,a:1
[3/2]baa10lf:5,ls:5,a:11
[3/3]bba9lf:9,rf:4,rs:4,a:1
[3/4]bab8lf:4,ls:4,a:1
[4/0]bbbb31lf:31,rf:13,rs:2,a:1
[4/1]abbb18lf:9,lp:9,rf:7,rp:7,rs:1,re:1,lprp:7,lprs:1,a:1
[4/2]bbaa10lf:5,ls:5,a:11
[4/3]bbba9lf:9,rf:4,rs:4,a:1
[4/4]bbab8lf:4,ls:4,a:1
[5/0]bbbbb23lf:23,rf:7,rs:1,a:4
[5/1]abbbb16lf:8,lp:8,rf:6,rp:6,rs:1,re:1,lprp:5,lprs:1,a:1
[5/2]bbbaa10lf:5,ls:5,a:11
[5/3]bbbab8lf:4,ls:4,a:1
[5/4]bbbba8lf:8,rf:4,rs:4,a:1
[5/5]abbba2lf:1,lp:1,a:1
[6/0]bbbbbb16lf:16,rf:3,a:8
[6/1]abbbbb14lf:7,lp:7,rf:4,rp:4,rs:1,re:1,lprp:3,lprs:1,a:4
[6/2]bbbbaa10lf:5,ls:5,a:11
[6/3]bbbbba7lf:7,rf:3,rs:3,a:4
[6/4]bbbbab6lf:3,ls:3,a:4
[6/5]abbbba2lf:1,lp:1,rf:1,rp:1,rs:1,re:1,a:1
[7/0]abbbbbb12lf:6,lp:6,rf:2,rp:2,lprp:1,a:8
[7/1]bbbbbbb10lf:10,rf:1,a:12
[7/2]bbbbbaa10lf:5,ls:5,a:11
[7/3]bbbbbba6lf:6,rf:2,rs:2,a:8
[7/4]bbbbbab4lf:2,ls:2,a:8
[7/5]abbbbba2lf:1,lp:1,rf:1,rp:1,rs:1,re:1,a:4

Considering [length 7 / frequency 0] abbbbbb=c.

Step 2

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