Morphocompletion for #2074 ⟨a, b | abbaaaab=bb⟩

Back:⟨a, b | abbaaaab=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. abbaaabb ⇒ bbbaaaab
2. abbaaaab ⇒ bb
3. abbaaababbbb ⇒ bbbaaaaabbbb
4. abbaaababbabb ⇒ bbbaaaaabbabb
5. abbaaaaabbbb ⇒ babbbb
6. bbbaaaabaaabb ⇒ abbaabbbaaaab
7. abbaaaaabbabb ⇒ babbabb
8. abbaaaaabbbabbbb ⇒ babbbabbbb
9. bbbaaaabaaaab ⇒ abbaabb
10. abbaaaaabbaabb ⇒ babbaabb
11. abbaaaaababbabb ⇒ bababbabb
12. abbaaaaababbaabb ⇒ bababbaabb
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb49lf:37,lp:2,ls:10,rf:33,rp:4,rs:10,re:1,lsrp:3,lprs:1,lsrs:8
[2/1]aa46lf:46,rf:18
[2/2]ab46lf:34,lp:10,ls:2,rf:22,rp:2,rs:2,lsrp:1,lprs:1
[2/3]ba24lf:24,rf:20,rp:6
[3/0]abb43lf:26,lp:10,ls:7,rf:18,rp:2,rs:6,lsrp:1,lprs:5,lsrs:5
[3/1]aaa30lf:30,rf:10
[3/2]aab18lf:16,ls:2,rf:8,rs:2
[3/3]bba18lf:18,rf:12
[3/4]baa16lf:16,rf:8
[3/5]bbb14lf:9,lp:2,ls:3,rf:11,rp:3,rs:3,lsrp:1,lsrs:3,a:1
[3/6]bab8lf:8,rf:12,rp:6,a:4
[4/0]abba25lf:15,lp:10,rf:7,rp:2
[4/1]aaaa16lf:16,rf:6
[4/2]aaab16lf:14,ls:2,rf:4,rs:2
[4/3]baaa14lf:14,rf:4
[4/4]bbaa14lf:14,rf:8
[4/5]aabb12lf:8,ls:4,rf:6,rs:3,lsrs:2,a:1
[4/6]babb11lf:8,ls:3,rf:10,rp:4,rs:3,lsrp:1,lsrs:3,a:4
[5/0]abbaa22lf:12,lp:10,rf:4,rp:2
[5/1]aaaab12lf:10,ls:2,rf:4,rs:2
[5/2]bbaaa12lf:12,rf:4
[5/3]baaaa10lf:10,rf:4
[5/4]aaabb8lf:6,ls:2,rf:2,a:1
[5/5]bbabb7lf:4,ls:3,rf:4,rs:3,lsrs:3,a:8
[5/6]aaaaa6lf:6,rf:2,a:4
[6/0]abbaaa20lf:10,lp:10
[6/1]bbaaaa9lf:9,rf:4
[6/2]aaaaab6lf:6,rf:2,a:4
[6/3]baaaaa6lf:6,rf:2,a:4
[6/4]baaaab6lf:4,ls:2,rf:2,rs:2
[6/5]abbabb6lf:3,ls:3,rf:3,rs:3,lsrs:3,a:8
[6/6]aaaaba4lf:4,a:2
[7/0]abbaaaa14lf:7,lp:7
[7/1]baaaaab6lf:6,rf:2,a:4
[7/2]bbaaaaa6lf:6,rf:2,a:4
[7/3]abbaaab6lf:3,lp:3,a:1
[7/4]aaaaabb4lf:4,rf:2,a:4
[7/5]aaababb4lf:4,a:11
[7/6]bbaaaab4lf:3,ls:1,rf:2,rs:2

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

Step 2

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