Morphocompletion for #2031 ⟨a, b | abaaabba=ab⟩

Back:⟨a, b | abaaabba=ab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. abbbaaaa ⇒ ab
2. ababb ⇒ abbba
3. abaabb ⇒ abbbaa
4. abaaabb ⇒ abbbaaa
5. abbbbaaaa ⇒ abb
6. abbbabaaaa ⇒ abab
7. abbabb ⇒ abbbba
8. abbaabb ⇒ abbbbaa
9. abbbbbaaaa ⇒ abbb
...

Collecting factors up to length 8 / frequency 7:

[2/0]ab24lf:15,lp:9,rf:10,rp:9,rs:2,re:1,lprp:9,lprs:2,a:2
[2/1]bb23lf:18,ls:5,rf:15,rs:2,a:2
[2/2]aa20lf:16,ls:4,rf:4,rs:3,a:2
[2/3]ba10lf:10,rf:6,rs:2,a:2
[3/0]abb22lf:11,lp:6,ls:5,rf:7,rp:7,rs:1,re:1,lprp:4,lsrp:5,lprs:1,a:2
[3/1]aaa13lf:9,ls:4,rf:1,rs:1,a:2
[3/2]bbb7lf:7,rf:8,rs:1,a:2
[3/3]aba7lf:4,lp:3,rf:1,rp:1,a:2
[3/4]baa7lf:7,rf:3,rs:2,a:2
[3/5]bba6lf:6,rf:5,rs:2,a:2
[3/6]bab3lf:3,rf:1,rs:1,a:20
[4/0]abbb8lf:4,lp:4,rf:6,rp:6,rs:1,re:1,lprp:1,lprs:1,a:2
[4/1]aaaa8lf:4,ls:4,a:26
[4/2]aabb6lf:3,ls:3,a:2
[4/3]abaa5lf:3,lp:2,a:2
[4/4]baaa5lf:5,rf:1,rs:1,a:2
[4/5]babb4lf:2,ls:2,a:20
[4/6]bbba4lf:4,rf:5,rs:2,a:2
[5/0]baaaa8lf:4,ls:4,a:26
[5/1]abbbb4lf:2,lp:2,rf:2,rp:2,a:15
[5/2]abbba4lf:2,lp:2,rf:3,rp:3,rs:1,re:1,a:2
[5/3]baabb4lf:2,ls:2,a:11
[5/4]bbbaa3lf:3,rf:3,rs:2,a:2
[5/5]bbaaa3lf:3,rf:1,rs:1,a:2
[5/6]abaaa3lf:2,lp:1,a:2
[6/0]bbaaaa6lf:3,ls:3,a:26
[6/1]bbbaaa3lf:3,rf:1,rs:1,a:2
[6/2]abbbbb2lf:1,lp:1,a:28
[6/3]abbbab2lf:1,lp:1,a:31
[6/4]abbbba2lf:1,lp:1,rf:2,rp:2,rs:1,re:1,a:15
[6/5]bbaabb2lf:1,ls:1,a:15
[6/6]bbbbaa2lf:2,rf:1,rs:1,a:15
[7/0]bbbaaaa6lf:3,ls:3,a:26
[7/1]abbbbba2lf:1,lp:1,a:28
[7/2]abbbaba2lf:1,lp:1,a:31
[7/3]abbbbaa2lf:1,lp:1,rf:1,rp:1,rs:1,re:1,a:15
[7/4]bbbbaaa2lf:2,a:27
[7/5]abbbaaa2lf:1,lp:1,rf:1,rp:1,rs:1,re:1,a:2
[7/6]babaaaa2lf:1,ls:1,a:31

Considering [length 3 / frequency 0] abb=c.

Step 2

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