Morphocompletion for #3665 ⟨a, b | aabbbaaaba=b⟩

Back:⟨a, b | aabbbaaaba=b⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: lhsLimit

#Rule
1. babbbaaaba ⇒ aabbbaaabb
2. aabbbaaaba ⇒ b
3. bbbbaaababaaaba ⇒ aabbbaaaaabbbab
4. babbbaaaaabbbaaabb ⇒ aabbbaaabbbbbaaaba
5. aabbbaaaaabbbaaabb ⇒ bbbbaaaba
6. bbbbaaababaaaaabbbaaabb ⇒ aabbbaaaaabbbabbbbaaaba
7. babbbaaaaabbbaaaaabbbaaaaabbbab ⇒ aabbbaaabbbbbaaababbaaababaaaba
8. aabbbaaaaabbbaaaaabbbaaaaabbbab ⇒ bbbbaaababbaaababaaaba
9. bbbbaaababaaaaabbbaaaaabbbaaaaabbbab ⇒ aabbbaaaaabbbabbbbaaababbaaababaaaba
10. bbbbaaababbaaababaaababbaaababaaaba ⇒ aabbbaaaaabbbaaaaabbbaaaaabbaabbbab
11. babbbaaaaabbbaaaaabbbaaaaabbaabbbaaabb ⇒ aabbbaaabbbbbaaababbaaababaaababbaaaba
12. aabbbaaaaabbbaaaaabbbaaaaabbaabbbaaabb ⇒ bbbbaaababbaaababaaababbaaaba
13. bbbbaaababaaaaabbbaaaaabbbaaaaabbaabbbaaabb ⇒ aabbbaaaaabbbabbbbaaababbaaababaaababbaaaba
...

Collecting factors up to length 8 / frequency 7:

[2/0]aa131lf:127,lp:4,rf:94,rp:9
[2/1]bb95lf:84,lp:5,ls:6,rf:73,rp:3,rs:1,lsrp:2
[2/2]ba69lf:61,lp:4,ls:4,rf:65,rs:9,lprs:3
[2/3]ab64lf:61,ls:3,rf:65,rs:2
[3/0]aaa81lf:81,rf:49
[3/1]aab50lf:46,lp:4,rf:45,rp:9
[3/2]abb46lf:40,ls:6,rf:33,rs:1
[3/3]bbb44lf:39,lp:5,rf:37,rp:3
[3/4]baa42lf:42,rf:36
[3/5]bba39lf:39,rf:35
[3/6]aba22lf:18,ls:4,rf:30,rs:9
[4/0]aabb44lf:34,lp:4,ls:6,rf:21,rp:9,rs:1,lsrp:4
[4/1]aaaa42lf:42,rf:14,a:2
[4/2]baaa39lf:39,rf:35
[4/3]aaab39lf:39,rf:35
[4/4]bbaa36lf:36,rf:30
[4/5]bbba34lf:34,rf:25
[4/6]abbb29lf:29,rf:22
[5/0]bbaaa33lf:33,rf:29
[5/1]aaabb33lf:27,ls:6,rf:11,rs:1,a:1
[5/2]bbbaa31lf:31,rf:20
[5/3]abbba29lf:29,rf:16
[5/4]aabbb29lf:25,lp:4,rf:19,rp:9
[5/5]aaaaa21lf:21,rf:7,a:2
[5/6]baaaa21lf:21,rf:7,a:2
[6/0]bbbaaa31lf:31,rf:20
[6/1]aabbba29lf:25,lp:4,rf:16,rp:9
[6/2]abbbaa26lf:26,rf:11
[6/3]baaaaa21lf:21,rf:7,a:2
[6/4]aaaaab21lf:21,rf:7,a:2
[6/5]aaaabb21lf:21,rf:7,a:2
[6/6]bbaaaa18lf:18,rf:7,a:2
[7/0]abbbaaa26lf:26,rf:11
[7/1]aabbbaa26lf:22,lp:4,rf:11,rp:9
[7/2]baaaaab21lf:21,rf:7,a:2
[7/3]aaaaabb21lf:21,rf:7,a:2
[7/4]bbaaaaa18lf:18,rf:7,a:2
[7/5]bbbaaaa18lf:18,rf:7,a:2
[7/6]aaabbba18lf:18,rf:6,a:2

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

Step 2

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