Morphocompletion for #4354 ⟨a, b | abbbaaaab=bb⟩

Back:⟨a, b | abbbaaaab=bb⟩

Solved by morph:4/1. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. abbbaaabb ⇒ bbbbaaaab
2. abbbaaaab ⇒ bb
3. abbbaaababbbbb ⇒ bbbbaaaaabbbbb
4. abbbaaaaabbbbb ⇒ babbbbb
5. abbbaaaaabbbabb ⇒ babbbabb
6. abbbaaaaababbbbb ⇒ bababbbbb
7. bbbbaaaabbaaaab ⇒ abbbaabb
8. abbbaaaaabbbaabb ⇒ babbbaabb
9. abbbaaaaababbbabb ⇒ bababbbabb
10. abbbaaaaababbbaabb ⇒ bababbbaabb
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb56lf:47,lp:1,ls:8,rf:34,rp:3,rs:9,re:1,lsrp:2,lprs:1,lsrs:7
[2/1]aa39lf:39,rf:10
[2/2]ab39lf:28,lp:9,ls:2,rf:17,rp:1,rs:1,lsrp:1,lprs:1
[2/3]ba19lf:19,rf:16,rp:6
[3/0]abb36lf:22,lp:9,ls:5,rf:13,rp:1,rs:5,lprs:4,lsrs:4
[3/1]bbb28lf:24,lp:1,ls:3,rf:18,rp:2,rs:3,lsrp:1,lsrs:3
[3/2]aaa26lf:26,rf:5
[3/3]aab15lf:13,ls:2,rf:5,rs:1
[3/4]bba15lf:15,rf:7
[3/5]baa13lf:13,rf:5
[3/6]bab6lf:6,rf:11,rp:6,a:4
[4/0]abbb25lf:16,lp:9,rf:8,rp:1
[4/1]aaaa15lf:15,rf:3
[4/2]bbba14lf:14,rf:7
[4/3]aaab13lf:11,ls:2,rf:2,rs:1
[4/4]bbaa13lf:13,rf:5
[4/5]baaa11lf:11,rf:2
[4/6]bbbb11lf:7,lp:1,ls:3,rf:8,rp:2,rs:3,lsrp:1,lsrs:3,a:1
[5/0]abbba22lf:13,lp:9,rf:5,rp:1
[5/1]bbbaa12lf:12,rf:5
[5/2]aaaab11lf:9,ls:2,rf:2,rs:1
[5/3]bbaaa11lf:11,rf:2
[5/4]baaaa9lf:9,rf:2
[5/5]aaaaa6lf:6,rf:1,a:4
[5/6]aaabb6lf:5,ls:1,rf:1,a:1
[6/0]abbbaa20lf:11,lp:9,rf:3,rp:1
[6/1]bbbaaa10lf:10,rf:2
[6/2]bbaaaa9lf:9,rf:2
[6/3]aaaaab6lf:6,rf:1,a:4
[6/4]baaaaa6lf:6,rf:1,a:4
[6/5]abbbbb6lf:3,ls:3,rf:3,rs:3,lsrs:3,a:15
[6/6]baaaab5lf:3,ls:2,rf:1,rs:1
[7/0]abbbaaa18lf:9,lp:9
[7/1]bbbaaaa8lf:8,rf:2
[7/2]baaaaab6lf:6,rf:1,a:4
[7/3]bbaaaaa6lf:6,rf:1,a:4
[7/4]bbaaaab5lf:3,ls:2,rf:1,rs:1
[7/5]aaababb4lf:4,a:18
[7/6]aababbb4lf:4,a:18

Considering [length 4 / frequency 1] aaaa=c.

Step 2

Rewriting system is complete. See ⟨a, b | abbbaaaab=bb⟩.