Morphocompletion for #1803 ⟨a, b | abbaabaab=a⟩

Back:⟨a, b | abbaabaab=a⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. abbaa ⇒ aaabb
2. aaabaabbb ⇒ a
3. aaabbbaa ⇒ aaabaabb
4. aaabbbbaa ⇒ aaaaabbbb
5. abaabaa ⇒ aaabaab
6. aaabbabaabbb ⇒ abba
7. aaaaabbbbbaa ⇒ aaab
8. aaabaaaabbbb ⇒ abaa
...

Collecting factors up to length 8 / frequency 7:

[2/0]aa36lf:25,lp:6,ls:5,rf:15,rp:5,rs:1,lprp:3,lsrp:5,lprs:1,a:2
[2/1]bb21lf:18,ls:3,rf:6,rs:3,a:2
[2/2]ab15lf:13,lp:2,rf:9,rp:2,rs:2,lprs:1,a:2
[2/3]ba10lf:10,rf:4,rs:1,a:2
[3/0]aaa16lf:10,lp:6,rf:7,rp:5,lprp:3,a:2
[3/1]baa14lf:9,ls:5,rf:3,rs:1,a:2
[3/2]bbb13lf:10,ls:3,rf:2,rs:1,a:2
[3/3]aab10lf:10,rf:7,rs:2,a:2
[3/4]abb9lf:8,lp:1,rf:4,rp:1,rs:2,lprs:1,a:2
[3/5]aba6lf:5,lp:1,rf:3,rp:1,a:2
[3/6]bba5lf:5,rf:1,rs:1,a:11
[4/0]aaab12lf:7,lp:5,rf:5,rp:4,rs:1,re:1,lprp:1,a:2
[4/1]bbaa8lf:4,ls:4,a:11
[4/2]abbb8lf:6,ls:2,rf:1,a:2
[4/3]abaa7lf:5,lp:1,ls:1,rf:3,rp:1,rs:1,re:1,a:2
[4/4]aabb7lf:7,rf:3,rs:2,a:2
[4/5]bbbb5lf:4,ls:1,rf:1,rs:1,a:17
[4/6]aaaa4lf:3,lp:1,rf:2,rp:1,a:17
[5/0]aaabb8lf:5,lp:3,rf:2,rp:1,rs:1,re:1,a:11
[5/1]aabbb8lf:6,ls:2,rf:1,a:2
[5/2]bbbaa6lf:3,ls:3,a:16
[5/3]aabaa4lf:3,ls:1,rf:2,a:2
[5/4]aaaba4lf:2,lp:2,rf:2,rp:2,a:2
[5/5]abaab4lf:3,lp:1,rf:2,rs:1,lprs:1,a:2
[5/6]abbbb4lf:3,ls:1,rf:1,rs:1,a:17
[6/0]aaabbb6lf:4,lp:2,rf:1,a:16
[6/1]aaabaa4lf:2,lp:2,rf:2,rp:2,a:2
[6/2]bbbbaa4lf:2,ls:2,a:19
[6/3]baabbb4lf:2,ls:2,a:2
[6/4]aabbbb4lf:3,ls:1,rf:1,rs:1,a:17
[6/5]aaaaab2lf:1,lp:1,rf:1,rp:1,a:19
[6/6]baabaa2lf:1,ls:1,a:3
[7/0]aaabbbb5lf:3,lp:1,ls:1,rf:1,rs:1,lprs:1,a:17
[7/1]abaabbb4lf:2,ls:2,a:2
[7/2]aaabaaa2lf:1,lp:1,a:17
[7/3]aaabaab2lf:1,lp:1,rf:2,rp:2,rs:1,re:1,a:2
[7/4]aaaaabb2lf:1,lp:1,rf:1,rp:1,a:19
[7/5]aabbbaa2lf:1,ls:1,a:16
[7/6]aaabbba2lf:1,lp:1,a:16

Considering [length 3 / frequency 1] baa=c.

Step 2

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