Morphocompletion for #1937 ⟨a, b | aabaaaab=ba⟩

Back:⟨a, b | aabaaaab=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. aabaaaab ⇒ ba
2. aabaaba ⇒ baaaaab
3. baaaaabaaab ⇒ aabba
4. aabaaaaaabba ⇒ baaaaaabaaab
5. baaaaababa ⇒ aabbaaaaab
6. aabaaaaaabaabba ⇒ baaaaaababaaaab
7. baaaaabaaaaabba ⇒ aabbaaaaaabaaab
8. baaaaaabaaababaaaab ⇒ aabaaaaaabbba
9. aabaaaaaabaaaaaabbba ⇒ baaaaaaabaaababaaaab
10. baaaaabaaaaabaabba ⇒ aabbaaaaaababaaaab
11. baaaaaabaaababaaba ⇒ aabaaaaaabbbaaaaab
12. baaaaaababaaaababaaaab ⇒ aabaaaaaabaabbba
13. aabaaaaaabaaaaaabaabbba ⇒ baaaaaaababaaaababaaaab
14. baaaaabaaaaabaaaaaabbba ⇒ aabbaaaaaaabaaababaaaab
15. baaaaaabaaababaaaaaabba ⇒ aabaaaaaabbbaaaaaabaaab
16. baaaaaababaaaababaaba ⇒ aabaaaaaabaabbbaaaaab
17. baaaaaaabaaababaaaababaaaab ⇒ aabaaaaaabaaaaaabbbba
18. baaaaabaaaaabaaaaaabaabbba ⇒ aabbaaaaaaababaaaababaaaab
...

Collecting factors up to length 8 / frequency 7:

[2/0]aa166lf:160,lp:6,rf:148,rp:12
[2/1]ba92lf:67,lp:12,ls:13,rf:48,rp:6,rs:5,re:1,lsrp:5,lprs:4
[2/2]ab65lf:60,ls:5,rf:55,rs:13
[2/3]bb13lf:13,rf:19,a:2
[3/0]aaa110lf:110,rf:101
[3/1]aab61lf:50,lp:6,ls:5,rf:47,rp:12,rs:13,lsrp:4,lprs:5
[3/2]baa56lf:44,lp:12,rf:35,rp:5
[3/3]aba50lf:46,ls:4,rf:30
[3/4]bba18lf:9,ls:9,rf:12,rs:4,a:2
[3/5]bab10lf:10,rf:8,a:3
[3/6]abb9lf:9,rf:12,a:2
[4/0]aaaa73lf:73,rf:68
[4/1]baaa49lf:37,lp:12,rf:33,rp:5
[4/2]aaba45lf:36,lp:6,ls:3,rf:22,rp:6,lsrp:2
[4/3]aaab42lf:37,ls:5,rf:33,rs:13
[4/4]abaa32lf:32,rf:22
[4/5]baba11lf:10,ls:1,rf:8,a:3
[4/6]abba10lf:5,ls:5,rf:6,rs:1,a:2
[5/0]baaaa44lf:32,lp:12,rf:28,rp:5
[5/1]aaaaa41lf:41,rf:40,a:1
[5/2]aaaab36lf:32,ls:4,rf:28,rs:10
[5/3]aabaa29lf:23,lp:6,rf:14,rp:6
[5/4]aaaba27lf:27,rf:16,a:2
[5/5]abaaa25lf:25,rf:20
[5/6]ababa11lf:10,ls:1,rf:8,a:3
[6/0]baaaaa37lf:25,lp:12,rf:20,rp:5,a:1
[6/1]aaaaab25lf:25,rf:20,rs:4,a:1
[6/2]aabaaa23lf:18,lp:5,rf:12,rp:6
[6/3]aaaaba23lf:23,rf:14,a:2
[6/4]abaaaa20lf:20,rf:15
[6/5]aaabaa17lf:17,rf:8,a:2
[6/6]aaaaaa16lf:16,rf:20,a:4
[7/0]baaaaaa21lf:15,lp:6,rf:16,rp:4,a:4
[7/1]aaaaaba20lf:20,rf:12,a:2
[7/2]aabaaaa18lf:13,lp:5,rf:7,rp:6
[7/3]aaaabaa17lf:17,rf:8,a:2
[7/4]baaaaab16lf:10,lp:6,rf:4,rp:1,rs:4,re:1,lprs:1,a:1
[7/5]aaaaaab15lf:15,rf:16,a:4
[7/6]abaaaaa13lf:13,rf:7,a:4

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

Step 2

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