Morphocompletion for #5079 ⟨a, b | aaabbaa=baba⟩

Back:⟨a, b | aaabbaa=baba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. aaabbaa ⇒ baba
2. aaabbbaba ⇒ babaabbaa
3. aaabbababa ⇒ babbaba
4. aaabbbabbaba ⇒ babaabbababa
5. aaabbababbaba ⇒ babbabbaba
6. aaabbbabbabbaba ⇒ babaabbababbaba
7. aaabbababbabbaba ⇒ babbabbabbaba
8. aaabbbabbabbabbaba ⇒ babaabbababbabbaba
9. aaabbababbabbabbaba ⇒ babbabbabbabbaba
10. aaabbbabbabbabbabbaba ⇒ babaabbababbabbabbaba
11. aaabbababbabbabbabbaba ⇒ babbabbabbabbabbaba
12. aaabbbabbabbabbabbabbaba ⇒ babaabbababbabbabbabbaba
13. aaabbababbabbabbabbabbaba ⇒ babbabbabbabbabbabbaba
14. aaabbbabbabbabbabbabbabbaba ⇒ babaabbababbabbabbabbabbaba
15. aaabbababbabbabbabbabbabbaba ⇒ babbabbabbabbabbabbabbaba
16. aaabbababbabbabbabbabbabbabbaba ⇒ babbabbabbabbabbabbabbabbaba
...

Collecting factors up to length 8 / frequency 7:

[2/0]ba103lf:88,ls:15,rf:102,rp:16,rs:15,lsrp:15,lsrs:14
[2/1]ab88lf:88,rf:86
[2/2]bb72lf:72,rf:58
[2/3]aa50lf:33,lp:16,ls:1,rf:8,rs:1,lprs:1
[3/0]bab72lf:72,rf:79,rp:16
[3/1]abb65lf:65,rf:58
[3/2]bba65lf:65,rf:58
[3/3]aba38lf:23,ls:15,rf:28,rs:15,lsrs:14
[3/4]aaa32lf:16,lp:16
[3/5]aab16lf:16,rf:7
[3/6]bbb7lf:7,a:1
[4/0]bbab64lf:64,rf:57,a:1
[4/1]abba58lf:58,rf:58
[4/2]babb49lf:49,rf:51,rp:8,a:2
[4/3]baba38lf:23,ls:15,rf:28,rp:8,rs:15,re:1,lsrp:7,lsrs:14
[4/4]aaab32lf:16,lp:16
[4/5]aabb16lf:16,rf:7
[4/6]abab8lf:8,rf:6,a:2
[5/0]abbab57lf:57,rf:57,a:2
[5/1]babba49lf:49,rf:51,rp:8,a:2
[5/2]bbabb42lf:42,rf:38,a:3
[5/3]bbaba36lf:22,ls:14,rf:19,rs:13,lsrs:12,a:1
[5/4]aaabb32lf:16,lp:16
[5/5]aabba9lf:9,rf:7
[5/6]babab8lf:8,rf:6,a:2
[6/0]babbab49lf:49,rf:51,rp:8,a:2
[6/1]bbabba42lf:42,rf:38,a:3
[6/2]abbabb36lf:36,rf:38,a:4
[6/3]abbaba34lf:21,ls:13,rf:19,rs:13,lsrs:12,a:2
[6/4]aaabba18lf:9,lp:9
[6/5]aaabbb14lf:7,lp:7,a:1
[6/6]bbabab8lf:8,rf:6,a:2
[7/0]bbabbab42lf:42,rf:38,a:3
[7/1]babbabb36lf:36,rf:38,rp:7,a:4
[7/2]abbabba36lf:36,rf:38,a:4
[7/3]babbaba26lf:13,ls:13,rf:13,rp:1,rs:13,re:1,lsrs:12,a:2
[7/4]aaabbab16lf:8,lp:8,a:2
[7/5]aaabbba14lf:7,lp:7,a:1
[7/6]abbabab8lf:8,rf:6,a:2

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

Step 2

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