Morphocompletion for #4292 ⟨a, b | ababaabba=ab⟩

Back:⟨a, b | ababaabba=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. abbbaa ⇒ abbaab
2. ababbaab ⇒ ababaabb
3. abbbba ⇒ ababbb
4. ababbba ⇒ abbaabb
5. abbaabba ⇒ ababaabb
6. ababaabba ⇒ ab
7. abbbabaa ⇒ abbaabab
8. abbbbba ⇒ abbabbb
9. abbabaabba ⇒ abb
10. abbaababaabb ⇒ abbba
...

Collecting factors up to length 8 / frequency 7:

[2/0]ab33lf:22,lp:10,ls:1,rf:20,rp:10,rs:3,re:1,lprp:10,lsrp:1,lprs:3
[2/1]ba26lf:20,ls:6,rf:11,rs:1
[2/2]bb22lf:21,ls:1,rf:14,rs:6
[2/3]aa10lf:8,ls:2,rf:5
[3/0]abb21lf:13,lp:7,ls:1,rf:11,rp:6,rs:4,re:1,lprp:5,lsrp:1,lprs:2
[3/1]bba18lf:12,ls:6,rf:5,rs:1
[3/2]aba11lf:8,lp:3,rf:6,rp:3,lprp:1
[3/3]baa10lf:8,ls:2,rf:5
[3/4]bbb8lf:8,rf:3,rs:2,a:11
[3/5]aab7lf:6,ls:1,rf:5,rs:1
[3/6]bab6lf:6,rf:5,rs:1
[4/0]abba13lf:7,lp:3,ls:3,rf:4,rp:4
[4/1]abbb9lf:5,lp:4,rf:3,rp:1,rs:2,lprs:2,a:11
[4/2]bbba8lf:5,ls:3,rf:1,rs:1,a:11
[4/3]baab7lf:6,ls:1,rf:5,rs:1
[4/4]abab7lf:4,lp:3,rf:4,rp:3,rs:1,lprp:1
[4/5]bbaa5lf:4,ls:1,rf:3,a:2
[4/6]aabb5lf:4,ls:1,rf:3,rs:3
[5/0]abbba6lf:3,lp:2,ls:1,rf:1,rp:1,rs:1,re:1,a:11
[5/1]aabba6lf:3,ls:3
[5/2]baabb5lf:4,ls:1,rf:3,rs:3
[5/3]babaa5lf:4,ls:1,rf:2
[5/4]abbaa5lf:3,lp:2,rf:3,rp:3,a:2
[5/5]bbbba4lf:2,ls:2,a:28
[5/6]abbbb4lf:2,lp:2,a:28
[6/0]baabba6lf:3,ls:3
[6/1]abbaab6lf:3,lp:2,ls:1,rf:3,rp:3,rs:1,re:1,a:2
[6/2]abaabb4lf:3,ls:1,rf:2,rs:2
[6/3]bbabaa3lf:2,ls:1,a:1
[6/4]babaab3lf:3,rf:2
[6/5]ababaa3lf:2,lp:1,rf:2,rp:2
[6/6]bbbbba2lf:1,ls:1,a:30
[7/0]babaabb4lf:3,ls:1,rf:2,rs:2
[7/1]abaabba4lf:2,ls:2
[7/2]ababaab3lf:2,lp:1,rf:2,rp:2
[7/3]bbbabaa2lf:1,ls:1,a:25
[7/4]abbbaba2lf:1,lp:1,a:25
[7/5]bbaabba2lf:1,ls:1,a:2
[7/6]babbaab2lf:1,ls:1,a:40

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

Step 2

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