Morphocompletion for #979 ⟨a, b | abaabba=ab⟩

Back:⟨a, b | abaabba=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. abbbaaa ⇒ ab
2. ababb ⇒ abbba
3. abaabb ⇒ abbbaa
4. abbbbaaa ⇒ abb
5. abbbabaaa ⇒ abab
6. abbbaabaaa ⇒ abaab
7. abbabb ⇒ abbbba
8. abbaabb ⇒ abbbbaa
9. abbbbbaaa ⇒ abbb
10. abbbabb ⇒ abbbbba
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb27lf:22,ls:5,rf:17,rs:2,a:2
[2/1]ab27lf:17,lp:10,rf:12,rp:10,rs:3,re:1,lprp:10,lprs:3,a:2
[2/2]aa18lf:13,ls:5,rf:3,rs:2,a:2
[2/3]ba12lf:12,rf:7,rs:3,a:2
[3/0]abb26lf:13,lp:8,ls:5,rf:7,rp:7,rs:1,re:1,lprp:5,lsrp:5,lprs:1,a:2
[3/1]aaa10lf:5,ls:5,a:16
[3/2]bbb9lf:9,rf:10,rs:1,a:2
[3/3]bba8lf:8,rf:5,rs:3,a:2
[3/4]baa8lf:8,rf:3,rs:2,a:2
[3/5]aba6lf:4,lp:2,rf:2,rp:2,a:2
[3/6]bab4lf:4,rf:1,rs:1,a:11
[4/0]abbb12lf:6,lp:6,rf:6,rp:6,rs:1,re:1,lprp:2,lprs:1,a:2
[4/1]baaa10lf:5,ls:5,a:16
[4/2]babb6lf:3,ls:3,a:11
[4/3]bbba6lf:6,rf:5,rs:3,a:2
[4/4]bbaa5lf:5,rf:2,rs:2,a:2
[4/5]aabb4lf:2,ls:2,a:2
[4/6]abba4lf:2,lp:2,a:5
[5/0]abbba8lf:4,lp:4,rf:2,rp:2,rs:1,re:1,a:2
[5/1]bbaaa6lf:3,ls:3,a:16
[5/2]abbbb4lf:2,lp:2,rf:3,rp:3,a:5
[5/3]bbabb4lf:2,ls:2,a:14
[5/4]baabb4lf:2,ls:2,a:2
[5/5]bbbaa4lf:4,rf:2,rs:2,a:2
[5/6]abaaa4lf:2,ls:2,a:19
[6/0]bbbaaa6lf:3,ls:3,a:16
[6/1]abbbab4lf:2,lp:2,a:20
[6/2]abbbaa4lf:2,lp:2,rf:1,rp:1,rs:1,re:1,a:2
[6/3]abbbbb2lf:1,lp:1,rf:1,rp:1,a:18
[6/4]bbbabb2lf:1,ls:1,a:24
[6/5]abbbba2lf:1,lp:1,rf:2,rp:2,rs:1,re:1,a:5
[6/6]bbaabb2lf:1,ls:1,a:5
[7/0]bbbbaaa4lf:2,ls:2,a:17
[7/1]abbbbba2lf:1,lp:1,rf:1,rp:1,rs:1,re:1,a:18
[7/2]abbbaab2lf:1,lp:1,a:19
[7/3]abbbaba2lf:1,lp:1,a:20
[7/4]abbbbaa2lf:1,lp:1,rf:1,rp:1,rs:1,re:1,a:5
[7/5]bbabaaa2lf:1,ls:1,a:20
[7/6]baabaaa2lf:1,ls:1,a:19

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

Step 2

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