Morphocompletion for #1712 ⟨a, b | aabbaaaba=b⟩

Back:⟨a, b | aabbaaaba=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. babbaaaba ⇒ aabbaaabb
2. aabbaaaba ⇒ b
3. bbbaaabaaaaba ⇒ aabbaaaaabbab
4. babbaaaaabbaaabb ⇒ aabbaaabbbbaaaba
5. aabbaaaaabbaaabb ⇒ bbbaaaba
6. bbbaaabaaaaaabbaaabb ⇒ aabbaaaaabbabbbaaaba
7. babbaaaaabbaaaaabbaaaaabbab ⇒ aabbaaabbbbaaababaaabaaaaba
8. aabbaaaaabbaaaaabbaaaaabbab ⇒ bbbaaababaaabaaaaba
9. bbbaaabaaaaaabbaaaaabbaaaaabbab ⇒ aabbaaaaabbabbbaaababaaabaaaaba
10. bbbaaababaaabaaaababaaabaaaaba ⇒ aabbaaaaabbaaaaabbaaaaabaabbab
11. babbaaaaabbaaaaabbaaaaabaabbaaabb ⇒ aabbaaabbbbaaababaaabaaaababaaaba
12. aabbaaaaabbaaaaabbaaaaabaabbaaabb ⇒ bbbaaababaaabaaaababaaaba
13. bbbaaabaaaaaabbaaaaabbaaaaabaabbaaabb ⇒ aabbaaaaabbabbbaaababaaabaaaababaaaba
14. bbbaaababaaabaaaababaaabaaaaaabbaaabb ⇒ aabbaaaaabbaaaaabbaaaaabaabbabbbaaaba
15. aabbaaaaabbaaaaabbaaaaabaabbaaaaabbaaaaabbab ⇒ bbbaaababaaabaaaababaaababaaabaaaaba
...

Collecting factors up to length 8 / frequency 7:

[2/0]aa176lf:171,lp:5,rf:130,rp:10
[2/1]ba78lf:70,lp:4,ls:4,rf:76,rs:11,lprs:3
[2/2]ab75lf:71,ls:4,rf:75,rs:2
[2/3]bb68lf:55,lp:6,ls:7,rf:46,rp:4,rs:1,lsrp:2
[3/0]aaa112lf:112,rf:73
[3/1]aab64lf:59,lp:5,rf:57,rp:10
[3/2]baa54lf:54,rf:47
[3/3]abb50lf:43,ls:7,rf:28,rs:1
[3/4]bba42lf:42,rf:31
[3/5]aba28lf:24,ls:4,rf:45,rs:11
[3/6]bab20lf:12,lp:4,ls:4,rf:18,rs:2,a:1
[4/0]aaaa62lf:62,rf:28,a:2
[4/1]aabb51lf:39,lp:5,ls:7,rf:24,rp:10,rs:1,lsrp:5
[4/2]baaa50lf:50,rf:45
[4/3]aaab50lf:50,rf:45
[4/4]bbaa38lf:38,rf:25
[4/5]abba36lf:36,rf:20
[4/6]aaba24lf:20,ls:4,rf:33,rs:11
[5/0]bbaaa38lf:38,rf:25
[5/1]aabba37lf:32,lp:5,rf:20,rp:10
[5/2]aaabb37lf:30,ls:7,rf:12,rs:1,a:1
[5/3]abbaa32lf:32,rf:14
[5/4]aaaaa31lf:31,rf:10,a:2
[5/5]baaaa31lf:31,rf:18,a:2
[5/6]aaaab31lf:31,rf:18,a:2
[6/0]aabbaa33lf:28,lp:5,rf:14,rp:10
[6/1]abbaaa32lf:32,rf:14
[6/2]baaaaa27lf:27,rf:10,a:2
[6/3]aaaaab27lf:27,rf:10,a:2
[6/4]bbaaaa23lf:23,rf:10,a:2
[6/5]aaabba23lf:23,rf:8,a:2
[6/6]aaaabb23lf:23,rf:8,a:2
[7/0]aabbaaa33lf:28,lp:5,rf:14,rp:10
[7/1]bbaaaaa23lf:23,rf:10,a:2
[7/2]baaaaab23lf:23,rf:10,a:2
[7/3]abbaaaa23lf:23,rf:10,a:2
[7/4]aaaabba23lf:23,rf:8,a:2
[7/5]aaaaabb23lf:23,rf:8,a:2
[7/6]aaabbaa19lf:19,rf:4,a:2

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

Step 2

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