Morphocompletion for #5315 ⟨a, b | abaabab=baaa⟩

Back:⟨a, b | abaabab=baaa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. abaabab ⇒ baaa
2. baaaaabab ⇒ abaabbaaa
3. abaabaabaabbaaa ⇒ baaaaaaaabab
4. baaaaaaaababbaabab ⇒ abaabaabaabbaabaaa
5. baaaaabaabaabbaaa ⇒ abaabbaaaaaaaabab
6. abaabaabaabaabaabbaabaaa ⇒ baaaaaaaaaaababbaabab
7. baaaaaaaaaaababbaababbaabab ⇒ abaabaabaabaabaabbaabaabaaa
8. baaaaaaaababbaabaabaabbaaa ⇒ abaabaabaabbaabaaaaaaaabab
9. baaaaabaabaabaabaabbaabaaa ⇒ abaabbaaaaaaaaaaababbaabab
10. abaabaabaabaabaabaabaabbaabaabaaa ⇒ baaaaaaaaaaaaaababbaababbaabab
11. baaaaaaaaaaaaaababbaababbaababbaabab ⇒ abaabaabaabaabaabaabaabbaabaabaabaaa
12. baaaaaaaaaaababbaababbaabaabaabbaaa ⇒ abaabaabaabaabaabbaabaabaaaaaaaabab
13. baaaaaaaababbaabaabaabaabaabbaabaaa ⇒ abaabaabaabbaabaaaaaaaaaaababbaabab
14. baaaaabaabaabaabaabaabaabbaabaabaaa ⇒ abaabbaaaaaaaaaaaaaababbaababbaabab
15. abaabaabaabaabaabaabaabaabaabbaabaabaabaaa ⇒ baaaaaaaaaaaaaaaaababbaababbaababbaabab
...

Collecting factors up to length 8 / frequency 7:

[2/0]aa165lf:155,ls:10,rf:160,rs:5
[2/1]ba110lf:100,lp:10,rf:85,rp:5
[2/2]ab105lf:95,lp:5,ls:5,rf:90,rp:10,rs:10,lsrp:4,lprs:4
[2/3]bb20lf:20,rf:20,a:1
[3/0]baa95lf:85,lp:10,rf:65,rp:5
[3/1]aaa80lf:70,ls:10,rf:95,rs:5
[3/2]aba75lf:70,lp:5,rf:60,rp:10
[3/3]aab75lf:75,rf:60
[3/4]bba20lf:20,rf:20,a:1
[3/5]bab20lf:15,ls:5,rf:20,rs:10
[3/6]abb20lf:20,rf:20,a:1
[4/0]aaba65lf:65,rf:50
[4/1]baab65lf:65,rf:50
[4/2]abaa60lf:55,lp:5,rf:40,rp:10
[4/3]aaaa50lf:50,rf:80,a:1
[4/4]baaa40lf:20,lp:10,ls:10,rf:15,rp:5,rs:5,re:1,lsrp:4,lprs:4
[4/5]bbaa20lf:20,rf:20,a:1
[4/6]abba20lf:20,rf:20,a:1
[5/0]baaba55lf:55,rf:40
[5/1]abaab54lf:49,lp:5,rf:34,rp:10
[5/2]aabaa50lf:50,rf:30,a:2
[5/3]aaaaa40lf:40,rf:70,a:1
[5/4]baaaa20lf:10,lp:10,rf:10,rp:4,a:1
[5/5]abbaa20lf:20,rf:20,a:1
[5/6]aabab20lf:15,ls:5,rf:20,rs:10
[6/0]baabaa47lf:47,rf:30,a:2
[6/1]abaaba44lf:39,lp:5,rf:24,rp:6
[6/2]aabaab44lf:44,rf:24,a:2
[6/3]aaaaaa30lf:30,rf:60,a:2
[6/4]baaaaa20lf:10,lp:10,rf:10,rp:4,a:1
[6/5]bbaaba16lf:16,rf:16,a:4
[6/6]abbaab16lf:16,rf:16,a:4
[7/0]abaabaa42lf:38,lp:4,rf:24,rp:6,a:2
[7/1]baabaab41lf:41,rf:24,a:2
[7/2]aabaaba34lf:34,rf:18,a:2
[7/3]aaaaaaa24lf:24,rf:50,a:2
[7/4]abbaaba16lf:16,rf:16,a:4
[7/5]baaaaaa12lf:6,lp:6,rf:10,rp:4,a:2
[7/6]baabaaa12lf:6,ls:6,rf:6,rs:3,a:4

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

Step 2

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