Morphocompletion for #4348 ⟨a, b | abbabbbba=ab⟩

Back:⟨a, b | abbabbbba=ab⟩

Solved by morph:5/1. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. abbabbb ⇒ abbbbba
2. abbbbbaba ⇒ ab
3. abbbabbb ⇒ abbbbbba
4. abbbbbbaba ⇒ abb
5. abbbbabbb ⇒ abbbbbbba
6. abbbbbbbaba ⇒ abbb
7. abbbbbabbaba ⇒ abbab
8. abbbbbbbbaba ⇒ abbbb
9. abbbbbbbbaaba ⇒ abbabb
10. abbbbbbabbaba ⇒ abbbab
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb55lf:52,ls:3,rf:26,rs:4,a:4
[2/1]ab32lf:22,lp:10,rf:13,rp:10,rs:3,re:1,lprp:10,lprs:3,a:4
[2/2]ba26lf:19,ls:7,rf:6,rs:3,a:4
[2/3]aa1lf:1,a:30
[3/0]bbb40lf:37,ls:3,rf:16,rs:2,a:4
[3/1]abb25lf:15,lp:10,rf:10,rp:9,rs:2,re:1,lprp:9,lprs:2,a:4
[3/2]aba14lf:7,ls:7,a:8
[3/3]bba12lf:12,rf:6,rs:3,a:4
[3/4]bab11lf:11,rf:3,rs:2,a:4
[3/5]aab1lf:1,a:30
[3/6]baa1lf:1,a:30
[4/0]bbbb25lf:25,rf:10,rs:1,a:4
[4/1]abbb24lf:12,lp:9,ls:3,rf:6,rp:6,rs:1,re:1,lprp:5,lsrp:3,lprs:1,a:4
[4/2]baba12lf:6,ls:6,a:8
[4/3]bbab11lf:11,rf:3,rs:2,a:4
[4/4]bbba9lf:9,rf:4,rs:3,a:4
[4/5]babb5lf:5,rf:1,rs:1,a:4
[4/6]abba4lf:3,lp:1,rf:2,rp:2,a:4
[5/0]bbbbb17lf:17,rf:6,a:4
[5/1]abbbb16lf:8,lp:8,rf:4,rp:4,rs:1,re:1,lprp:2,lprs:1,a:4
[5/2]bbaba12lf:6,ls:6,a:8
[5/3]bbbab8lf:8,rf:1,rs:1,a:5
[5/4]bbbba8lf:8,rf:3,rs:3,a:4
[5/5]babbb6lf:3,ls:3,a:4
[5/6]bbabb5lf:5,rf:1,rs:1,a:4
[6/0]abbbbb14lf:7,lp:7,rf:3,rp:3,a:4
[6/1]bbbbbb10lf:10,rf:3,a:5
[6/2]bbbaba8lf:4,ls:4,a:8
[6/3]bbbbab7lf:7,a:7
[6/4]bbbbba7lf:7,rf:3,rs:3,a:4
[6/5]bbabbb6lf:3,ls:3,a:4
[6/6]bbbabb4lf:4,a:5
[7/0]abbbbbb10lf:5,lp:5,rf:2,rp:2,a:5
[7/1]bbbbaba8lf:4,ls:4,a:8
[7/2]bbbbbab6lf:6,a:8
[7/3]bbbbbbb5lf:5,rf:1,a:7
[7/4]bbbbbba5lf:5,rf:2,rs:2,a:5
[7/5]bbbabbb4lf:2,ls:2,a:5
[7/6]abbbbba4lf:2,lp:2,rf:1,rp:1,rs:1,re:1,a:4

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

Step 2

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