Morphocompletion for #3626 ⟨a, b | aabbaaaaba=b⟩

Back:⟨a, b | aabbaaaaba=b⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. babbaaaaba ⇒ aabbaaaabb
2. aabbaaaaba ⇒ b
3. bbbaaaabaaaaaba ⇒ aabbaaaaaabbaab
4. babbaaaaaabbaaaabb ⇒ aabbaaaabbbbaaaaba
5. aabbaaaaaabbaaaabb ⇒ bbbaaaaba
6. bbbaaaabaaaaaaabbaaaabb ⇒ aabbaaaaaabbaabbbaaaaba
7. bbbaaaababaaaabaaaaababaaaaba ⇒ aabbaaaaaabbaaaaaabbaaaaaabbb
8. babbaaaaaabbaaaaaabbaaaaaabbaab ⇒ aabbaaaabbbbaaaababaaaabaaaaaba
9. aabbaaaaaabbaaaaaabbaaaaaabbaab ⇒ bbbaaaababaaaabaaaaaba
10. bbbaaaabaaaaaaabbaaaaaabbaaaaaabbaab ⇒ aabbaaaaaabbaabbbaaaababaaaabaaaaaba
11. bbbaaaababaaaabaaaaababaaaaaabbaaaabb ⇒ aabbaaaaaabbaaaaaabbaaaaaabbbbbaaaaba
12. babbaaaaaabbaaaaaabbaaaaaabbaaaaaabbaaaaaabbb ⇒ aabbaaaabbbbaaaababaaaababaaaabaaaaababaaaaba
13. aabbaaaaaabbaaaaaabbaaaaaabbaaaaaabbaaaaaabbb ⇒ bbbaaaababaaaababaaaabaaaaababaaaaba
14. bbbaaaabaaaaaaabbaaaaaabbaaaaaabbaaaaaabbaaaaaabbb ⇒ aabbaaaaaabbaabbbaaaababaaaababaaaabaaaaababaaaaba
...

Collecting factors up to length 8 / frequency 7:

[2/0]aa211lf:207,lp:4,rf:166,rp:10
[2/1]ba69lf:61,lp:4,ls:4,rf:68,rs:10,lprs:3
[2/2]bb68lf:55,lp:6,ls:7,rf:46,rp:3,rs:2,lsrp:2,lprs:1
[2/3]ab64lf:61,ls:3,rf:68,rs:1
[3/0]aaa154lf:154,rf:110
[3/1]aab60lf:53,lp:4,ls:3,rf:56,rp:10,rs:1,lsrp:2
[3/2]baa49lf:49,rf:46
[3/3]abb44lf:40,ls:4,rf:27,rs:1
[3/4]bba39lf:39,rf:28
[3/5]aba22lf:18,ls:4,rf:40,rs:10
[3/6]bbb18lf:9,lp:6,ls:3,rf:16,rp:3,rs:1,lsrp:1,lprs:1,a:2
[4/0]aaaa108lf:108,rf:68
[4/1]baaa46lf:46,rf:42
[4/2]aaab46lf:46,rf:42
[4/3]aabb44lf:36,lp:4,ls:4,rf:27,rp:10,rs:1,lsrp:3
[4/4]bbaa39lf:39,rf:28
[4/5]abba33lf:33,rf:18
[4/6]aaba18lf:14,ls:4,rf:28,rs:10
[5/0]aaaaa62lf:62,rf:26,a:2
[5/1]baaaa46lf:46,rf:42
[5/2]aaaab46lf:46,rf:42
[5/3]bbaaa36lf:36,rf:24
[5/4]aaabb36lf:32,ls:4,rf:14,rs:1,a:1
[5/5]abbaa33lf:33,rf:18
[5/6]aabba33lf:29,lp:4,rf:18,rp:10
[6/0]bbaaaa36lf:36,rf:24
[6/1]aaaabb36lf:32,ls:4,rf:14,rs:1,a:1
[6/2]aabbaa33lf:29,lp:4,rf:18,rp:10
[6/3]aaaaaa31lf:31,rf:10,a:2
[6/4]baaaaa31lf:31,rf:16,a:2
[6/5]aaaaab31lf:31,rf:16,a:2
[6/6]abbaaa30lf:30,rf:14
[7/0]abbaaaa30lf:30,rf:14
[7/1]aabbaaa30lf:26,lp:4,rf:14,rp:10
[7/2]baaaaaa28lf:28,rf:10,a:2
[7/3]aaaaaab28lf:28,rf:10,a:2
[7/4]aaaaabb28lf:28,rf:10,a:2
[7/5]aaabbaa25lf:25,rf:8,a:2
[7/6]aaaabba25lf:25,rf:8,a:2

Considering [length 2 / frequency 0] aa=c.

Step 2

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