Morphocompletion for #4879 ⟨a, b | abbbaaab=aaa⟩

Back:⟨a, b | abbbaaab=aaa⟩

Solved by morph:3/3. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aaabbaaab ⇒ abbbaaaaa
2. abbbaaab ⇒ aaa
3. aaaaaabaabbaaab ⇒ aaaaaabbbbaaaaa
4. aaabbabbbaaaaa ⇒ abbbaaaaabaaab
5. aaaaaabbbbaaab ⇒ aaaaaabaa
6. abbbabbbaaaaa ⇒ aaabaaab
7. aaabaaabbbbaaab ⇒ aaabaaabaa
8. aaaaaababbbbaaab ⇒ aaaaaababaa
9. aaabaaababbbbaaab ⇒ aaabaaababaa
10. aaabaaabaabbbbaaab ⇒ aaabaaabaabaa
...

Collecting factors up to length 8 / frequency 7:

[2/0]aa67lf:57,lp:8,ls:2,rf:53,rp:8,rs:8,lprp:6,lsrp:1,lprs:7
[2/1]ab37lf:27,lp:2,ls:8,rf:18,rp:2,rs:2,lsrp:1,lprs:1
[2/2]bb26lf:26,rf:7
[2/3]ba19lf:19,rf:16
[3/0]aaa44lf:34,lp:8,ls:2,rf:31,rp:8,rs:3,re:1,lprp:6,lsrp:1,lprs:2
[3/1]aab29lf:21,ls:8,rf:14,rs:2
[3/2]baa15lf:15,rf:14,rs:5
[3/3]bbb14lf:14,rf:4
[3/4]abb14lf:12,lp:2,rf:3,rp:2
[3/5]bba12lf:12,rf:3
[3/6]aba7lf:7,rf:13,a:2
[4/0]aaab32lf:19,lp:5,ls:8,rf:13,rp:4,rs:2,lprp:3,lsrp:3,lprs:1
[4/1]aaaa18lf:13,lp:3,ls:2,rf:15,rp:3,rs:2,lprp:3,lprs:1,a:1
[4/2]baaa13lf:13,rf:8
[4/3]abbb11lf:9,lp:2,rf:3,rp:2
[4/4]bbaa10lf:10,rf:3
[4/5]bbba9lf:9,rf:3
[4/6]aaba7lf:7,rf:11,a:2
[5/0]baaab19lf:11,ls:8,rf:5,rs:2
[5/1]aaaaa13lf:8,lp:3,ls:2,rf:9,rp:3,rs:2,lprp:3,lprs:1,a:1
[5/2]bbaaa10lf:10,rf:3
[5/3]aaaba10lf:7,lp:3,rf:10,rp:4,lprp:3,a:2
[5/4]bbbaa8lf:8,rf:3
[5/5]abbba6lf:4,lp:2,rf:2,rp:2
[5/6]aaabb6lf:4,lp:2,rf:1,a:1
[6/0]bbaaab16lf:8,ls:8
[6/1]bbbaaa8lf:8,rf:3
[6/2]aaabaa8lf:5,lp:3,rf:8,rp:4,rs:2,lprp:3,lprs:1,a:2
[6/3]aaaaaa6lf:3,lp:3,rf:3,rp:3,lprp:3,a:8
[6/4]abbbba5lf:5,rf:1,a:4
[6/5]bbbbaa5lf:5,rf:1,a:4
[6/6]abbbaa4lf:3,lp:1,rf:2,rp:2
[7/0]bbbaaab12lf:6,ls:6
[7/1]aaaaaab6lf:3,lp:3,rf:3,rp:3,lprp:3,a:8
[7/2]aaabaaa6lf:3,lp:3,rf:5,rp:4,lprp:3,a:2
[7/3]abbbbaa5lf:5,rf:1,a:4
[7/4]bbbbaaa5lf:5,rf:1,a:4
[7/5]abbaaab4lf:2,ls:2,a:1
[7/6]abbbaaa4lf:3,lp:1,rf:2,rp:2

Considering [length 3 / frequency 3] bbb=c.

Step 2

Rewriting system is complete. See ⟨a, b | abbbaaab=aaa⟩.