Morphocompletion for #996 ⟨a, b | abbaaab=bb⟩

Back:⟨a, b | abbaaab=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. bbbaaab ⇒ abbaabb
2. abbaaab ⇒ bb
3. bbbaaaabbbb ⇒ abbaababbbb
4. abbaaaabbbb ⇒ babbbb
5. bbbaaaabbabb ⇒ abbaababbabb
6. abbaaaabbabb ⇒ babbabb
7. abbaaaabbbabbbb ⇒ babbbabbbb
8. abbaaaabbaabb ⇒ babbaabb
9. abbaaaababbaabb ⇒ bababbaabb
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb41lf:31,lp:3,ls:7,rf:24,rp:1,rs:9,re:1,lprs:3,lsrs:7
[2/1]ab29lf:21,lp:6,ls:2,rf:19,rp:3,lsrp:1
[2/2]aa27lf:27,rf:5
[2/3]ba15lf:15,rf:16,rp:5
[3/0]abb28lf:18,lp:6,ls:4,rf:16,rp:3,rs:5,lsrp:1,lprs:3,lsrs:4
[3/1]aaa16lf:16
[3/2]bbb16lf:10,lp:3,ls:3,rf:7,rs:3,lprs:1,lsrs:3,a:1
[3/3]bba14lf:14,rf:8
[3/4]aab13lf:11,ls:2,rf:5
[3/5]baa11lf:11,rf:5
[3/6]bab4lf:4,rf:11,rp:5,a:2
[4/0]abba16lf:10,lp:6,rf:7,rp:3
[4/1]aaab11lf:9,ls:2
[4/2]bbaa11lf:11,rf:5
[4/3]aabb10lf:8,ls:2,rf:3,rs:3,lsrs:2,a:1
[4/4]baaa9lf:9
[4/5]aaaa7lf:7,a:2
[4/6]bbba7lf:4,lp:3,rf:1,a:1
[5/0]abbaa14lf:8,lp:6,rf:5,rp:3
[5/1]bbaaa9lf:9
[5/2]baaaa7lf:7,a:2
[5/3]aaaab7lf:7,a:2
[5/4]aaabb6lf:6,a:2
[5/5]bbbaa6lf:3,lp:3,a:1
[5/6]abbbb6lf:3,ls:3,rf:3,rs:3,lsrs:3,a:9
[6/0]abbaaa12lf:6,lp:6
[6/1]bbaaaa7lf:7,a:2
[6/2]baaaab7lf:7,a:2
[6/3]aaaabb6lf:6,a:2
[6/4]bbbaaa6lf:3,lp:3,a:1
[6/5]bbaaab4lf:2,ls:2
[6/6]bbaabb4lf:2,ls:2,rf:3,rs:3,lsrs:2,a:1
[7/0]abbaaaa10lf:5,lp:5,a:2
[7/1]bbaaaab7lf:7,a:2
[7/2]baaaabb6lf:6,a:2
[7/3]bbbaaaa4lf:2,lp:2,a:7
[7/4]abbaabb4lf:2,ls:2,rf:3,rp:1,rs:3,re:1,lsrs:2,a:1
[7/5]aabbabb4lf:2,ls:2,a:4
[7/6]aaabbbb4lf:2,ls:2,a:9

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

Step 2

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