Morphocompletion for #2002 ⟨a, b | aabbbaab=ba⟩

Back:⟨a, b | aabbbaab=ba⟩

Solved by morph:5/0. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. aabbbaab ⇒ ba
2. aabbbba ⇒ babbaab
3. babbaababbbaab ⇒ aabbbbba
4. aabbbaaaabbbbba ⇒ baabbaababbbaab
5. babbaababbbba ⇒ aabbbbbabbaab
6. aabbaabbbaaaabbbbbba ⇒ babaababbbaababbbaab
7. baabbaababbbaababbbaab ⇒ aabbbaaaabbbbbba
8. aabbbaaaabbbaaaabbbbbba ⇒ baaabbaababbbaababbbaab
9. babbaababbbaaaabbbbba ⇒ aabbbbbaabbaababbbaab
10. baabbaababbbaababbbba ⇒ aabbbaaaabbbbbbabbaab
11. babaababbbaababbbaababbbaab ⇒ aabbaabbbaaaabbbbbbba
12. aabbbaaaabbaabbbaaaabbbbbbba ⇒ baabaababbbaababbbaababbbaab
13. babbaababbaabbbaaaabbbbbba ⇒ aabbbbbabaababbbaababbbaab
14. babaababbbaababbbaababbbba ⇒ aabbaabbbaaaabbbbbbbabbaab
15. baaabbaababbbaababbbaababbbaab ⇒ aabbbaaaabbbaaaabbbbbbba
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb93lf:93,rf:87
[2/1]ba88lf:69,lp:9,ls:10,rf:55,rp:6,rs:5,re:1,lsrp:5,lprs:4
[2/2]ab70lf:65,ls:5,rf:59,rs:10
[2/3]aa65lf:59,lp:6,rf:55,rp:9
[3/0]aab53lf:42,lp:6,ls:5,rf:42,rp:9,rs:10,lsrp:4,lprs:5
[3/1]bbb52lf:52,rf:52
[3/2]bba51lf:41,ls:10,rf:35,rs:4
[3/3]abb41lf:41,rf:35
[3/4]baa39lf:36,lp:3,rf:33,rp:3
[3/5]bab29lf:23,lp:6,rf:17,rp:2,a:1
[3/6]aba19lf:19,rf:14,a:2
[4/0]bbba41lf:31,ls:10,rf:26,rs:4
[4/1]baab34lf:27,lp:2,ls:5,rf:26,rp:2,rs:10,lprs:1
[4/2]abbb31lf:31,rf:26
[4/3]bbaa31lf:31,rf:27
[4/4]aabb26lf:20,lp:6,rf:20,rp:9
[4/5]babb25lf:21,lp:4,rf:15,rp:1,a:1
[4/6]bbbb21lf:21,rf:26,a:1
[5/0]bbaab28lf:23,ls:5,rf:21,rs:10
[5/1]bbbaa21lf:21,rf:18
[5/2]abbba21lf:21,rf:17
[5/3]bbbba20lf:10,ls:10,rf:9,rs:4,a:1
[5/4]aabbb20lf:15,lp:5,rf:15,rp:7
[5/5]ababb17lf:17,rf:11,a:2
[5/6]baaba17lf:17,rf:12,rp:1,a:2
[6/0]abbbaa21lf:21,rf:17
[6/1]bbbaab18lf:13,ls:5,rf:12,rs:6
[6/2]baabab17lf:17,rf:11,a:2
[6/3]aababb17lf:17,rf:11,a:2
[6/4]ababbb16lf:16,rf:11,a:2
[6/5]bbaaba15lf:15,rf:8,a:2
[6/6]babbba13lf:13,rf:11,a:2
[7/0]abbbaab18lf:13,ls:5,rf:11,rs:6
[7/1]baababb17lf:17,rf:11,a:2
[7/2]aababbb16lf:16,rf:11,a:2
[7/3]bbaabab15lf:15,rf:8,a:2
[7/4]babbbaa13lf:13,rf:11,a:2
[7/5]ababbba13lf:13,rf:11,a:2
[7/6]aabbbaa12lf:8,lp:4,rf:6,rp:3

Considering [length 5 / frequency 0] bbaab=c.

Step 2

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