Morphocompletion for #4330 ⟨a, b | abbaaabba=ab⟩

Back:⟨a, b | abbaaabba=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. abaabba ⇒ abbaaab
2. abbaabba ⇒ abbbaaab
3. abbaaabba ⇒ ab
4. ababbab ⇒ abbbaba
5. abbbaabba ⇒ abbbbaaab
6. abbbaaabba ⇒ abb
7. abbabbab ⇒ abbbbaba
8. abbabbaba ⇒ abbbaaabb
9. abbbbaaabba ⇒ abbb
10. abbbbbaaabba ⇒ abbbb
...

Collecting factors up to length 8 / frequency 7:

[2/0]ab35lf:23,lp:10,ls:2,rf:16,rp:10,rs:4,re:1,lprp:10,lsrp:2,lprs:4
[2/1]ba29lf:21,ls:8,rf:8,rs:2
[2/2]bb25lf:25,rf:20,rs:4
[2/3]aa11lf:11,rf:8
[3/0]abb26lf:18,lp:8,rf:10,rp:9,rs:2,re:1,lprp:7,lprs:2
[3/1]bba25lf:18,ls:7,rf:6
[3/2]bab8lf:6,ls:2,rf:2,a:15
[3/3]bbb7lf:7,rf:10,rs:2,a:2
[3/4]aab7lf:7,rf:4,rs:3
[3/5]baa7lf:7,rf:4
[3/6]aba6lf:3,lp:2,ls:1,rf:2,rs:2,lprs:1,a:1
[4/0]abba25lf:14,lp:4,ls:7,rf:1,rp:1,lsrp:1
[4/1]abbb8lf:4,lp:4,rf:7,rp:7,rs:1,re:1,lprp:3,lprs:1,a:2
[4/2]bbab7lf:5,ls:2,rf:2,a:15
[4/3]aabb7lf:7,rf:1,rs:1
[4/4]bbaa6lf:6,rf:4
[4/5]bbba4lf:4,rf:5,a:2
[4/6]aaab4lf:4,rf:4,rs:3
[5/0]aabba14lf:7,ls:7
[5/1]abbab9lf:5,lp:2,ls:2,a:15
[5/2]abbbb4lf:2,lp:2,rf:3,rp:3,rs:1,re:1,lprp:1,lprs:1,a:3
[5/3]abbba4lf:2,lp:2,rf:3,rp:3,a:2
[5/4]bbbaa4lf:4,rf:3,a:2
[5/5]aaabb4lf:4,rf:1,rs:1
[5/6]abbaa4lf:2,lp:2,rf:1,rp:1
[6/0]aaabba8lf:4,ls:4
[6/1]baabba6lf:3,ls:3,a:1
[6/2]babbab5lf:3,ls:2,a:15
[6/3]abbabb4lf:2,lp:2,a:15
[6/4]abbbaa4lf:2,lp:2,rf:2,rp:2,a:2
[6/5]baaabb4lf:4,rf:1,rs:1
[6/6]bbaaab4lf:4,rf:4,rs:3
[7/0]baaabba8lf:4,ls:4
[7/1]abbabba4lf:2,lp:2,a:15
[7/2]bbaaabb4lf:4,rf:1,rs:1
[7/3]bbaabba4lf:2,ls:2,a:4
[7/4]bbabbab3lf:2,ls:1,a:15
[7/5]bbbaaab3lf:3,rf:3,rs:2,a:2
[7/6]abbbbba2lf:1,lp:1,a:5

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

Step 2

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