Morphocompletion for #3957 ⟨a, b | aaabaaaab=ba⟩

Back:⟨a, b | aaabaaaab=ba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. aaabaaaab ⇒ ba
2. aaababa ⇒ baaaaab
3. baaaaabaabaaaab ⇒ aaababba
4. aaabaaaaaaababba ⇒ baaaaaabaabaaaab
5. baaaaabaababa ⇒ aaababbaaaaab
6. baaaaaabaabaaaabaabaaaab ⇒ aaabaaaaaaababbba
7. aaabaaaaaaabaaaaaaababbba ⇒ baaaaaaabaabaaaabaabaaaab
8. baaaaabaabaaaaaaababba ⇒ aaababbaaaaaabaabaaaab
9. baaaaaabaabaaaabaababa ⇒ aaabaaaaaaababbbaaaaab
10. baaaaaaabaabaaaabaabaaaabaabaaaab ⇒ aaabaaaaaaabaaaaaaababbbba
11. aaabaaaaaaabaaaaaaabaaaaaaababbbba ⇒ baaaaaaaabaabaaaabaabaaaabaabaaaab
12. baaaaabaabaaaaaaabaaaaaaababbba ⇒ aaababbaaaaaaabaabaaaabaabaaaab
13. baaaaaabaabaaaabaabaaaaaaababba ⇒ aaabaaaaaaababbbaaaaaabaabaaaab
14. baaaaaaabaabaaaabaabaaaabaababa ⇒ aaabaaaaaaabaaaaaaababbbbaaaaab
15. baaaaaaaabaabaaaabaabaaaabaabaaaabaabaaaab ⇒ aaabaaaaaaabaaaaaaabaaaaaaababbbbba
...

Collecting factors up to length 8 / frequency 7:

[2/0]aa190lf:185,lp:5,rf:170,rp:10
[2/1]ba95lf:75,lp:10,ls:10,rf:55,rp:5,rs:5,re:1,lsrp:4,lprs:4
[2/2]ab75lf:70,ls:5,rf:60,rs:10
[2/3]bb10lf:10,rf:20,a:2
[3/0]aaa130lf:125,lp:5,rf:120,rp:10
[3/1]baa65lf:55,lp:10,rf:40,rp:4
[3/2]aab65lf:60,ls:5,rf:50,rs:10
[3/3]aba63lf:59,ls:4,rf:40
[3/4]bba12lf:6,ls:6,rf:10,rs:4,a:2
[3/5]bab10lf:10,rf:10,a:1
[3/6]abb6lf:6,rf:10,a:2
[4/0]aaaa85lf:85,rf:80
[4/1]aaba55lf:55,rf:40
[4/2]aaab50lf:40,lp:5,ls:5,rf:40,rp:10,rs:10,lsrp:4,lprs:4
[4/3]baaa45lf:35,lp:10,rf:30,rp:4
[4/4]abaa45lf:45,rf:30
[4/5]baab20lf:20,rf:10,a:2
[4/6]abab10lf:10,rf:10,a:1
[5/0]aaaaa50lf:50,rf:50,a:1
[5/1]baaaa45lf:35,lp:10,rf:30,rp:4
[5/2]aabaa45lf:45,rf:30
[5/3]aaaba40lf:35,lp:5,rf:30,rp:10
[5/4]aaaab40lf:35,ls:5,rf:30,rs:10
[5/5]abaaa25lf:25,rf:20
[5/6]baaba20lf:20,rf:10,a:2
[6/0]aaabaa32lf:28,lp:4,rf:20,rp:6
[6/1]baaaaa30lf:20,lp:10,rf:20,rp:4,a:1
[6/2]aaaaba30lf:30,rf:20,a:2
[6/3]aaaaaa30lf:30,rf:30,a:4
[6/4]abaaaa25lf:25,rf:20
[6/5]aabaaa25lf:25,rf:20
[6/6]abaaba20lf:20,rf:10,a:2
[7/0]aabaaaa25lf:25,rf:20
[7/1]aaaabaa24lf:24,rf:14,a:2
[7/2]baaaaaa22lf:16,lp:6,rf:16,rp:3,a:4
[7/3]aabaaba20lf:20,rf:10,a:2
[7/4]abaaaab20lf:15,ls:5,rf:10,rs:6
[7/5]aaabaab20lf:20,rf:10,a:2
[7/6]aaaaaba20lf:20,rf:16,a:2

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

Step 2

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