Morphocompletion for #2623 ⟨a, b | abbaab=baba⟩

Back:⟨a, b | abbaab=baba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. abbaab ⇒ baba
2. bababaab ⇒ abbababa
3. abbaaabbababa ⇒ babaababaab
4. abbaaababbababa ⇒ babaababaabab
5. babaababaabbbaab ⇒ abbaaabbababbaba
6. bababaaabbababa ⇒ abababbababaaab
7. abbaaabababbababa ⇒ babaababaababab
8. bababaaababbababa ⇒ abababbababaaabab
...

Collecting factors up to length 7, frequency 4:

Length 2:[2/0] ba, [2/1] ab, [2/2] aa, [2/3] bb
Length 3:[3/0] aba, [3/1] bab, [3/2] abb, [3/3] aab
Length 4:[4/0] baba, [4/1] abba, [4/2] abab, [4/3] baab
Length 5:[5/0] ababa, [5/1] babab, [5/2] abbaa, [5/3] babaa
Length 6:[6/0] bababa, [6/1] abbaaa, [6/2] babaab, [6/3] abbaba

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

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ba ⇒ c
2. cbcab ⇒ bcc
3. bcca ⇒ cbcac
4. cccab ⇒ abccc
5. cccacb ⇒ acbccc
6. cccaccb ⇒ accbccc
7. cccacccb ⇒ acccbccc
8. cccaccccb ⇒ accccbccc
9. cccacccccb ⇒ acccccbccc
10. cbccca ⇒ bcccac
11. bccccca ⇒ cbccccac
12. cbcccccca ⇒ bccccccac
13. abcab ⇒ cc
14. abcac ⇒ cca
15. abccca ⇒ cccac
16. abccccac ⇒ ccccca
17. abcccccca ⇒ ccccccac
18. cbcacbcac ⇒ bcccca
19. abcaabccc ⇒ ccaccab
20. abcaacbccc ⇒ ccaccacb
...

Collecting factors up to length 6, frequency 7:

Length 2:[2/0] cc, [2/1] ca, [2/2] ab, [2/3] cb, [2/4] bc, [2/5] ac, [2/6] aa
Length 3:[3/0] ccc, [3/1] cca, [3/2] abc, [3/3] cac, [3/4] bcc, [3/5] cbc, [3/6] ccb
Length 4:[4/0] ccca, [4/1] cccc, [4/2] bccc, [4/3] abca, [4/4] ccac, [4/5] abcc, [4/6] cccb
Length 5:[5/0] cccac, [5/1] abccc, [5/2] cccca, [5/3] ccccc, [5/4] cbccc, [5/5] bcccc, [5/6] abcaa

Considering [length 2 / frequency 2] ab=d.

Step 3

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