Morphocompletion for #2082 ⟨a, b | abbabbba=ab⟩

Back:⟨a, b | abbabbba=ab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. abbabb ⇒ abbbba
2. abbbbaba ⇒ ab
3. abbbabb ⇒ abbbbba
4. abbbbbaba ⇒ abb
5. abbbbabb ⇒ abbbbbba
6. abbbbaabb ⇒ abbbbbbaa
7. abbbbbbaba ⇒ abbb
8. abbbbbbaaba ⇒ abbab
9. abbbbbabb ⇒ abbbbbbba
10. abbbbbbbaba ⇒ abbbb
11. abbbbbbbaaba ⇒ abbbab
12. abbbbbbbbaba ⇒ abbbbb
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb59lf:54,ls:5,rf:36,rs:4,a:2
[2/1]ab36lf:24,lp:12,rf:14,rp:12,rs:3,re:1,lprp:12,lprs:3,a:2
[2/2]ba26lf:19,ls:7,rf:7,rs:4,a:2
[2/3]aa3lf:3,rf:1,rs:1,a:7
[3/0]bbb37lf:37,rf:25,rs:3,a:2
[3/1]abb34lf:17,lp:12,ls:5,rf:11,rp:11,rs:1,re:1,lprp:11,lsrp:5,lprs:1,a:2
[3/2]aba14lf:7,ls:7,a:5
[3/3]bba12lf:12,rf:7,rs:4,a:2
[3/4]bab9lf:9,rf:2,rs:2,a:2
[3/5]aab3lf:3,a:7
[3/6]baa3lf:3,rf:1,rs:1,a:7
[4/0]bbbb26lf:26,rf:16,rs:2,a:2
[4/1]abbb22lf:11,lp:11,rf:9,rp:9,rs:1,re:1,lprp:8,lprs:1,a:2
[4/2]bbba11lf:11,rf:6,rs:4,a:2
[4/3]baba10lf:5,ls:5,a:5
[4/4]bbab9lf:9,rf:2,rs:2,a:2
[4/5]babb8lf:4,ls:4,a:2
[4/6]aaba4lf:2,ls:2,a:10
[5/0]abbbb20lf:10,lp:10,rf:7,rp:7,rs:1,re:1,lprp:5,lprs:1,a:2
[5/1]bbbbb16lf:16,rf:9,rs:1,a:4
[5/2]bbbba10lf:10,rf:5,rs:4,a:2
[5/3]bbaba10lf:5,ls:5,a:5
[5/4]bbabb8lf:4,ls:4,a:2
[5/5]bbbab8lf:8,rf:1,rs:1,a:4
[5/6]baaba4lf:2,ls:2,a:10
[6/0]abbbbb14lf:7,lp:7,rf:5,rp:5,rs:1,re:1,lprp:2,lprs:1,a:4
[6/1]bbbaba10lf:5,ls:5,a:5
[6/2]bbbbbb9lf:9,rf:4,a:7
[6/3]bbbbab7lf:7,a:5
[6/4]bbbbba7lf:7,rf:4,rs:3,a:4
[6/5]bbbabb6lf:3,ls:3,a:4
[6/6]abbbba6lf:3,lp:3,rf:1,rp:1,rs:1,re:1,a:2
[7/0]abbbbbb10lf:5,lp:5,rf:3,rp:3,a:7
[7/1]bbbbaba10lf:5,ls:5,a:5
[7/2]bbbbbab5lf:5,a:8
[7/3]bbbbbba5lf:5,rf:3,rs:2,a:7
[7/4]bbbbbbb4lf:4,rf:1,a:11
[7/5]bbbbabb4lf:2,ls:2,a:13
[7/6]abbbbab4lf:2,lp:2,a:5

Considering [length 6 / frequency 0] abbbbb=c.

Step 2

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