Morphocompletion for #2598 ⟨a, b | ababab=bbaa⟩

Back:⟨a, b | ababab=bbaa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. ababab ⇒ bbaa
2. bbaaab ⇒ abbbaa
3. ababaabbbaa ⇒ bbaabaaab
4. bbaaaabbbaa ⇒ abbbaabaaab
5. ababaababbbaa ⇒ bbaabaaabab
6. bbaaaababbbaa ⇒ abbbaabaaabab
7. bbaabaaabbabab ⇒ ababaabbbabbaa
8. bbaabaaababbabab ⇒ ababaababbbabbaa
9. ababaababaabbbabbaa ⇒ bbaabaabaaabbabab
10. bbaaaababaabbbabbaa ⇒ abbbaabaabaaabbabab
11. bbaabaaabbabaabbbaa ⇒ ababaabbbabbaabaaab
12. ababaababaababbbabbaa ⇒ bbaabaabaaababbabab
13. bbaaaababaababbbabbaa ⇒ abbbaabaabaaababbabab
14. bbaabaaababbabaabbbaa ⇒ ababaababbbabbaabaaab
15. bbaabaaabbabaababbbaa ⇒ ababaabbbabbaabaaabab
16. bbaabaabaaabbababbabab ⇒ ababaababaabbbabbabbaa
17. bbaabaaababbabaababbbaa ⇒ ababaababbbabbaabaaabab
18. bbaabaabaaababbababbabab ⇒ ababaababaababbbabbabbaa
...

Collecting factors up to length 8 / frequency 7:

[2/0]ab91lf:80,lp:5,ls:6,rf:89,rp:13,rs:12,lsrp:5,lprs:4
[2/1]ba87lf:87,rf:82
[2/2]aa76lf:64,ls:12,rf:56,rs:6
[2/3]bb64lf:51,lp:13,rf:45,rp:5
[3/0]baa59lf:47,ls:12,rf:44,rs:6
[3/1]aba53lf:48,lp:5,rf:50,rp:8
[3/2]bba52lf:39,lp:13,rf:32,rp:5
[3/3]bab45lf:40,ls:5,rf:38,rs:8
[3/4]aab36lf:35,ls:1,rf:38,rs:4,a:1
[3/5]abb26lf:26,rf:27,rp:5,a:1
[3/6]aaa17lf:17,rf:12,a:1
[4/0]bbaa50lf:25,lp:13,ls:12,rf:18,rp:5,rs:6,re:1,lsrp:4,lprs:5
[4/1]abab36lf:26,lp:5,ls:5,rf:24,rp:8,rs:8,lsrp:4,lprs:3
[4/2]aaba24lf:24,rf:28,a:2
[4/3]abaa22lf:22,rf:26,a:2
[4/4]baab22lf:22,rf:26,a:2
[4/5]baba19lf:19,rf:14
[4/6]babb16lf:16,rf:16,a:4
[5/0]baaba17lf:17,rf:22,a:2
[5/1]bbbaa16lf:8,ls:8,rf:5,rs:1,a:1
[5/2]bbaab16lf:8,lp:8,rf:12,rp:4,a:2
[5/3]ababa14lf:9,lp:5,rf:10,rp:8
[5/4]abaab14lf:14,rf:14,a:2
[5/5]aabab14lf:14,rf:12,rs:4,a:5
[5/6]babaa12lf:12,rf:10,a:2
[6/0]bbaaba16lf:8,lp:8,rf:12,rp:4,a:2
[6/1]abbbaa16lf:8,ls:8,rf:5,rp:5,rs:1,re:1,lsrp:2,a:1
[6/2]ababaa12lf:8,lp:4,rf:10,rp:8,a:2
[6/3]babaab12lf:12,rf:10,a:2
[6/4]baabaa10lf:10,rf:16,a:2
[6/5]abbaba10lf:10,rf:4,a:4
[6/6]aababb10lf:10,rf:6,a:5
[7/0]bbaabaa16lf:8,lp:8,rf:12,rp:4,a:2
[7/1]ababaab12lf:8,lp:4,rf:10,rp:8,a:2
[7/2]abbabab10lf:6,ls:4,rf:4,rs:4,a:4
[7/3]baabaaa8lf:8,rf:12,a:2
[7/4]aabaaab8lf:8,rf:12,rs:4,a:2
[7/5]bbaaaab8lf:4,lp:4,a:3
[7/6]aabbbaa8lf:4,ls:4,a:2

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

Step 2

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