Morphocompletion for #4133 ⟨a, b | aababbaab=ba⟩

Back:⟨a, b | aababbaab=ba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. aababbaab ⇒ ba
2. aababbba ⇒ baabbaab
3. aababaababbbba ⇒ babaabababbaab
4. baabbaabababbaab ⇒ aababbbba
5. aababbaaaababbbba ⇒ baaabbaabababbaab
6. baabbaabababbba ⇒ aababbbbaabbaab
7. babaabababbaabababbaab ⇒ aababaababbbbba
8. aababbaaaababaababbbbba ⇒ baabaabababbaabababbaab
9. baabbaabababaababbbba ⇒ aababbbbabaabababbaab
10. babaabababbaabababbba ⇒ aababaababbbbbaabbaab
11. baaabbaabababbaabababbaab ⇒ aababbaaaababbbbba
12. aababbaaaababbaaaababbbbba ⇒ baaaabbaabababbaabababbaab
13. baabbaabababbaaaababbbba ⇒ aababbbbaaabbaabababbaab
14. baaabbaabababbaabababbba ⇒ aababbaaaababbbbbaabbaab
15. babaabababbaabababaababbbba ⇒ aababaababbbbbabaabababbaab
...

Collecting factors up to length 8 / frequency 7:

[2/0]ba110lf:90,lp:9,ls:11,rf:72,rp:6,rs:4,re:1,lsrp:5,lprs:3
[2/1]ab89lf:85,ls:4,rf:77,rs:11
[2/2]aa57lf:51,lp:6,rf:50,rp:9
[2/3]bb51lf:51,rf:50
[3/0]aba50lf:50,rf:39
[3/1]bab49lf:46,lp:3,rf:35,rp:1
[3/2]aab49lf:39,lp:6,ls:4,rf:42,rp:9,rs:11,lsrp:3,lprs:5
[3/3]bba42lf:31,ls:11,rf:27,rs:3
[3/4]baa39lf:33,lp:6,rf:33,rp:4
[3/5]abb31lf:31,rf:27
[3/6]bbb20lf:20,rf:23,a:1
[4/0]abab43lf:43,rf:32
[4/1]aaba35lf:29,lp:6,rf:24,rp:9
[4/2]baab34lf:26,lp:4,ls:4,rf:28,rp:2,rs:11,lprs:3
[4/3]babb25lf:25,rf:20
[4/4]baba24lf:21,lp:3,rf:15,rp:1,a:2
[4/5]bbba22lf:11,ls:11,rf:9,rs:3,a:1
[4/6]bbaa20lf:20,rf:22
[5/0]aabab35lf:29,lp:6,rf:23,rp:9
[5/1]ababb25lf:25,rf:20
[5/2]abbaa20lf:20,rf:18
[5/3]bbaab19lf:15,ls:4,rf:19,rs:11
[5/4]baaba18lf:18,rf:13,rp:1,a:2
[5/5]ababa18lf:18,rf:12,a:2
[5/6]bbbba14lf:7,ls:7,rf:9,rs:3,a:2
[6/0]abbaab19lf:15,ls:4,rf:16,rs:11
[6/1]baabab18lf:18,rf:12,a:2
[6/2]aababb18lf:13,lp:5,rf:11,rp:6
[6/3]aababa17lf:16,lp:1,rf:12,rp:3,a:2
[6/4]babbaa14lf:14,rf:11
[6/5]ababba14lf:14,rf:11
[6/6]ababab14lf:14,rf:9,a:2
[7/0]ababbaa14lf:14,rf:11
[7/1]baababa14lf:14,rf:9,a:2
[7/2]aababab14lf:14,rf:9,a:2
[7/3]babbaab13lf:9,ls:4,rf:9,rs:7
[7/4]abababb12lf:12,rf:9,a:2
[7/5]bbaabab11lf:11,rf:5,a:2
[7/6]abbaaba11lf:11,rf:5,a:2

Considering [length 6 / frequency 1] baabab=c.

Step 2

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